Implict parameters and monomorphism

4 May 2001 10:40:34 GMT

Fri, 4 May 2001 09:27:51 +0200 (MET DST), John Hughes <rjmh@cs.chalmers.se> pisze:

> One good reason for NOT giving inferrable type signatures is that
> including them makes programs less modifiable: a small local change,
> such as adding a parameter to a type, may force a large number of
> consequential changes to type signatures.

Type synonyms should make this easier. Maybe the language should
be improved somewhere here: class context synonyms? unbound type
variables on the rhs of type synonyms? specifying parts of a type
leaving the rest inferred?

These problems shouldn't arise for ensuring evaluation once, where
the type is usually monomorphic! It's the other way around which can
cause trouble (e.g. there are no class context synonyms).

-- 
 __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK