curry

Is it possible to curry the other way around in Scala?

Let's assume this function: def autoClosing(f: {def close();})(t: =>Unit) = { t f.close() } and this snippet: val a = autoClosing(new X)(_) a { println("before close") } is it possible to curry the first part? Something like: val a = autoClosing(_) { println("before close") } so that I could send the objects on which cl...

What is more interesting or powerful: Curry/Mercury/Lambda-Prolog/your suggestion.

Hi! I would like to ask you about what formal system could be more interesting to implement from scratch/reverse engineer. I've looked through some existing and rather open (open in the sense of free/open-source) projects of logical/declarative programming systems. I've decided to make up something similar in my free time, or at least ...