Re: residuation for compositional search?

From: Brian Ledger <bpl29_at_cornell.edu>
Date: Tue, 14 Jun 2011 22:46:43 -0700

Does Curry have a denotational semantics? I have seen various
different implementations reliant upon step-semantics and graph-
rewriting, but not any particular denotational semantics.

-- 
---
Brian Ledger
On Tue, Jun 14, 2011 at 5:19 PM, Michael Hanus <mh_at_informatik.uni-kiel.de>wrote:
> Antonio Regidor García wrote at June 14 (20:12):
> > I don't think this is the case here. There is no error message here.
>
> Whether or not an error message is provided is a question
> of the programming environment. If I want to compute something
> and get no result, I consider this as an error, i.e.,
> I have to improve my program. For instance, consider the
> expression (head []). In Haskell/GHC you get, as a service of
> the run-time system, an error message. In Curry implementations,
> this expressions fails and does not produce an error message.
> However, if you turn the debugger on, you might get a message
> about this failure.
>
> Best regards,
>
> Michael
> _______________________________________________
> curry mailing list
> curry_at_lists.RWTH-Aachen.DE
> http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
>
-- 
---
Brian Ledger

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Jun 15 2011 - 07:52:12 CEST