News for hackers. Stuff that matters.

A comment on From Object Algebras to Finally Tagless Interpreters. Parent comment

Re:From Object Algebras to Finally Tagless Interpreters by sclv on Sunday January 18, 2015 @02:17PM (#8908478)
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.

[ Parent | on HN ]

There are no comments on this comment yet.