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" <[email protected]> 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
