Re: Abducktion

Posted by Russ Abbott on Apr 23, 2013; 2:05pm
URL: http://friam.383.s1.nabble.com/Re-Abducktion-tp7582900p7582930.html

Right. Type inferencing is a wonderful and powerful feature of some systems. Scala-user has it also.

On Apr 23, 2013 5:59 AM, "Marcus G. Daniels" <[hidden email]> wrote:

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

============================================================
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