Delete comment from: Neal Gafter's blog
Let me take back my previous comment about function types "looking better". That's not always the case, as Josh's talk points out, we could have examples like "joinedCounters" (slide 30). (Thanks for including the link to the slides!)
But I think the CICE proposal could gain from including the ideas based on your work. I talk about this more on my blog post (linked to from here). It would really help the CICE proposal out if it
included your notion for inferred generic type parameters together with the short "simple expression as a return statement" syntax.
I believe you could then add the non-local return and breaks to the CICE proposal by making it shorthand for throwing anonymous exception types and catching them in the innermost enclosing context. These operations could be made transparent by requiring the use of the "throw" keyword for the non-local versions: "throw return" and "throw break".
Dec 17, 2007, 2:52:00 PM
Posted to What flavor of closures?