121 reputation
2
bio website ewernli.com
location Berne, Switzerland
age
visits member for 1 year, 4 months
seen Nov 13 '12 at 7:23
stats profile views 8

PhD student at Software Composition Group, University of Bern.

Working on software reengineering and programming languages.

Former software engineer/architect on JEE technologies for 5 years.

There's a bit more on my stackoverflow CV otherwise go to my website.


Nov
4
comment What triggered the popularity of lambda functions in modern mainstream programming languages?
@Giorgio Java's function can not close over mutable variables, only eventually final variables. That's one of the difference between "real" closures (e.g. smalltalk) and "fake" syntactic suggar closure. Whether closing of mutable variable is good or bad is another issue. Java's designers argue this restriction is actually good, since closing over mutable state lead to sequential code. See cr.openjdk.java.net/~briangoetz/lambda/lambda-state-4.html
Jan
6
answered How to verify/prove orthogonality of a programming language?
Jan
6
awarded  Teacher
Jan
6
awarded  Supporter