Re: Abducktion

Posted by Marcus G. Daniels on Apr 23, 2013; 12:57pm
URL: http://friam.383.s1.nabble.com/Re-Abducktion-tp7582900p7582929.html

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