Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
Interview with Brian McKenna: Roy, Purescript, Haskell, Idris, Dependent Types (medium.com/this-is-not-a-monad-tutorial)
17 points by pyotrgalois on Aug 26, 2015 | hide | past | favorite | 1 comment


Another langauge that tries not to be based on lists of characters: https://github.com/lamdu/lamdu




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: