2 ms·Then you should try Idriss. This language is haskell with dependent typing and static by default.by gbersac 9y agoThen you should try Idriss. This language is haskell with dependent typing and static by default.