HN user

mlitchard

150 karma

I teleported home one night with Ron and Sid and Meg. Ron stole Meggie heart away, And I got Sidney's leg.

Posts17
Comments86
View on HN

Haskell is not the Next Important Thing, but rather the ideas that it reifies. When Haskell is yesterday's news, the successful ideas will remain, but in the next generation language. That said, learning Haskell will put you in front of these big ideas, and I believe will make you valuable. That said, keep an eye on Idris, and dependent types.

I do like doing these things for fun. Unfortunately they restrict language choice. And the languages available, while useful, aren't fun. In other words, "Where the Haskell at?"

Here's the relationship. How can you guarantee your low-level code is correct? Here's one way. You have a language like Idris create a DSL that targets the machine you want. You can model what the set of correct programs in your domain look like, and then produce correct code. That's why functional programming in general, and dependent-type programming in particular, is useful for low-level problem domains.