HN user

xarch

8 karma

I like haskell, type inference, functional programming, compilers and interpreters and I'm really interested in dependent types.

Posts1
Comments4
View on HN

I don't know how the future of programming language will be, but I hope functional programming will take over the world, more and more people will try to prove their algorithms are correct (with Coq, for exemample) and cool type systems like System F or Dependent Types will be used more.