Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!sdd.hp.com!hplabs!otter.hpl.hp.com!otter!sfk
From: sfk@otter.hpl.hp.com (Steve Knight)
Newsgroups: comp.lang.misc
Subject: Re: Re: Dynamic typing (part 31,497)
Message-ID: <2400039@otter.hpl.hp.com>
Date: 13 Apr 91 16:19:42 GMT
References: <8742@skye.cs.ed.ac.uk>
Organization: Hewlett-Packard Laboratories, Bristol, UK.
Lines: 9

Nick Rothwell writes:
> If you're into the world of heterogeneous types, then you have to address
> the situation where the function does something which makes no sense for
> one of the elements [...]

Unless I misunderstand Nick, this seems to be nothing more complex than the
business of dealing with partial functions.

Steve