-
-
It is true that types can't always enforce everything you want to enforce in practice, but it can always do *something* to help, and that something often already makes a big difference :) so I think even in those situations, the point is still true.
-
In some cases, types are great. In other cases, they help you some, then keep you in a small house you can't exit. Comfortable, but atrophying your mind.
- 2 more replies
New conversation -
-
-
As usual, life is more complicated than (good) memes suggest. However I haven't walked the full path you describe, in that I haven't given up on proofs, largely because I'm still stuck chaffing at F#'s type system most of the time and only loving on Idris in my spare time.
-
I find that Haskell's type system (with a few extensions) is powerful enough to type almost all of the ideas that I have that end up being good ideas.
- 2 more replies
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.
Read my blog!