Re: [Haskell-cafe] Fundeps and overlapping instances

2012-05-24 Thread AntC
Twan van Laarhoven gmail.com> writes: > > On 24/05/12 14:14, AntC wrote: > > Simon Peyton-Jones microsoft.com> writes: > > > > Have you considered the alternative notation where multiple guards are allowed, > as in normal function definitions? Something like: > > type instance F a >

Re: [Haskell-cafe] Problem with packet documentation generated by cabal on windows 7

2012-05-24 Thread Magnus Therning
On Fri, May 25, 2012 at 01:19:11AM +0200, Nicu Ionita wrote: > Hi cafe, > > I have a problem with haddock documentation created when installing > new packages with cabal on windows. > The generated html files have all links in the form > j:\Users\...\doc\...\xxx.html, but firefox says, it cannot o

Re: [Haskell-cafe] What is the difference between runhaskell and compile?

2012-05-24 Thread Magicloud Magiclouds
Versions: libldap2 2.4.28 LDAP 0.6.6 ghc 7.4.1 Code below: import LDAP main :: IO () main = do let domain = "vancloa.cn" bindDN = "CN=wangshida.admin,OU=admin_accounts,DC=vancloa,DC=cn" bindPW = "" baseDN = Just "DC=vancloa,DC=cn" ldapFilter = Just ("(&(sAMAccou

Re: [Haskell-cafe] What is the difference between runhaskell and compile?

2012-05-24 Thread Brandon Allbery
On Thu, May 24, 2012 at 11:05 PM, Magicloud Magiclouds < magicloud.magiclo...@gmail.com> wrote: > Hi there, > The code could not be simpler. Just ldapInit, ldapSimpleBind. > I just found that the code works with ghci, too. So to sum up, > ghci/runhaskell works, ghc not. A possibility that occu

Re: [Haskell-cafe] What is the difference between runhaskell and compile?

2012-05-24 Thread Thomas DuBuisson
If it is simple then please paste it somewhere. Perhaps stackoverflow would be a better medium for this discussion. -Thomas On Thu, May 24, 2012 at 8:05 PM, Magicloud Magiclouds wrote: > Hi there, > The code could not be simpler. Just ldapInit, ldapSimpleBind. > I just found that the code wor

Re: [Haskell-cafe] What is the difference between runhaskell and compile?

2012-05-24 Thread Magicloud Magiclouds
Hi there, The code could not be simpler. Just ldapInit, ldapSimpleBind. I just found that the code works with ghci, too. So to sum up, ghci/runhaskell works, ghc not. On Thu, May 24, 2012 at 8:15 PM, Vincent Ambo wrote: > Can you paste your code somewhere? I'm using the LDAP package at work (

Re: [Haskell-cafe] webcam library on github

2012-05-24 Thread Conrad Parker
On 25 May 2012 06:20, . wrote: > Hello Cafe, > > since I haven't found anything like that, I wrote a small library [1] to > read from a webcam in Haskell, using V4L on Linux. It uses the v4l2 > package and repa for images. > Is anyone interested in contributing to that, or giving some hints on > h

[Haskell-cafe] Problem with packet documentation generated by cabal on windows 7

2012-05-24 Thread Nicu Ionita
Hi cafe, I have a problem with haddock documentation created when installing new packages with cabal on windows. The generated html files have all links in the form j:\Users\...\doc\...\xxx.html, but firefox says, it cannot open that link. Actually all links should be prefixed by "file:///".

[Haskell-cafe] webcam library on github

2012-05-24 Thread .
Hello Cafe, since I haven't found anything like that, I wrote a small library [1] to read from a webcam in Haskell, using V4L on Linux. It uses the v4l2 package and repa for images. Is anyone interested in contributing to that, or giving some hints on how it could be made faster (I am not sure if

[Haskell-cafe] "Generic figures and their glueings" book ..... please help

2012-05-24 Thread Vasili I. Galchin
Hello, I think the above book by Reyes, Reyes and Zolfaghari is quite intriguing. At the same time I can't get my mind around the notions of "generic figures" and "change of figures"! The first seems to be objects in the base category and the latter morphisms in the base category. Whoever ha

Re: [Haskell-cafe] A functional programming solution for Mr and Mrs Hollingberry

2012-05-24 Thread Andreas Pauley
On Wed, May 23, 2012 at 11:37 PM, Richard O'Keefe wrote: > > On 21/05/2012, at 5:33 AM, Andreas Pauley wrote: >> With this in mind I've created a programming exercise where I imagine >> an OO programmer would use an object hierarchy with subtype >> polymorphism as part of the solution. > > Being u

Re: [Haskell-cafe] Can Haskell outperform C++?

2012-05-24 Thread Chris Dornan
> Oops, forgot to reply-to-all. N! You had the right idea the first time. :-) (Please excuse us while we chide you as humorously as we can into putting this thread out of its misery.) Chris ___ Haskell-Cafe mailing list Haskell-Cafe@has

