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.
-
-
what typed languages are you most familiar with? i'd 100% agree with this re Java or C# level of type system, but there's a lot of space between "java" and "dependent types" where this isn't true
-
These days, I program in OCaml. Its module system and its support for row types are both lacking. Its metaprogramming capabilities are fragile.
End of conversation
New conversation -
-
-
The nice thing about Haskell is that you can selectively dial the strength of your types to the level you need, to find a balance where types can be used to free your mind and help you explore new territory with a lifeline, so they expand your mind instead of atrophying it :)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
True for me for F#. Haven't reached that point with Haskell or Idris though. Rather I find them mind-expanding still.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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!