Re: [Haskell-cafe] GPL License of H-Matrix and prelude numeric

2011-01-27 Thread Ketil Malde
Chris Smith writes: >> I disagree, I've always interpreted the license to cover the text in >> that particular package. > There seems to be a difference in focus here that's confusing to me. > When I write a library, my primary concern is generally with helping > others use that library I'm not

Re: [Haskell-cafe] Problem about exception

2011-01-27 Thread oleg
It seems that the problem is to follow a protocol, reporting protocol errors (unexpected responses) and permitting recovery if the `supervisor' decided that the error can be fixed by re-reading from the server. This problem -- specifically, communicating with a supervisor `out-of-band' and recove

Re: [Haskell-cafe] Problem about exception

2011-01-27 Thread Magicloud Magiclouds
Thank you. I am looking into it. On Thu, Jan 27, 2011 at 5:05 PM, wrote: > > It seems that the problem is to follow a protocol, reporting protocol > errors (unexpected responses) and permitting recovery if the > `supervisor' decided that the error can be fixed by re-reading from > the server. >

Re: [Haskell-cafe] Conditionals and case expressions in do blocks

2011-01-27 Thread Ferenc Wagner
aditya siram writes: > Yep, I do this often and it's pretty nasty. It's especially > inconvenient that you don't have access to computations before the if, > for example: > do > x <- something > y <- something-else > case y of > Foo a -> do > <--- I want access to 'x

Re: [Haskell-cafe] Applicative and parsec3

2011-01-27 Thread Henning Thielemann
On Thu, 27 Jan 2011, Magnus Therning wrote: 2011/1/27 Henning Thielemann : On Thu, 27 Jan 2011, Kazu Yamamoto (山本和彦) wrote: I'm using parsec3 with the applicative style. Since the functions in Control.Applicative and parsec3 conflicts, I need to use the "hiding" keyword as follows:        

Re: [Haskell-cafe] Fwd: web-routes and forms

2011-01-27 Thread Jasper Van der Jeugt
Hello, As Jeremy said, the HTML returned by formHtml is meant to be placed inside the a tag: it does not include a tag. You should use it like this: > H.form ! A.enctype (H.stringValue $ show enctype) >! A.method "POST" ! A.action "/" $ do > html

Re: [Haskell-cafe] Fwd: web-routes and forms

2011-01-27 Thread Corentin Dupont
OK thanks, now it's clear! On Thu, Jan 27, 2011 at 11:13 AM, Jasper Van der Jeugt wrote: > Hello, > > As Jeremy said, the HTML returned by formHtml is meant to be placed > inside the a tag: it does not include a tag. You should > use it like this: > > > H.form ! A.enctype (H.stringV

[Haskell-cafe] Haskell for children? Any experience?

2011-01-27 Thread Chris Smith
So I find myself being asked to plan Haskell programming classes for one hour, once a week, from September through May this coming school year. The students will be ages 11 to 13. I'm wondering if anyone has experience in anything similar that they might share with me. I'm trying to decide if thi

Re: [Haskell-cafe] Haskell for children? Any experience?

2011-01-27 Thread Stephen Tetley
On 27 January 2011 15:04, Chris Smith wrote: [SNIP] > I'm wondering if anyone has > experience in anything similar that they might share with me.  I'm > trying to decide if this is feasible, or it I should try to do something > different. Hi Chris John Peterson had some nice work using Haskore a

Re: [Haskell-cafe] Haskell for children? Any experience?

2011-01-27 Thread aditya siram
Ye gods! A B & D [1] language for kids? At least give them a fighting chance [2] at becoming future developers. Haskell's immutability is good for mathematics but doing anything else takes a great deal of up-front patience and perseverance, two very rare qualities in that demographic if my own chi

Re: [Haskell-cafe] Haskell for children? Any experience?

2011-01-27 Thread klondike
El 27/01/11 16:04, Chris Smith escribió: > To be honest, as much as I love Haskell, I tried to push the idea of > learning a different language; perhaps Python. So far, the kids will > have none of it! This year, I've been teaching a once-a-week > exploratory mathematics sort of thing, and we've

Re: [Haskell-cafe] Haskell for children? Any experience?

2011-01-27 Thread Vo Minh Thu
Hi, You said "Haskell's immutability is good for mathematics but doing anything else takes a great deal of up-front patience and perseverance[...]" I guess it is true for imperative programmers... but are you saying that about kids that just know how to use a calculator? Cheers, Thu 2011/1/27 a

Re: [Haskell-cafe] Haskell for children? Any experience?

2011-01-27 Thread Dominique Devriese
Hi, I'm also curious about this. Is a pure programming style like Haskell's less or more natural than an imperative mutable-state based one to kids without experience. I intuitively expect that for kids with a high-school background in mathematics would find the first more natural, but this is not

Re: [Haskell-cafe] Haskell for children? Any experience?

2011-01-27 Thread Chris Smith
On Thu, 2011-01-27 at 15:26 +, Stephen Tetley wrote: > John Peterson had some nice work using Haskore and Fran for elementary > teaching on the old Haskell.org website. Google's cache says the old > URL was here but its now vanished: > > www.haskell.org/edsl/campy/campy-2003-music.ppt That so

[Haskell-cafe] ANNOUNCE: WAI 0.3.1, Warp 0.3.1, wai-app-static 0.0.0 and warp-static 0.0.0

2011-01-27 Thread Michael Snoyman
Hi everyone, Firstly, after some feedback, I'm releasing some point updates for WAI and Warp. They fix some documentation issues, add some status aliases, make it possible to handle exceptions more easily, and make things more responsive on Windows. Next, I'm releasing two new packages: wai-app-s

Re: [Haskell-cafe] Haskell for children? Any experience?

2011-01-27 Thread aditya siram
Hi Chris, I was a little negative in my last message so maybe I can contribute something positive. If you're looking for a musical way to teach Haskell I did a Haskell music hackathon [1] about a year and a half ago. The idea was to use Haskell [2] to play music through a Supercollider music serve

Re: [Haskell-cafe] Haskell for children? Any experience?

2011-01-27 Thread Henk-Jan van Tuyl
On Thu, 27 Jan 2011 16:26:01 +0100, Stephen Tetley wrote: On 27 January 2011 15:04, Chris Smith wrote: [SNIP] I'm wondering if anyone has experience in anything similar that they might share with me. I'm trying to decide if this is feasible, or it I should try to do something different.

Re: [Haskell-cafe] GPL License of H-Matrix and prelude numeric

2011-01-27 Thread Maciej Piechotka
On Thu, 2011-01-27 at 00:45 -0500, wren ng thornton wrote: > On 1/26/11 5:51 AM, Maciej Piechotka wrote: > > Some projects (like Linux) remove this clause and I'm not sure how many > > projects are marked on hackage as GPL2 being GPL2-only. > > Technically GPLx and GPLy are incompatible for all x

Re: [Haskell-cafe] Haskell for children? Any experience?

2011-01-27 Thread Niklas Broberg
> Ye gods! A B & D [1] language for kids? At least give them a fighting > chance [2] at becoming future developers. > > Haskell's immutability is good for mathematics but doing anything else > takes a great deal of up-front patience and perseverance, two very > rare qualities in that demographic if

[Haskell-cafe] Building a shared library with FFI on x86_64

2011-01-27 Thread Eric Webster
I have a project that involves building a shared library containing code generated by GHC and exposed using the foreign function interface to other C programs that link against it. I'm able to build a functioning library without issue on 32bit x86 systems using GHC 6.8.2 and 6.12.3. When I try

[Haskell-cafe] Call for Copy: Monad.Reader Issue 18

2011-01-27 Thread Brent Yorgey
Whether you're an established academic or have only just started learning Haskell, if you have something to say, please consider writing an article for The Monad.Reader! The submission deadline for Issue 18 will be: **Friday, April 1, 2011** This will be a normal issue -- but don'

Re: [Haskell-cafe] Building a shared library with FFI on x86_64

2011-01-27 Thread Eric Webster
Thanks to http://www.well-typed.com/blog/30 I was able to figure out what I was doing wrong. Replacing "-optl -shared" with just "-shared" and using "-dynamic" allows linking to complete. :D On 2011-01-27 11:59 AM, Eric Webster wrote: I have a project that involves building a shared library co

[Haskell-cafe] A few days to go before the old server goes down

2011-01-27 Thread Henk-Jan van Tuyl
L.S., Only four days until the old Haskell.org server disappears; I found the following missing: http://www.haskell.org/yale/ http://darcs.haskell.org/hfuse/ http://haskell.org/gtk2hs/ http://haskell.org/FranTk http://www.haskell.org/yampa/ http://www.haskell.org/visualhaskell/ http

Re: [Haskell-cafe] Building a shared library with FFI on x86_64

2011-01-27 Thread Henk-Jan van Tuyl
On Thu, 27 Jan 2011 20:59:06 +0100, Eric Webster wrote: I have a project that involves building a shared library containing code generated by GHC and exposed using the foreign function interface to other C programs that link against it. I'm able to build a functioning library without issue on 3

Re: [Haskell-cafe] GPL License of H-Matrix and prelude numeric

2011-01-27 Thread wren ng thornton
On 1/27/11 2:21 PM, Maciej Piechotka wrote: On Thu, 2011-01-27 at 00:45 -0500, wren ng thornton wrote: On 1/26/11 5:51 AM, Maciej Piechotka wrote: Some projects (like Linux) remove this clause and I'm not sure how many projects are marked on hackage as GPL2 being GPL2-only. Technically GPLx a

[Haskell-cafe] bizzaro Network.Curl problems

2011-01-27 Thread Michael Litchard
Has anyone ever experienced a situation similar to this? Wrote toy code to learn how to make a cookie jar. Toy code succeeds, add functionality and better organization. new improved program works correcty, as far as forming correct headers and GET requests. no cookie jar.. Checked old toy code,

Re: [Haskell-cafe] Haskell for children? Any experience?

2011-01-27 Thread Chris Smith
On Thu, 2011-01-27 at 16:40 +0100, klondike wrote: > Two days ago I was referred to this project: > http://wizbang.sourceforge.net/WizBang/WizBang.html The language is > quite imperative but to me looks as a child friendly programming > language due to its low complexity. Thanks for this and other

Re: [Haskell-cafe] Haskell for children? Any experience?

2011-01-27 Thread Chris Smith
On Thu, 2011-01-27 at 11:44 -0600, aditya siram wrote: > I was a little negative in my last message so maybe I can contribute > something positive. If you're looking for a musical way to teach > Haskell I did a Haskell music hackathon [1] about a year and a half > ago. The idea was to use Haskell

[Haskell-cafe] tricky recursive type instance method

2011-01-27 Thread Frank Kuehnel
Hi folks, how do I make this work: I want a division algebra over a field k, and I want to define the conjugation of complex numbers, i.e. conj (C 1 2) but also the conjugation of tensors of complex numbers conj (C (C 1 2) (C 1 4)) ghci load that stuff butt barfs on a simple > conj (C 1 2) wit

Re: [Haskell-cafe] tricky recursive type instance method

2011-01-27 Thread Antoine Latter
On Thu, Jan 27, 2011 at 9:35 PM, Frank Kuehnel wrote: > Hi folks, > > how do I make this work: I want a division algebra over a field k, and I want > to define > the conjugation of complex numbers, i.e. conj (C 1 2) but also the > conjugation of tensors of complex numbers > conj (C (C 1 2) (C 1

Re: [Haskell-cafe] A few days to go before the old server goes down

2011-01-27 Thread Joachim Breitner
Hi, Am Donnerstag, den 27.01.2011, 23:42 +0100 schrieb Henk-Jan van Tuyl: > Only four days until the old Haskell.org server disappears; I found the > following missing: add http://oldhaskell.cs.yale.edu/hmake/ to that list. Thanks, Joachim -- Joachim "nomeata" Breitner mail: m...@joachim

Re: [Haskell-cafe] Haskell for children? Any experience?

2011-01-27 Thread Chris Smith
On Thu, 2011-01-27 at 09:28 -0600, aditya siram wrote: > Ye gods! A B & D [1] language for kids? I do share those concerns. Like I said in the original post, my initial reaction was to push for something like Python. But the kids are very clear; if I'm at all willing, they want to learn Haskell!

Re: [Haskell-cafe] tricky recursive type instance method

2011-01-27 Thread Antoine Latter
On Thu, Jan 27, 2011 at 10:09 PM, Frank Kuehnel wrote: > Hi Antoine, > > I've turned on the OverlappingInstances option > > this is what I get, when I execute > >> conj ((C 1 2) :: (Complex Int)) > >    Overlapping instances for DAlgebra (Complex Float) (Complex Float) >      arising from a use of

Re: [Haskell-cafe] tricky recursive type instance method

2011-01-27 Thread Frank Kuehnel
Thanks Antoine, indeed , instance DAlgebra Integer Integer where ... disambiguates it enough, then it works!! Is there a way to use instance DAlgebra (Real a) (Real a) where ... in some sort?? I know it doesn't compile! On Jan 27, 2011, at 8:33 PM, Antoine Latter wrote: > On Thu, Jan 27, 2

[Haskell-cafe] Cabal proxy configuration

2011-01-27 Thread Azeem -ul-Hasan
My university requires the students to use internet through an authenticated http proxy. How do I configure cabal for that? I am using Ubuntu. Please be detailed about it. Thanks Azeem ___ Haskell-Cafe mailin

Re: [Haskell-cafe] Cabal proxy configuration

2011-01-27 Thread Ivan Lazar Miljenovic
On 28 January 2011 15:13, Azeem -ul-Hasan wrote: > My university requires the students to use internet through an authenticated > http proxy. How do I configure cabal for that? I am using Ubuntu. Please be > detailed about it. Do you mean Cabal or cabal-install? Assuming the latter: export http

Re: [Haskell-cafe] Cabal proxy configuration

2011-01-27 Thread Azeem -ul-Hasan
Please explain this a bit. Where are the configuration files for cabal install. I tried to enter the line in the terminal and it apparently it accepted i.e gave no error but then running cabal update results in this error No action for prompting/generating user+password credentials provided (

Re: [Haskell-cafe] Cabal proxy configuration

2011-01-27 Thread Ivan Lazar Miljenovic
On 28 January 2011 16:00, Azeem -ul-Hasan wrote: > > Please explain this a bit. Where are the configuration files for cabal > install. cabal-install is configured in ~/.cabal/config However, as far as I'm aware it uses normal http connections and doesn't require any particular configuration for

Re: [Haskell-cafe] Haskell for children? Any experience?

2011-01-27 Thread John Peterson
Hi all, I've had good luck with Haskore as a way to bring kids into functional programming. It's nice in that you can get a lot done in just 2 or 3 hours. Lately I've switched over to a 3D game engine using FRP to make the programming simple. I've been running a summer camp (https://www.wes

Re: [Haskell-cafe] tricky recursive type instance method

2011-01-27 Thread Steffen Schuldenzucker
Hi, you might want to take a look at [1]AdvancedOverlap. However, the most simple option would be to wrap up your (Real a => DAlgebra a a) instance in a newtype: > {-# LANGUAGE GeneralizedNewtypeDeriving #-} > > newtype FromReal a = FromReal a deriving (Eq, Ord, Read, Show, Num, Real) > >ins