A syntax option (function types versus arrays)

[John Nilsson]

On Sat, Feb 27, 2010 at 5:08 AM, Neal Gafter <neal at gafter.com> wrote:

> *static** <T,U,V,X extends Throwable>*
>
> *(T)->(U throws X)->V curry((T,U throws X)->V function) {*
>
> *   return (T t)->(U u)->function.(t,u);*
>
> *}*
>

Is it U that can throw X or is it (T)->U that can throw X ?

To me the syntax suggests the former, if the latter is intendend maybe the
syntax could be tweaked somewhat?

(T)-> throws X (U)->V
(T)-> ((U)->V) throws X
T -X> U -> V

BR,
John