M medium.com Building dependently typed FP language from scratch in Haskell 3 points jhoxray 3 years ago 1 comments