5 ms·

You're overlooking my entire comment...

• codygman 12y ago
  No I'm not, but I guess there was a possibility of you thinking that. Let's erase all ambiguity. > TLDR; Optional type systems are the future Optional type systems have their place, but I think you are ignoring applications that types can have besides type assertion and documentation. > I hear a lot about Haskell but I don't see a lot about Haskell... It's a shame you haven't "seen" Haskell and have only heard about it, I know how that can make the entire language seem like vaporware. I personally have seen at least one big thing from a large company that used Haskell. I'm guessing you didn't see Facebook's semi-recent release of Haxl[0]. > Clojure has two optional type systems known as the core.typed library, and Prismatic's schema library. I don't think it's an all or nothing situation. Use types when you need them and don't when you don't. Optional typing is cool, but it's not useful for type based programming since it makes types optional. You can do some cool stuff by programming types. Haskell does some of this, but Idris[1] does much more by taking advantage of dependent typing[2].