Viewing profile — dyokomizo
dyokomizo
HN member- Joined
- Sun, Mar 14, 2010, 4:18 PM UTC
- HN karma
- 7
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About dyokomizo
No profile information was provided.
Recent public activity
-
comment
Comment #3444785
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/]
-
comment
Comment #3383918
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 dif…