How would a functional language actually define/translate primitives to hardware?...

Are cuts that bad in programming?...

Can one store a value indexed by a string in the IO monad?...

What is the connection between laziness and purity?...