gradual typing is actually pretty cool, if you use it to improve interop between dependently typed and non-dependently typed libraries. just a way to get rid of boilerplate
Gradual typing is where a weakly-typed programming language accidentally becomes mind-bogglingly popular and strict typing is retrofitted to it after the fact
-
-
-
ah, the two kinds of languages: dependently-typed languages and non-dependently-typed languages
End of conversation
New conversation -
-
-
It's okay, you can say Python
-
Wait, I'm young, was there a time before JavaScript was omnipresent on the internet?
- 1 more reply
New conversation -
-
-
I was thinking about «gradually typed data» the other day: Initially very weakly typed datasets that over time become more and more typed (more statements known to be a priori true about their structure). Currently there is very little/no language support for this. Opportunity!
-
In my experience, datasets start off with a known, typeable shape and the longer they exist the more those "rules" end up violated...
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.