Re: [Haskell-cafe] EDSL for Makefile

On Thu, Sep 30, 2010 at 5:35 PM, Emil Axelsson 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 - perh

Re: [Haskell-cafe] EDSL for Makefile

Thanks Neil On Sat, Oct 2, 2010 at 10:07 AM, Don Stewart 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 Mitchell

Re: [Haskell-cafe] EDSL for Makefile

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 wrote: > >>> What great timing! I will be giving a talk at the Haskell Imple

Re: [Haskell-cafe] EDSL for Makefile

Hi Neil ... how did the talk go? On Thu, Sep 30, 2010 at 10:23 PM, Neil Mitchell 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 given the talk.

[Haskell-cafe] The Haskell Implementors Workshop

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 http://www.haskell.org/mailm

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

On 2 October 2010 07:03, Christopher Done wrote: > On 1 October 2010 23:00, Matthias Kilian 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 Chrom

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

On Fri, Oct 1, 2010 at 5:00 PM, Matthias Kilian 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: >>     h

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

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 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, it contains me, > to

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

On 1 October 2010 23:03, Christopher Done wrote: > On 1 October 2010 23:00, Matthias Kilian 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 Chrom

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

On 1 October 2010 23:00, Matthias Kilian 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? ___ Haskell-

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

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 *down

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

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 an

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

Yay, a video! Thanks, Malcolm. Much appreicated. On 1 October 2010 22:29, Malcolm Wallace 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: Hackage , Haskell P

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

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: http://donsbot.wordpress.com/2010/10/01/hackage-cabal-and-the

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

> 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" instanc

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

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 terminator

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

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 differen

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

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 wrote: > > Now that there are lists/groups on Twitter > (http://mashable.com/2009/11/02/tw

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

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: http://donsbot.wordpress.com/2010/10/01/hackage-cabal-and-the-h

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

On Fri, Oct 1, 2010 at 14:14, Daniel Peebles 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 > usure it's very

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

On Fri, Oct 1, 2010 at 14:19, Daniel Peebles 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 > wrote: >> >> Now that there are lists/groups on Twitte

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

On 1 October 2010 15:27, Henning Thielemann 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 runtime all objec

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

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 = foral

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

Also, it is possible to add yourself to your own twitter list :) On Fri, Oct 1, 2010 at 12:03 PM, Magnus Therning wrote: > 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

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

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 F

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

Apologies folks, rant coming up... On Wed, 29 Sep 2010 22:02 +0100, "Andrew Coppin" 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 nearly every > > Win

Re: [Haskell-cafe] CCC MyType

-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), >>>

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

On Fri, Oct 1, 2010 at 11:15, Vo Minh Thu wrote: > 2010/10/1 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 :-)  

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

2010/10/1 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 du

[Haskell-cafe] Haskell list on Twitter?

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] I still cannot seem to get a GUI working under Windows.

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

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

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 (f

Re: [Haskell-cafe] record update

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 ___ Haskell-Ca

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

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 = sho