2013/9/22 Mike Meyer :
> On Sat, Sep 21, 2013 at 5:28 PM, Bardur Arantsson
> wrote:
> Trying to make something whose name is "Not A Number" act like a
> number sounds broken from the start.
The point here is that IEEE floats are actually more something like a
"Maybe Float", with various "Nothing"
the Frankfurt Haskell User Group announces its first Hackathon, if
interested, see here:
http://www.meetup.com/Frankfurt-Haskell-User-Group/events/138895112/
Peter Althainz
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mai
On Tue, Sep 24, 2013 at 5:39 PM, Sven Panne wrote:
> 2013/9/22 Mike Meyer :
> > On Sat, Sep 21, 2013 at 5:28 PM, Bardur Arantsson
> > wrote:
> > Trying to make something whose name is "Not A Number" act like a
> > number sounds broken from the start.
>
> The point here is that IEEE floats are ac
I suggest to add superclass' instances into libraries.
http://ghc.haskell.org/trac/ghc/ticket/8348
In brief, we could write next:
>{-# LANGUAGE FlexibleInstances #-}
>{-# LANGUAGE UndecidableInstances #-}
>
>instance Monad m => Applicative m where
>pure = return
>(<*>) = ap
>
>i
On Tue, Sep 24, 2013 at 11:36 AM, Stijn van Drongelen wrote:
> On Tue, Sep 24, 2013 at 5:39 PM, Sven Panne wrote:
>
>> 2013/9/22 Mike Meyer :
>> > On Sat, Sep 21, 2013 at 5:28 PM, Bardur Arantsson > >
>> > wrote:
>> > Trying to make something whose name is "Not A Number" act like a
>> > number so
On 13-09-21 05:13 AM, Vlatko Basic wrote:
I'd like to extract A texts from row with header "Caption", and have
come up with this
runX $ doc
>>> (deep (hasName "tr") --
filter only TRs
>>> withTraceLevel 5 traceTree --
s
Hi everyone,
Having been running the Hackage 2 alpha & beta for several months we
intend to do the final switchover tomorrow (Wednesday 25th Sept).
This will involve disabling uploads to the old server for a few hours.
If all goes well we will switch the DNS over. If anything goes wrong
we will j
This line
instance Monad m => Applicative m where
tells the compiler "Every type (of the appropriate kind) is an instance of
Applicative. And it needs to have a Monad instance as well."
That's what Edward means when he said that it means "every Applicative is a
Monad". Theoretically the st
