3 ms·
If I had to come up with 4 languages I'd suggest C, Idris, Lisp, and Prolog.
by exdsq 6y ago
If I had to come up with 4 languages I'd suggest C, Idris, Lisp, and Prolog.
- myth_drannon 6y agoYou need to be very familiar with Haskell to tackle Idris.
- exdsq 6y agoThere are some pretty good tutorials on Idris which cover just enough Haskell to get you started but yes, maybe it's too much in one go. Dependent Types though <3
- ska80 6y agoActually no. Familiarity with Haskell can actually make learning Idris more difficult :). It is better if you start from scratch when learning Idris.