[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

s-expressions plus type annotation (was Re: Icon)

Shriram Krishnamurthi writes:
 > Vanier asks about type annotation in addition to type inference.
 > 1. MrSpidey (soon to be replaced by MrFlow) lets you write explicit
 >    type-like annotations.  No big deal.
 > 2. Andrew Wright once built an s-expression front-end for ML -- ScML,
 >    pronounced "scum ML" --, but it's over a decade old, and has
 >    probably rotted away.

Kawa (http://www.gnu.org/software/kawa/) is a Scheme implementation
(written in Java, and providing an easy interface to Java classes)
that lets you declare the types of variables
as well as the parameter types and return types of lambdas
Among other things, it helps disambiguate Java's static-type-based
method overloading.