@bascule not terrible. Remind me why you want types. I have some ideas using only inference and partial evaluation.
-
-
-
@brixen to find type errors in large programs at transpile time if possible -
@bascule then all you really need are disambiguators. I'm partial to def foo(bar: String) and def foo(bar: String("abc")) - End of conversation
New conversation -
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.