Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
dyokomizo
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
dyokomizo
15y ago
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/]
2.
▲
by
dyokomizo
15y ago
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 whatever, but in this case