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

Re: Icon

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.

If you can support type *inference*, supporting type *annotation*
(plus checking) is really not a big effort.  Just study the type
inference algorithm a bit.  Of course, sometimes you may write down
types that are more restricted than they need to be, whereas an
inference algorithm may discover more general (principal) types.  Etc, 
etc, etc.  All the usual caveats apply.