[Haskell-cafe] A Mascot

[MigMit]

The fact that nobody bothered to write one down doesn't mean there isn't one.

Отправлено с iPhone

Nov 16, 2011, в 13:07, Andrew Butterfield <andrew.butterfield at cs.tcd.ie> написал(а):

> 
> On 16 Nov 2011, at 08:46, Ertugrul Soeylemez wrote:
> 
>> 
>> But I think, despite the well-founded denotational semantics of Haskell,
>> bottom does not play that much of a role.
> 
> There is one? Where? Last time I looked (a while ago, admittedly)
> there was no denotational (or any formal) semantics for Haskell.
> - lots of stuff for fragments of Haskell-like languages or parts of Haskell, but not a 
> full proper definitive semantics for *Haskell*, as found in the wild... 
> 
> Looking at
> http://en.wikibooks.org/wiki/Haskell/Denotational_semantics
> the first footnote states
>  "In fact, there are no written down and complete denotational semantics of Haskell. This would be a tedious task void of additional insight and we happily embrace the folklore and common sense semantics."
> 
> However, if you have a proof-based tool used for reasoning about Haskell programs
> in a safety-critical environment, you might just need to do this tedious task,
> particularly in order to show your proof rules sound.
> - has anyone in that area done this? is it available ?
> 
> Is there a definitive Operational Semantics? Axiomatic?
> 
> PS - I love the mascot - thanks Heath !
>> 
>> 
>> Greets,
>> Ertugrul
>> 
>> 
>> -- 
>> nightmare = unsafePerformIO (getWrongWife >>= sex)
>> http://ertes.de/
>> 
>> 
>> 
>> _______________________________________________
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
> 
> --------------------------------------------------------------------
> Andrew Butterfield     Tel: +353-1-896-2517     Fax: +353-1-677-2204
> Lero at TCD, Head of Foundations & Methods Research Group
> Director of Teaching and Learning - Undergraduate,
> School of Computer Science and Statistics,
> Room G.39, O'Reilly Institute, Trinity College, University of Dublin
>                          http://www.scss.tcd.ie/Andrew.Butterfield/
> --------------------------------------------------------------------
> 
> 
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe