I found this article about Dynamic Dispatch in Haskell.
Dynamic Dispatch in Haskell, or: How Can I Make My Code Extendable?
Not an easy read. Too much for me at this time.
Steven Syrek writes about how he teaches Haskell.
Some Notes on Haskell Pedagogy
I want to try this.
Matt Parsons about type level programming in Haskell.
Basic Type Level Programming in Haskell
If type level programming in Haskell is like template meta programming in C++, then I do not want this.
You might want to have a look at the Intel Haskell Research Compiler (HRC).
The Functional Language Research Compiler
Please note: “We at Intel Labs are no longer actively working on this compiler.”
Brian Steffens wrote a very interesting article about how a mathematical function translates all the way down to machine code.
From math to machine: translating a function to machine code
I like the part with the machine code: 48 bf 01 00 00 … 🙂
Want to try system programming in Haskell? Have a look at the Haskus system.
Oh my. So many things to try. And so little free time. Maybe I should go part-time.
Simon Marlow explains a bit about how they run Haskell at Facebook.
Haskell in the Datacentre
Unfortunately I don’t know enough about Haskell to understand the whole article. However, it seems that it’s worth to learn more about this.