Lots of interesting stuff in this thread!https://twitter.com/ShriramKMurthi/status/1136630749711519746 …
-
-
This Tweet is unavailable.
-
I am all for Peter Dybjer getting a twitter account!
End of conversation
-
-
-
I don't either. But it needed to be said, I think. The types community has done a terrible job of educating the programming population about types, resulting in an information vacuum that others are happy to fill.
-
It's hard to argue with this, much as I'd like to. I suppose more effort is needed at making interesting type systems usable in mainstream languages.
- 3 more replies
New conversation -
-
-
Idris being a canonical example of a useful PL that is not Turing complete is a rather extreme example of types over tests.
-
Idris is Turing Complete though :)
- 1 more reply
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.