5 ms·

Can't wait for dependently typed type systems

• Yoric 4y ago
  I've written code with dependently typed languages. It's very powerful, but it really is time-consuming. That won't be appropriate for all developments/developers.
  • pabs3 4y ago
    Do you recommend any of the dependently typed languages more over others?
    • Yoric 4y ago
      My experience is stale by now. I'd really like to try recent versions of Idris, though.
• pjmlp 4y ago
  No need to wait, you can pick Idris today, but it won't be a productive experience versus mainstream development tooling.