Re: [Haskell-cafe] Re: Coding conventions for Haskell?

2010-10-01 Thread Wolfgang Jeltsch
Am Sonntag, den 26.09.2010, 17:25 +0100 schrieb Maciej Piechotka: I use it in following way; 1. For short sharing name (rarely) let a = b ++ c in (a, a) 2. Default let a :: [Int] a = b ++ c f :: Int - String f 0 = f x = show x in map

Re: [Haskell-cafe] record update

2010-10-01 Thread Wolfgang Jeltsch
Am Dienstag, den 14.09.2010, 13:31 -0600 schrieb Jonathan Geddes: Wow, I had no idea there were so many record packages! The trouble is that only one of them (i.e., mine) is categorized under “Records” on Hackage. Best wishes, Wolfgang ___

Re: [Haskell-cafe] Re: Coding conventions for Haskell?

2010-10-01 Thread Jan Christiansen
Hi, On 01.10.2010, at 09:57, Wolfgang Jeltsch wrote: I think this is much more readable, since you can easily see which of those lines belong together. I wonder whether there are empirical results which show that a certain kind of spacing is more readable for a certain kind of programmer

Re: [Haskell-cafe] I still cannot seem to get a GUI working under Windows.

2010-10-01 Thread Eric Kow
On Wed, Sep 29, 2010 at 09:51:14 +, cas...@istar.ca wrote: I still cannot seem to get a GUI working under Windows. Maybe this will help: http://wewantarock.wordpress.com/2010/05/05/haskell-platform-2010-1-0-0-and-wxhaskell-on-windows/ -- Eric Kow

[Haskell-cafe] Haskell list on Twitter?

