Hacker News new | ask | show | jobs
by exdsq 2180 days ago
If I had to come up with 4 languages I'd suggest C, Idris, Lisp, and Prolog.
1 comments
myth_drannon 2180 days ago
You need to be very familiar with Haskell to tackle Idris.
link
ska80 2180 days ago
Actually no. Familiarity with Haskell can actually make learning Idris more difficult :). It is better if you start from scratch when learning Idris.
link
exdsq 2180 days ago
There 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
link