3 ms·

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/develope

by 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.