"The bodies of transparent methods are inlined as untyped trees that close over the environment in which they were defined." "This is the fundamental mechanism that allows new types to be computed during type checking and thereby enables type-level programming."
11:12 AM - 3 Sep 2018
0 replies
0 retweets
10 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.