4 ms·

Dependent Types? Check out Idris.

• TheLoneWolfling 12y ago
  I shall have to. That being said, I don't care much for Haskell-based syntax.
  • saryant 12y ago
    Dotty is another option, a potential successor to Scala: https://github.com/lampepfl/dotty https://github.com/lampepfl/dotty
  • ixmatus 12y ago
    To each his own. I rarely hear fluent Haskellers say they don't care for the syntax though; if you haven't really gotten far enough to write production code in Haskell that leverages Haskell's powerful abstraction features, then you should and you might find the syntax growing on you. The syntax is nice because it enables the programmer to express software in a terse way, generally favoring the types as documentation and a strong mental model to understand the abstraction.
  • kazagistar 12y ago
    It is also a lot of work to prove your code. Here, have a nice Idris video to give you a taste: https://www.youtube.com/watch?v=P82dqVrS8ik https://www.youtube.com/watch?v=P82dqVrS8ik