Subject: Re: matching vs. F-bounded
From: Vassily Litvinov (vass@cs.washington.edu)
Date: Wed Apr 18 2001 - 14:48:59 PDT
Forgot to include a quote from the LOOM paper.
A complication of LOOM compared to PolyTOIL is that binary messages may
not be sent to hash types. As discussed in the previous section, this has
little practical impact since *** binary methods are generally not
appropriate for heterogeneous data ***.
(Last page of the main body of the paper.)
Poor guys, so blindfolded by limitations of the typechecking technology...
Vass
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Wed Apr 18 2001 - 14:50:04 PDT