Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
sclv
on Jan 18, 2015
|
parent
|
context
|
favorite
| on:
From Object Algebras to Finally Tagless Interprete...
It is well known that in the untyped (or dynamically typed if you prefer that language) case then the expression problem trivializes.
In fact, if we sacrifice type-safety then the problem trivializes in a typed language too.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
In fact, if we sacrifice type-safety then the problem trivializes in a typed language too.