This is the mail archive of the
kawa@sourceware.cygnus.com
mailing list for the Kawa project.
Re: Best way to interface Java?
- To: kawa at sourceware dot cygnus dot com
- Subject: Re: Best way to interface Java?
- From: "Nic Ferrier" <nferrier at tapsellferrier dot co dot uk>
- Date: Thu, 22 Jun 2000 11:06:55 +0100
>>> Marco Vezzoli <marco.vezzoli@st.com> 22-Jun-00 7:46:35 AM >>>
>I really find useful the kawa type-check; however
>Nick raises an important question about the type of
>a procedure. In other functional languages, for example
>Haskell, a procedure type is defined roughly like this:
>procedure :: <procedure signature> -> <procedure output type>
The trouble is Scheme itself doesn't have a typing mechanism.
Only objects have types AFAIK.
Per's extended typing for bindings is not portable.
I wish it were.
Nic