Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
FreeFull
on Jan 19, 2013
|
parent
|
context
|
favorite
| on:
Why type systems are interesting (2004)
Which ultimately doesn't matter, because
head . (:[])
doesn't behave differently from (\x -> x) no matter what the input is. The only possible variation on the id function is in how efficient it is, from fastest to never terminating.
Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: