On 4/22/13 8:52 PM, Nicholas Thompson wrote:
Let's say some programmer in the future, working with your program
creates a variable, goose, that also waddles, quacks (sort of) and
tastesgoodincassoulets. Is there any way for the program to output to
the programmer, "don't you mean 'duck?".
They should use Haskell, so that they can benefit from
http://en.wikipedia.org/wiki/Hindley--Milner
Marcus
============================================================
FRIAM Applied Complexity Group listserv
Meets Fridays 9a-11:30 at cafe at St. John's College
to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
