Re: Do notation for arbitrary monads

From: Sebastian Fischer <sebf_at_informatik.uni-kiel.de>
Date: Thu, 08 Sep 2011 10:38:42 +0900

>
> Is there a large reason why desugaring happens after type checking?


An advantage of doing type checking on the source language is that error
messages can be in terms of the source language rather than in terms of the
core language which programmers often don't recognize in their programs.

Sebastian



_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Sep 08 2011 - 09:14:55 CEST

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:10 CET