0
comment
comment
on 9/27/2016 8:53 AM
When you start working in the programming language theory business, you'll soon find out that
lambda abstraction and functions break many nice ideas or, at least, make your life very hard.
For example, type inference is easy if you only have var x = ..., but it gets hard once you
want to infer type of x in something like fun x -> ... because we do not know what is
assigned to x. Distributed programming is another example - sending around data is easy, but
once you start sending around function values, thi[...]