Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
smadge
on Feb 21, 2018
|
parent
|
context
|
favorite
| on:
Are Monads a Waste of Time?
x = 0 and x = 1. Therefore by the reflexive and transitive property of equality, 0 = 1.
zby
on Feb 24, 2018
[–]
OK - it uses different notation where '=' is not the same as in maths. But that is kind of trivial. There are perfectly mathematical semantics of both functional and imperative languages.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
