This repository has been archived by the owner on May 20, 2018. It is now read-only.

Type erasure #160

Open

robrix opened this issue Nov 1, 2015 · 1 comment

Labels

feature

Contributor

robrix commented Nov 1, 2015

Erase indices and type arguments using some sort of usage analysis. Make sure they don’t stick around to runtime.

robrix added the feature label

Contributor Author

robrix commented Nov 1, 2015

Erasure by Usage Analysis in the idris language reference.
Karl Crary, Stephanie Weirich, Greg Morrisett’s paper Intentional Polymorphism in Type-Erasure Semantics.

robrix mentioned this issue

Implicit arguments #155

Closed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.