2010-10-01 Thread Magnus Therning
Now that there are lists/groups on Twitter (http://mashable.com/2009/11/02/twitter-lists-guide/) maybe one should be created one for Haskellers? I would do it, but it seems I can't be on my own list :-) So unless I've missed something I'd have to create a dummy user just for this purpose. Hence

Re: [Haskell-cafe] Haskell list on Twitter?

2010-10-01 Thread Vo Minh Thu
2010/10/1 Magnus Therning mag...@therning.org: Now that there are lists/groups on Twitter (http://mashable.com/2009/11/02/twitter-lists-guide/) maybe one should be created one for Haskellers? I would do it, but it seems I can't be on my own list :-)  So unless I've missed something I'd have

Re: [Haskell-cafe] Haskell list on Twitter?

2010-10-01 Thread Magnus Therning
On Fri, Oct 1, 2010 at 11:15, Vo Minh Thu not...@gmail.com wrote: 2010/10/1 Magnus Therning mag...@therning.org: Now that there are lists/groups on Twitter (http://mashable.com/2009/11/02/twitter-lists-guide/) maybe one should be created one for Haskellers? I would do it, but it seems I

Re: [Haskell-cafe] CCC MyType

2010-10-01 Thread Lafras Uys
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 01/10/2010 04:54, Brent Yorgey wrote: On Wed, Sep 22, 2010 at 04:57:42PM +0200, Lafras Uys wrote: data MyType a b = MyType {f::(a - b)} data SomeType a b = SomeType {g::(a,b)} instance (Symmetric MyType (Product MyType), Monoidal

Re: [Haskell-cafe] I still cannot seem to get a GUI working under Windows.

2010-10-01 Thread Jeremy O'Donoghue
Apologies folks, rant coming up... On Wed, 29 Sep 2010 22:02 +0100, Andrew Coppin andrewcop...@btinternet.com wrote: On 29/09/2010 07:33 PM, Steve Schafer wrote: The issue isn't that there aren't a lot of Windows developers who have an interest in Haskell+GUI development. The issue is that

Re: [Haskell-cafe] Haskell list on Twitter?

2010-10-01 Thread Daniel Peebles
Several haskellers have lists of haskellers, and most of them include Don, I'd expect. I know my list does: http://twitter.com/#!/copumpkin/haskell Otherwise, there's a list of haskellers on the haskell wiki but I'm not usure it's very up to date: http://www.haskell.org/haskellwiki/Twitter On

Re: [Haskell-cafe] Haskell list on Twitter?

2010-10-01 Thread Daniel Peebles
Also, it is possible to add yourself to your own twitter list :) On Fri, Oct 1, 2010 at 12:03 PM, Magnus Therning mag...@therning.orgwrote: Now that there are lists/groups on Twitter (http://mashable.com/2009/11/02/twitter-lists-guide/) maybe one should be created one for Haskellers? I

[Haskell-cafe] Non-existing types in existential quantification?

2010-10-01 Thread Henning Thielemann
Given the following code, that is accepted by GHC: data Exist = forall a. Exist a exist :: Exist exist = Exist undefined What type has the 'undefined' ? So far I assumed that at runtime all objects have a concrete type. This seems not to be true. I can also write data ExistList =

Re: [Haskell-cafe] Non-existing types in existential quantification?

2010-10-01 Thread Christopher Done
On 1 October 2010 15:27, Henning Thielemann lemm...@henning-thielemann.de wrote: Given the following code, that is accepted by GHC: data Exist = forall a. Exist a exist :: Exist exist = Exist undefined What type has the 'undefined' ? I think its type is `a'. So far I assumed that at

Re: [Haskell-cafe] Haskell list on Twitter?

2010-10-01 Thread Magnus Therning
On Fri, Oct 1, 2010 at 14:19, Daniel Peebles pumpkin...@gmail.com wrote: Also, it is possible to add yourself to your own twitter list :) It took me a while to find where to do that, but now I know how. /M On Fri, Oct 1, 2010 at 12:03 PM, Magnus Therning mag...@therning.org wrote: Now that

Re: [Haskell-cafe] Haskell list on Twitter?

2010-10-01 Thread Magnus Therning
On Fri, Oct 1, 2010 at 14:14, Daniel Peebles pumpkin...@gmail.com wrote: Several haskellers have lists of haskellers, and most of them include Don, I'd expect. I know my list does: http://twitter.com/#!/copumpkin/haskell Otherwise, there's a list of haskellers on the haskell wiki but I'm not

[Haskell-cafe] Haskell Platform, Hackage and Cabal : The 2nd Year : Status Report

2010-10-01 Thread Don Stewart
The Haskell Implementors Workshop was held in Baltimore, today. Duncan Coutts from Well-Typed and I presented a status report on the Haskell distribution infrastructure: Hackage , Haskell Platform and Cabal. The slides are here:

Re: [Haskell-cafe] Haskell list on Twitter?

2010-10-01 Thread Don Stewart
I have a list: http://twitter.com/#/list/donsbot/haskellers pumpkingod: Also, it is possible to add yourself to your own twitter list :) On Fri, Oct 1, 2010 at 12:03 PM, Magnus Therning mag...@therning.org wrote: Now that there are lists/groups on Twitter

Re: [Haskell-cafe] Haskell list on Twitter?

2010-10-01 Thread Daniel Peebles
I try to keep my list up to date with new haskellers I find on twitter, and it should include everyone on the haskell wiki list. Yes, it contains me, too :) But Don's list looks like it has more people in it, so that might be better to make into a canonical one. Now I wish I had a list difference

Re: [Haskell-cafe] Coding conventions for Haskell?

2010-10-01 Thread Andrew Coppin
On 30/09/2010 02:56 PM, Henning Thielemann wrote: Andrew Coppin schrieb: On 29/09/2010 02:18 PM, Henning Thielemann wrote: The truth is: Given the separator style of constructor definition, there is no correct way to format those declarations. :-) The correct way would be to allow

happstack-ixset internals/performance (was Re: [Haskell-cafe] Inverse of HaskellDB)

2010-10-01 Thread Thomas M. DuBuisson
That is pretty close to how it would look using happstack-state. Here is a complete, runnable example which defines the types, a query, creates/initializes the database, performs the query, and prints the results. [snip] How is data stored in Happstack.State? I see the Component instance

Re: [Haskell-cafe] Haskell Platform, Hackage and Cabal : The 2nd Year : Status Report

2010-10-01 Thread Malcolm Wallace
The Haskell Implementors Workshop was held in Baltimore, today. Duncan Coutts from Well-Typed and I presented a status report on the Haskell distribution infrastructure: Hackage , Haskell Platform and Cabal. The slides are here:

Re: [Haskell-cafe] Haskell Platform, Hackage and Cabal : The 2nd Year : Status Report

2010-10-01 Thread Christopher Done
Yay, a video! Thanks, Malcolm. Much appreicated. On 1 October 2010 22:29, Malcolm Wallace malcolm.wall...@me.com wrote: The Haskell Implementors Workshop was held in Baltimore, today. Duncan Coutts from Well-Typed and I presented a status report on the Haskell distribution infrastructure:

[Haskell-cafe] Haskell web development entries on the Wiki

2010-10-01 Thread Christopher Done
Decided to move this to a separate thread. I went ahead and refactored the wiki entries: http://www.haskell.org/haskellwiki/Web Now we have the following Web/ sections: Servers Frameworks Interfaces to frameworks Databases and Persistence Libraries Testing and Verification Content Management

Re: [Haskell-cafe] Haskell Platform, Hackage and Cabal : The 2nd Year : Status Report

2010-10-01 Thread Matthias Kilian
On Fri, Oct 01, 2010 at 09:29:32PM +0100, Malcolm Wallace wrote: The slides are here: http://donsbot.wordpress.com/2010/10/01/hackage-cabal-and-the-haskell-platform-the-second-year/ And the video is here: http://www.vimeo.com/15462768 And is there any way to just *download* the

Re: [Haskell-cafe] Haskell Platform, Hackage and Cabal : The 2nd Year : Status Report

2010-10-01 Thread Christopher Done
On 1 October 2010 23:00, Matthias Kilian k...@outback.escape.de wrote: And is there any way to just *download* the video? For people not using adobe flash? They have a HTML5 player. See the link at the bottom right of the video? Do you have Firefox or Chrome?

Re: [Haskell-cafe] Haskell Platform, Hackage and Cabal : The 2nd Year : Status Report

2010-10-01 Thread Christopher Done
On 1 October 2010 23:03, Christopher Done chrisd...@googlemail.com wrote: On 1 October 2010 23:00, Matthias Kilian k...@outback.escape.de wrote: And is there any way to just *download* the video? For people not using adobe flash? They have a HTML5 player. See the link at the bottom right of

[Haskell-cafe] Re: Haskell list on Twitter?

2010-10-01 Thread b1g3ar5
I have a list of people not on their own list. I can't decide whether I should be on it or not. On Oct 1, 6:38 pm, Daniel Peebles pumpkin...@gmail.com wrote: I try to keep my list up to date with new haskellers I find on twitter, and it should include everyone on the haskell wiki list. Yes,

Re: [Haskell-cafe] Haskell Platform, Hackage and Cabal : The 2nd Year : Status Report

2010-10-01 Thread Gwern Branwen
On Fri, Oct 1, 2010 at 5:00 PM, Matthias Kilian k...@outback.escape.de wrote: On Fri, Oct 01, 2010 at 09:29:32PM +0100, Malcolm Wallace wrote: The slides are here:   http://donsbot.wordpress.com/2010/10/01/hackage-cabal-and-the-haskell-platform-the-second-year/ And the video is here:  

Re: [Haskell-cafe] Haskell Platform, Hackage and Cabal : The 2nd Year : Status Report

2010-10-01 Thread Ivan Lazar Miljenovic
On 2 October 2010 07:03, Christopher Done chrisd...@googlemail.com wrote: On 1 October 2010 23:00, Matthias Kilian k...@outback.escape.de wrote: And is there any way to just *download* the video? For people not using adobe flash? They have a HTML5 player. See the link at the bottom right of

[Haskell-cafe] The Haskell Implementors Workshop

2010-10-01 Thread Don Stewart
Slides and videos from today's Haskell Implementors Workshop, in Baltimore. http://haskell.org/haskellwiki/HaskellImplementorsWorkshop/2010#Programme Enjoy. -- Don ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] EDSL for Makefile

2010-10-01 Thread C K Kashyap
Hi Neil ... how did the talk go? On Thu, Sep 30, 2010 at 10:23 PM, Neil Mitchell ndmitch...@gmail.com wrote: What great timing! I will be giving a talk at the Haskell Implementors Workshop tomorrow about the Make system Shake. It will be video taped and I can send you the slides after I've

Re: [Haskell-cafe] EDSL for Makefile

2010-10-01 Thread Don Stewart
Neil's * slides http://www.galois.com/~dons/talks/hiw-2010/ndm-shake.pdf * video http://www.vimeo.com/15465133 ckkashyap: Hi Neil ... how did the talk go? On Thu, Sep 30, 2010 at 10:23 PM, Neil Mitchell ndmitch...@gmail.com wrote: What great timing! I will be giving a talk at the

Re: [Haskell-cafe] EDSL for Makefile

2010-10-01 Thread C K Kashyap
Thanks Neil On Sat, Oct 2, 2010 at 10:07 AM, Don Stewart d...@galois.com wrote: Neil's    * slides http://www.galois.com/~dons/talks/hiw-2010/ndm-shake.pdf    * video  http://www.vimeo.com/15465133 ckkashyap: Hi Neil ... how did the talk go? On Thu, Sep 30, 2010 at 10:23 PM, Neil

Re: [Haskell-cafe] EDSL for Makefile

2010-10-01 Thread C K Kashyap
On Thu, Sep 30, 2010 at 5:35 PM, Emil Axelsson e...@chalmers.se wrote: How about:  execute (gcc -c ++ dependencyList ++ -o ++ target r1) / Emil Thanks Emil ... yeah, that works...I was wondering what I could do to not have to mention r1 explicitly. I'll check out Neil's pdf and video now