This is the mail archive of the
kawa@sourceware.cygnus.com
mailing list for the Kawa project.
Re: Best way to interface Java?
- Subject: Re: Best way to interface Java?
- From: Marco Vezzoli <marco dot vezzoli at st dot com>
- Date: Thu, 22 Jun 2000 08:46:35 +0200
- Cc: kawa at sourceware dot cygnus dot com
- Organization: sgs-thomson
- References: <m2zooedccc.fsf@bothner.com>
per@bothner.com wrote:
> (While Kawa doesn't have really usable
> compile-time type-checking, I'm a big believer in it, at least as an
> option. What Kawa does have is compile-time name-resolution, and that
> is even more important than type-checking. You can't do type-checking
> without name-resolution. Run-time environment tests should generally
> be avoided.)
>
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>
This seems a good solution for higher order functions or function
composition.
My knowledge of type systems is very limited; I don't know if this one
fits well or not into Kawa.
--
(--cafe babe--)
Marco Vezzoli marco.vezzoli@st.com
CR&D Intranet Developement STMicroelectronics
tel. +39 039 603 6852 fax. +39 039 603 5055