3 ms·

Few seem to have learned the "true" power of a "decent type system". Which seems to be only Haskell... And yes, Haskell is terse. Other popular statically type

• tome 9y ago
  > "decent type system". Which seems to be only Haskell... Haskell, OCaml, Elm, Purescript, arguably Scala although I don't like it personalyl.
• dllthomas 9y ago
  While certainly Haskell lets you do more, you can get some interesting help from even the C type system. For instance, I was able to enforce "this can only be called from the main thread" with no runtime overhead.
  • tome 9y ago
    You explained this once to me before and it was very cool. Did you ever write a blog post about it? I think it would be neat to link to in the future when these sort of discussions come up.
    • dllthomas 9y ago
      No, I need to do that.