Re: [Haskell-cafe] Can Haskell outperform C++?

2012-05-24 Thread Ryan Newton
Oops, forgot to reply-to-all. This was a minor clarification on Wren's behalf (he can correct me if I'm wrong). But I agree with Bryan that it's time for the thread to die: > > Do bear in mind that Java doesn't optimize ---that's the JIT's job > > What are we supposed to make of that? > > Why w

Re: [Haskell-cafe] Fundeps and overlapping instances

2012-05-24 Thread Twan van Laarhoven
On 24/05/12 14:14, AntC wrote: Simon Peyton-Jones microsoft.com> writes: [from 7 Jul 2010. I've woken up this thread at Oleg's instigation http://www.haskell.org/pipermail/haskell-prime/2011-July/003491.html ] I'm not going to talk about Fundeps. This is about introducing overlapping insta

Re: [Haskell-cafe] Converting wiki pages into pdf

2012-05-24 Thread Dirk Hünniger
I invested an enormous amount of time into this problem. Accordingly I got a very well working solution. http://de.wikibooks.org/wiki/Benutzer:Dirk_Huenniger/wb2pdf http://en.wikibooks.org/wiki/File:Haskell.pdf I am happy If you find it useful. Yours Dirk Hünniger Thu, 08 Sep 2011 05:36:44 -0

Re: [Haskell-cafe] Formalisation for types of monads

2012-05-24 Thread Yves Parès
> Though I agree it's probably best not to mention the phrase "Church encoding" to beginning students. Be reassured, that was not my intention ^^. I just pointed that out to support the fact that foldr was *the* fundamental folding operator for lists. 2012/5/24 Brent Yorgey > On Wed, May 23, 2

Re: [Haskell-cafe] Formalisation for types of monads

2012-05-24 Thread Brent Yorgey
On Wed, May 23, 2012 at 09:24:06AM +0200, Ertugrul Söylemez wrote: > Yves Parès wrote: > > > > Note about []: Don't even mention foldl. The folding > > > combinator for lists is foldr, period. > > > > Yes, I do agree. I came to this when I realized foldr gave the church > > encoding of a li

Re: [Haskell-cafe] Fundeps and overlapping instances

2012-05-24 Thread AntC
Simon Peyton-Jones microsoft.com> writes: > [from 7 Jul 2010. I've woken up this thread at Oleg's instigation > http://www.haskell.org/pipermail/haskell-prime/2011-July/003491.html ] > I'm not going to talk about Fundeps. This is about introducing overlapping instances into type families. But

Re: [Haskell-cafe] What is the difference between runhaskell and compile?

2012-05-24 Thread Vincent Ambo
Can you paste your code somewhere? I'm using the LDAP package at work (for authenticating a Yesod app) and a quick test of the basic LDAP package in GHCi works for me: λ> import LDAP λ> ldap <- ldapInit "10.0.0.12" ldapPort λ> ldapSimpleBind ldap "geva" "**" λ> let desiredAttr = LDAPAtt

[Haskell-cafe] What is the difference between runhaskell and compile?

2012-05-24 Thread Magicloud Magiclouds
Hi, I am writing a small program using LDAP hackage. A weird problem occured. When the code was run by runhaskell, things were fine, worked as expected. But when ghc compiled (no any args), and ran, I got this: LDAP error: ldapSimpleBind: LDAPException LdapServerDown(-1): Can't contact LDAP s

Re: [Haskell-cafe] Typed TemplateHaskell?

2012-05-24 Thread Simon Peyton-Jones
Maybe take a look at http://hackage.haskell.org/trac/ghc/blog/Template%20Haskell%20Proposal | -Original Message- | From: haskell-cafe-boun...@haskell.org [mailto:haskell-cafe- | boun...@haskell.org] On Behalf Of Tillmann Rendel | Sent: 23 May 2012 18:20 | To: Haskell Café | Subject: Re:

Re: [Haskell-cafe] question about linking with sqlite3

2012-05-24 Thread Canhua
I know it. I used a sqlite.dll file that is compiled for 32bit, while my computer is 64bit. sorry for this stupid question. On Thu, May 24, 2012 at 10:04 AM, Canhua wrote: > Hi, I made a cabal package that use HDBC-sqlite3 on Windows. > When cabal install it, I got an error from ld.exe: cannot

Re: [Haskell-cafe] Can Haskell outperform C++?

2012-05-24 Thread Isaac Gouy
Sorry Bryan, there are a couple of comments I should make a final reply to - I'll ignore the rest. > From: Richard O'Keefe > Sent: Wednesday, May 23, 2012 10:52 PM -snip- >> Says who? Is that on your own authority or some other source you can point >> us to? > > It looks increasingly as t