A syntax option (function types versus arrays)

[Neal Gafter]

On Sat, Feb 27, 2010 at 7:10 AM, John Nilsson <john at milsson.nu> wrote:

> 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 ?
>

(U throws X) -> V

means you might get an exception (instead of a V) when you pass the U.