digitalmars.D - Proof of Concept: Type Erasure
- Superstar64 (5/5) Jan 24 2020 I wanted to show off this gist I wrote:
I wanted to show off this gist I wrote: https://gist.github.com/Superstar64/30c5793ba4315f4794d20a837d80ef9b It showcases how to create System F-like polymorphic using type erasure. It was somewhat inspired by this paper: https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/levity-pldi17.pdf
Jan 24 2020