Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
thesz
on Aug 4, 2011
|
parent
|
context
|
favorite
| on:
Wadler's critique of SICP (1987)
Also Haskell slowly approach dependent type system with type functions (type and data families).
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
