[Haskell-cafe] Minh Thu, please add me to your LinkedIn network

2013-09-22 Thread Kyle Hanson via LinkedIn
LinkedIn Kyle Hanson requested to add you as a connection on LinkedIn: -- Minh Thu, I'd like to add you to my professional network on LinkedIn. - Kyle Accept invitation from Kyle Hanson http://www.linkedin.com/e/uc6lxc-hlw276p4-5e

Re: [Haskell-cafe] type-level integers, type-level operators, and most specific overlapping instance

2013-09-22 Thread TP
TP wrote: > But I have still a question: is the behavior of GHC correct in the example > of my initial post? See here: http://www.haskell.org/ghc/docs/7.6.3/html/users_guide/type-class-extensions.html#instance-overlap """ When matching, GHC takes no account of the context of the instance decla

Re: [Haskell-cafe] type-level integers, type-level operators, and most specific overlapping instance

2013-09-22 Thread adam vogt
On Sun, Sep 22, 2013 at 11:07 AM, TP wrote: > My misunderstanding came from a confusion between a "context" and a > "constraint". The context is what is before the =>, and the constraint is > what is after, i.e. the main part of the instance declaration. Hi TP, I think context and constraint mea

Re: [Haskell-cafe] type-level integers, type-level operators, and most specific overlapping instance

2013-09-22 Thread TP
adam vogt wrote: > I think context and constraint mean the same thing. The haskell report > uses the word context for > for the whole list > and constraint for one part of that list (Eq a). With the extension > -XConstraintKinds both of those are ca

Re: [Haskell-cafe] Minh Thu, please add me to your LinkedIn network

2013-09-22 Thread damodar kulkarni
What a surprise, I didn't know the real name of "Haskell Cafe" till date, BUT today I came to know it: it is Minh Thu V. linked in sucks ... Thanks and regards, -Damodar Kulkarni On Sun, Sep 22, 2013 at 2:53 PM, Kyle Hanson via LinkedIn < mem...@linkedin.com> wrote: > > [image: LinkedIn] >

Re: [Haskell-cafe] Music update

2013-09-22 Thread Dan Krol
Will there be a video of the live premier? On Fri, Sep 20, 2013 at 12:14 PM, Mark Lentczner wrote: > Some might remember me asking about music packages a while back... An > update: > > I ended up using Euterpea, which in turn uses both Codec.Midi and > Sound.PortMidi. My working environment was

[Haskell-cafe] Cabal install build of scion-browser 0.2.18 fails when linking Persistent-sqlite1.21

2013-09-22 Thread Stephen Taylor
Hi I'm a Haskell newbie. I just installed Haskell on Windows 7 x64 (Haskell Platform 2013.2.0.0 containing GHC 7.6.3), and have been using cabal-install to build/install from Hackage all the "helper executables" required and/or supported by EclipseFP, the Eclipse Haskell Plugin. All the helper ex

Re: [Haskell-cafe] Mystery of an Eq instance

2013-09-22 Thread Richard A. O'Keefe
On 20/09/2013, at 11:47 PM, damodar kulkarni wrote: > > There is an Eq instance defined for these types! > > So I tried this: > *Main> sqrt (10.0) ==3.1622776601683795 > True > *Main> sqrt (10.0) ==3.16227766016837956 > True > *Main> sqrt (10.0) ==3.1622776601683795643 > True > *Main> sqrt (10.

[Haskell-cafe] GSoC Result - Communicating with Mobile devices - Push Notifications

2013-09-22 Thread Marcos Pividori
I am happy to announce the result of 3 months working on the GSoC project: "Communicating with mobile devices". After reading many documentation, looking for a good abstraction, learning about mobile apps and networks connections, and really valuable recommendations from my mentor, (I really want t