In GHC the features are much more well-defined and bite-sized. If you ignore them you still have a very complete, usable and impressive language. [edit s/less well/more well/]
The type of id is universally quantified, that's why the free theorem holds. If it was id :: Typeable a => a -> a then it could inspect the type representation and do something different if it's an Int or…
In GHC the features are much more well-defined and bite-sized. If you ignore them you still have a very complete, usable and impressive language. [edit s/less well/more well/]
The type of id is universally quantified, that's why the free theorem holds. If it was id :: Typeable a => a -> a then it could inspect the type representation and do something different if it's an Int or…