|
|
|
|
|
|
by solomatov
4449 days ago
|
|
|
>I don't think there is a sharp qualitative difference between Idris and Haskell. Yes, there's no such a difference. However, in order to use Idris to its full potential, you need to use dependent types. It's just like writing procedural programs in object-oriented or functional language. It's possible, however, it's not a very bright idea. |
|
|