This is the mail archive of the
kawa@sourceware.org
mailing list for the Kawa project.
Re: rough support for parameterized types in Kawa
- From: Helmut Eller <eller dot helmut at gmail dot com>
- To: kawa at sources dot redhat dot com
- Date: Tue, 26 Jul 2011 09:17:15 +0200
- Subject: Re: rough support for parameterized types in Kawa
- References: <4E0BD142.7060104@bothner.com> <m2bowienyc.fsf@gmail.com> <4E2D83DD.5020503@bothner.com>
* Per Bothner [2011-07-25 14:55] writes:
> On 07/25/2011 01:58 AM, Helmut Eller wrote:
>> Can we expect function types anytime soon?
>> I'd like to write something like
>>
>> (define (foo f::(function object -> int) x)::int
>> (f x))
>
> At some point, but probably not soon. There are a number of issues.
[...]
Thanks for the info.
Helmut