Re: [Haskell-cafe] [haskell.org Google Summer of Code] Student Applications Due Friday!

On Wed, Apr 7, 2010 at 12:46 AM, Edward Kmett wrote: > This is a friendly reminder that student applications for the summer of code > are due to Google by Friday, April 9th. > http://socghop.appspot.com/document/show/gsoc_program/google/gsoc2010/timeline > That is just 3 days from now! > Keep in m

Re: [Haskell-cafe] Re: HXT Namespaces and XPath

On 7 April 2010 16:41, Uwe Schmidt wrote: > But currently it's assumed, that getXPathTreesWithNsEnv is used only in an > innocent way. I like your phrasing here... I might steal it for graphviz rather than just saying "it's assumed that you don't do such-and-such" :p -- Ivan Lazar Miljenovic i

Re: [Haskell-cafe] Re: HXT Namespaces and XPath

Hi Mads, > Replying to myself: > > > I think another example will clarify my point. The code: > > > > simpleXmlOne, simpleXmlTwo :: String > > simpleXmlOne = "http://foo.org\"/>" > > simpleXmlTwo = "http://foo.org\"/>" > > > > nsEnv :: [(String, String)] > > nsEnv = [ ("notFoo", "http://not

[Haskell-cafe] GSoC: Hackage 2.0

Hi Haskellers, I'm Matt Gruen (Gracenotes in #haskell), and the Hackage 2.0 SoC project at really piqued my interest. It seems doable, in a summer, to make the new hackage-server more-than-deployment-ready as well as clearing out some it

Re: [Haskell-cafe] Re: Haskell.org re-design

On Tue, Apr 6, 2010 at 8:22 PM, Thomas Schilling wrote: > Ok, last revision for tonight:  http://i.imgur.com/d3ARq.png I'm no web design guru, but this is definitely better than what we have now. Good job on it. Antoine ___ Haskell-Cafe mailing list Ha

Re: [Haskell-cafe] Why does Haskell not infer most general type?

Thank you all for your replies. This is all much more clear now :) - Job On Tue, Apr 6, 2010 at 7:00 PM, Ross Paterson wrote: > On Tue, Apr 06, 2010 at 05:18:34PM -0400, Job Vranish wrote: > > So in Haskell 98, would the added constraints result in a type error? > > Yes, because the types of th

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

As I understand it, there is only one place in the Cabal package where *build* dependencies appear, in contrast to lines in the Library and Executable sections where the *install* dependencies appear (i.e., you might not need all of the build dependences around merely to use the library or progr

Re: [Haskell-cafe] Re: Haskell.org re-design

While I think that (d) is a valid concern, it is also important not to let the perfect be the enemy of the good. If we agree that the proposed web site layout is sufficiently better than the current one and is "good enough" aesthetically, then I think we should go ahead and switch to the new la

Re: [Haskell-cafe] Re: Haskell.org re-design

Ah, that looks a lot nicer. :-) Cheers, Greg On Apr 6, 2010, at 5:49 PM, Thomas Schilling wrote: > Ok, based on both your and Ivan's comments I modified a bit more. > > http://i.imgur.com/cumLj.png > > Making the top columns and the lower columns the same width looks bad, > but I agree that

Re: [Haskell-cafe] Re: Haskell.org re-design

On 7 April 2010 11:53, Ben Millwood wrote: > I've never really trusted this argument - it's not required that the > browser window occupy the entire screen, so why not let the user > choose how wide they want their text? Agreed; I hate websites/blogs/etc. that only take up a fraction of the scree

Re: [Haskell-cafe] Re: Haskell.org re-design

On Wed, Apr 7, 2010 at 2:22 AM, Thomas Schilling wrote: > I have > set a maximum width on purpose so that it doesn't degrade too badly on > big screens. I've never really trusted this argument - it's not required that the browser window occupy the entire screen, so why not let the user choose how

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

On Tue, Apr 6, 2010 at 9:00 PM, Gregory Crosswhite wrote: > Sounds like a good plan to me! > > You still need some way to separate out the test dependencies from the main > build dependencies, though.  Perhaps as a separate line in the main Cabal > header section? I think I can implement this i

Re: [Haskell-cafe] Re: Haskell.org re-design

On Tue, Apr 6, 2010 at 5:49 PM, Thomas Schilling wrote: > Ok, based on both your and Ivan's comments I modified a bit more. > > http://i.imgur.com/cumLj.png > > Making the top columns and the lower columns the same width looks bad, > but I agree that the large margin between the blurb and the > Do

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

On Tue, Apr 6, 2010 at 5:49 PM, Thomas Tuegel wrote: > > Suppose we adopt your suggestion and let test programs be ordinary > executables in ordinary 'Executable' sections, and make 'Test' > sections that look like: > > > Test foo-1 > >     exe-is: foo > >     options: --enable-bar --disable-baz >

Re: [Haskell-cafe] Re: Haskell.org re-design

Ok, last revision for tonight: http://i.imgur.com/d3ARq.png I fixed the link-box hanging over and I made the logo a bit bigger (60px, like currently on the Wiki) Ivan, yes it's more like Slate Grey, no idea what it's called. I have set a maximum width on purpose so that it doesn't degrade too b

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

Sounds like a good plan to me! You still need some way to separate out the test dependencies from the main build dependencies, though. Perhaps as a separate line in the main Cabal header section? Also, per my earlier comment, it would be good if there were also an "Automatic" option in each t

Re: [Haskell-cafe] Re: Haskell.org re-design

Nice! Is there any way you can enlarge the bottom section so that the box in the top-right doesn't look like it is hanging over the side (i.e., having whitespace directly below it and to the right of the main text)? If anything, I think that it would look better for the bottom text to extend f

Re: [Haskell-cafe] Re: Haskell.org re-design

On 7 April 2010 10:49, Thomas Schilling wrote: > http://i.imgur.com/cumLj.png I wonder... is there any reason why the actual page content is so narrow compared to the title bar (to allow for small screens)? > [snip] So headings are now a very dark blue. > > The italic things in the blurb are act

Re: [Haskell-cafe] Re: Haskell.org re-design

Ok, based on both your and Ivan's comments I modified a bit more. http://i.imgur.com/cumLj.png Making the top columns and the lower columns the same width looks bad, but I agree that the large margin between the blurb and the Documentation headline was too large. After I changed that, however, th

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

I apologize for spamming, but it only just occurred to me how to get the best aspects of both our ideas: On Tue, Apr 6, 2010 at 8:28 PM, Thomas Tuegel wrote: > On Tue, Apr 6, 2010 at 7:43 PM, Rogan Creswick wrote: >> The existing Executable sections may serve the need fine, if we could >> specif

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

On 7 April 2010 10:45, Gregory Crosswhite wrote: > Yes, I personally think that tests which are automatically run should be > self-contained so that they require no additional intervention by the user.   > However, one could conceivably flag some tests as being "manual" so that they > are only r

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

On Apr 6, 2010, at 5:35 PM, Ivan Miljenovic wrote: > On 7 April 2010 10:28, Thomas Tuegel wrote: >> Ok, this is the bottom-line that I didn't understand after our first >> exchange, but I think now I do: I should entirely scrap the second >> aspect of my proposal and focus exclusively on making

Re: [Haskell-cafe] what are the safety conditions for unsafeIOToST

I would venture that the condition under which unsafeIOtoST would be safe is if all of the computations you are performing in the IO monad are only changing state that is local to the computation within the ST monad in which you are running. (For example, if there were no STRef type then you co

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

On Apr 6, 2010, at 5:28 PM, Thomas Tuegel wrote: > On Tue, Apr 6, 2010 at 7:43 PM, Rogan Creswick wrote: >> test-framework and test-runner both address the second problem, and >> those solutions can be kept separate, at least for now. Figuring out >> the best way to specify test commands, depen

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

On 7 April 2010 10:28, Thomas Tuegel wrote: > Ok, this is the bottom-line that I didn't understand after our first > exchange, but I think now I do: I should entirely scrap the second > aspect of my proposal and focus exclusively on making Cabal build and > run test programs. Just as a food for t

Re: [Haskell-cafe] what are the safety conditions for unsafeIOToST

On 07/04/2010, at 07:33, Nicolas Frisby wrote: > I haven't been able to find it via Google or Haddock. An old message > suggests is was just a matter of exceptions? I don't think that's correct. You can implement unsafePerformIO in terms unsafeIOToST: unsafePerformIO :: IO a -> a unsafePerformI

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

On Tue, Apr 6, 2010 at 7:43 PM, Rogan Creswick wrote: > test-framework and test-runner both address the second problem, and > those solutions can be kept separate, at least for now.  Figuring out > the best way to specify test commands, dependencies, build/execution > order, etc. is going to take

Re: [Haskell-cafe] Re: Haskell.org re-design

I concur that the latest version with the softer colors looks a lot nicer, and I approve of the overall design. I think that you should go back to using a change in the foreground color rather than the background color for the links in the main description, since at the moment it looks ugly. I

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

On Apr 6, 2010, at 4:40 PM, Thomas Tuegel wrote: > Now, if you're telling me I'm going off in the wrong direction by > proposing to integrate a test framework into Cabal itself, that's > another story. Should I pare down my proposal to only include support > for a proper 'Test' stanza in the pac

Re: [Haskell-cafe] Re: Haskell.org re-design

On 7 April 2010 10:02, Thomas Schilling wrote: > On 7 April 2010 00:57, Ivan Miljenovic wrote: >> OK, I dislike the colour scheme.  Happy now? ;-) > > That's still not constructive.  I.e, is it the black, the gray, the orange? OK, it's the black; it seems a tad too strong for me (the fact that y

Re: [Haskell-cafe] Re: Haskell.org re-design

On 7 April 2010 00:57, Ivan Miljenovic wrote: > On 7 April 2010 08:40, Thomas Schilling wrote: >> On 6 April 2010 22:39, Ivan Lazar Miljenovic >> wrote: >>> I like the layout, but hate the colour scheme. >> >> Wow, "hate" is a very strong word. > > OK, I dislike the colour scheme.  Happy now? ;

Re: [Haskell-cafe] Re: Haskell.org re-design

On 7 April 2010 08:40, Thomas Schilling wrote: > On 6 April 2010 22:39, Ivan Lazar Miljenovic > wrote: >> I like the layout, but hate the colour scheme. > > Wow, "hate" is a very strong word. OK, I dislike the colour scheme. Happy now? ;-) -- Ivan Lazar Miljenovic ivan.miljeno...@gmail.com I

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

On Tue, Apr 6, 2010 at 4:03 PM, Gregory Crosswhite wrote: > > Rather that starting from scratch, you should strongly consider adapting > something like test-framework to this task, as it already has done the heavy > work of creating a way to combine tests from different frameworks into a > sing

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

On Tue, Apr 6, 2010 at 7:03 PM, Gregory Crosswhite wrote: > Rather that starting from scratch, you should strongly consider adapting > something like test-framework to this task, as it already has done the heavy > work of creating a way to combine tests from different frameworks into a > single

Re: [Haskell-cafe] Simple binary-protocol through network test

Okay, so I turned off every buffering using hSetBuffering hdl NoBuffering on both Client and Server, but I doesn't fix it... BTW, I tried to do the same without your package, i.e. simply through Lazy ByteString and Binary, but it doesn't work either, I come up against the same issue. Gregory Cro

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

Rather that starting from scratch, you should strongly consider adapting something like test-framework to this task, as it already has done the heavy work of creating a way to combine tests from different frameworks into a single suite and includes such features as displaying a progress bar duri

Re: [Haskell-cafe] Why does Haskell not infer most general type?

On Tue, Apr 06, 2010 at 05:18:34PM -0400, Job Vranish wrote: > So in Haskell 98, would the added constraints result in a type error? Yes, because the types of the mutually recursive identifiers would be inferred together without using the type signatures, and then would fail to match the declared

Re: [Haskell-cafe] Simple binary-protocol through network test

Hmm, I am guessing it is more likely that the problem is that the I/O system changed from 6.10.4 to 6.12.1 somehow in a way that broke the package. You could try turning off all buffering in the handle using hSetBuffering and seeing if that works. Cheers, Greg On Apr 6, 2010, at 3:44 PM, Yves

[Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

Hello again! Based on the invaluable feedback I've received, I've made some revisions to the proposal I made a few days ago (at the end of this post, after my signature). I apologize for the length of my post, but I'd like once again to solicit feedback on this. Any commentary is very helpful!

[Haskell-cafe] [haskell.org Google Summer of Code] Student Applications Due Friday!

This is a friendly reminder that student applications for the summer of code are due to Google by Friday, April 9th. http://socghop.appspot.com/document/show/gsoc_program/google/gsoc2010/timeline That is just *3 days* from now! Keep in mind that while we've been tracking general interest in diffe

Re: [Haskell-cafe] Simple binary-protocol through network test

Weird... I use GHC 6.12.1, and I run Ubuntu 9.10 (32bits version). Would have I miss something? Like a flush or a close? Logically, I don't see where I would... Gregory Crosswhite-2 wrote: > > Yay, I'm glad to see someone else using my package. :-) > > Hmm, your program seems to work for me

Re: [Haskell-cafe] Re: Haskell.org re-design

On 6 April 2010 22:39, Ivan Lazar Miljenovic wrote: > Thomas Schilling writes: > >> Another attempt:  http://i.imgur.com/ENvl7.png > > I like the layout, but hate the colour scheme. Wow, "hate" is a very strong word. In any case, though, I'm pretty sure it'll be impossible to please everyone.

Re: [Haskell-cafe] Simple binary-protocol through network test

Yay, I'm glad to see someone else using my package. :-) Hmm, your program seems to work for me. I compiled and ran the Server (with ghc --make), then compiled and ran the Client, and then typed Operation 1.0 Mult 2.0 into the Client process, and the result it got was 2.0 wit

Re: [Haskell-cafe] Re: Haskell.org re-design

Thomas Schilling writes: > Another attempt: http://i.imgur.com/ENvl7.png I like the layout, but hate the colour scheme. -- Ivan Lazar Miljenovic ivan.miljeno...@gmail.com IvanMiljenovic.wordpress.com ___ Haskell-Cafe mailing list Haskell-Cafe@haskel

[Haskell-cafe] Simple binary-protocol through network test

Hello, I'm trying to use the packages Network and Control.Monad.BinaryProtocol together, with a very simple program in which a client sends an operation to the server, which computes the result and sends it back. But the server holds when trying to receive (Server.hs, line 22), whereas the clien

Re: [Haskell-cafe] Established names for a couple of list functionals?

Stephen Tetley writes: > -- first element special > -- > anacrusisMap :: (a -> b) -> (a -> b) -> [a] -> [b] > anacrusisMap _ _ [] = [] > anacrusisMap f g (a:as) = f a : map g as I've done something like this, and gave it the extremely imaginative name of firstOthers. But it was an internal n

[Haskell-cafe] what are the safety conditions for unsafeIOToST

I haven't been able to find it via Google or Haddock. An old message suggests is was just a matter of exceptions? I only want to use the IO for generating Data.Uniques to pair with STRefs in order to make a map of them. I'm guessing this would be a safe use since it's exception free (... right?).

Re: [Haskell-cafe] Why does Haskell not infer most general type?

On Tue, Apr 06, 2010 at 03:56:32PM -0400, Job Vranish wrote: > Why does haskell not infer the most general type for these functions? Is it > a limitation of the algorithm? a limitation of the recursive let binding? > > Any insight would be appreciated :) This is due to when Haskell does generaliz

Re: [Haskell-cafe] Why does Haskell not infer most general type?

Yes, it has to do with mutually recursive bindings. If you add a type signature, you break the mutual recursion. Mutually recursive functions are type-checked together and then generalised. Similarly, polymorphic recursion cannot be inferred either, but is possible by adding a type signature. H

Re: [Haskell-cafe] Why does Haskell not infer most general type?

So in Haskell 98, would the added constraints result in a type error? - Job On Tue, Apr 6, 2010 at 5:12 PM, Ross Paterson wrote: > On Tue, Apr 06, 2010 at 03:56:32PM -0400, Job Vranish wrote: > > f _ = undefined > > where > > _ = y :: Int -> Int > > > > y x = undefined > > where > >

Re: [Haskell-cafe] Why does Haskell not infer most general type?

On Tue, Apr 06, 2010 at 03:56:32PM -0400, Job Vranish wrote: > f _ = undefined > where > _ = y :: Int -> Int > > y x = undefined > where > _ = f x Because f and y are mutually recursive, their types are inferred together, so y gets the type Int -> Int (as given), which forces f :: Int

Re: [Haskell-cafe] Announce: hothasktags

On Thursday 1. April 2010 22.46.47 Luke Palmer wrote: > I'd like to draw attention to a little script I wrote. I tend to use > qualified imports and short names like "new" and "filter". This makes > hasktags pretty much useless, since it basically just guesses which > one to go to. hothasktags i

[Haskell-cafe] Established names for a couple of list functionals?

Hello all Having traversals with special behaviour for the first or last element is useful for my current work: -- first element special -- anacrusisMap :: (a -> b) -> (a -> b) -> [a] -> [b] anacrusisMap _ _ [] = [] anacrusisMap f g (a:as) = f a : map g as -- last element special -- caboose

Re: [Haskell-cafe] Why does Haskell not infer most general type?

Excerpts from Brandon S. Allbery KF8NH's message of Tue Apr 06 16:46:28 -0400 2010: > On Apr 6, 2010, at 15:56 , Job Vranish wrote: > > Is haskell supposed to always infer the most general type (barring > > extensions)? > Look up the monomorphism restriction. Hey Brandon, I tested the code wit

Re: [Haskell-cafe] Why does Haskell not infer most general type?

I don't believe that the monomorphism restriction has anything to do with this. Removing it does not generalize the type. On Tue, Apr 6, 2010 at 4:46 PM, Brandon S. Allbery KF8NH < allb...@ece.cmu.edu> wrote: > On Apr 6, 2010, at 15:56 , Job Vranish wrote: > > Is haskell supposed to always infer

Re: [Haskell-cafe] Why does Haskell not infer most general type?

On Apr 6, 2010, at 15:56 , Job Vranish wrote: Is haskell supposed to always infer the most general type (barring extensions)? Look up the monomorphism restriction. -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allb...@kf8nh.com system administrator [openafs,heimdal,too many hats]

Re: [Haskell-cafe] Re: Haskell.org re-design

Here's a matching Wiki style: http://i.imgur.com/XkuzH.png On 6 April 2010 20:35, Max Bolingbroke wrote: > This is a very nice design. However shouldn't other pages e.g. the > wiki template be redesigning to match as well? If this is not going to > happen, then I would almost prefer sticking to

[Haskell-cafe] Why does Haskell not infer most general type?

Is haskell supposed to always infer the most general type (barring extensions)? I found a simple case where this is not true: f _ = undefined where _ = y :: Int -> Int y x = undefined where _ = f x Haskell infers the types of 'y' and 'f' as: f :: Int -> a y :: Int -> Int This confu

Re: [Haskell-cafe] Re: Haskell.org re-design

This is a very nice design. However shouldn't other pages e.g. the wiki template be redesigning to match as well? If this is not going to happen, then I would almost prefer sticking to the current design for consistency's sake. On 6 April 2010 20:11, Thomas Schilling wrote: > Another attempt:  ht

[Haskell-cafe] Re: GSOC Haskell Project

Oops, forgot to add the third link: my homepage is at http://people.rosedu.org/people/mihai_maruseac On Tue, Apr 6, 2010 at 10:11 PM, Mihai Maruseac wrote: > Hello again > > Following a feedback (courtesy of lispy) of my proposal on #haskell, I > come to complete it with some bits here and there.

Re: [Haskell-cafe] Re: Haskell.org re-design

Another attempt: http://i.imgur.com/ENvl7.png On 6 April 2010 10:36, Johan Tibell wrote: > On Tue, Apr 6, 2010 at 5:24 AM, Simon Michael wrote: >> On 4/2/10 5:28 AM, Thomas Schilling wrote: >>> >>> How about something more colourful? >>> >>> http://i.imgur.com/7jCPq.png > > I really like the si

[Haskell-cafe] Re: GSOC Haskell Project

Hello again Following a feedback (courtesy of lispy) of my proposal on #haskell, I come to complete it with some bits here and there. First, a short analysis on the impact that this tool will have on the community. I now that right now there are plenty of clever tricks for debugging your code, ev

Re: [Haskell-cafe] Re: HXT Namespaces and XPath

Hi Replying to myself: > I think another example will clarify my point. The code: > > simpleXmlOne, simpleXmlTwo :: String > simpleXmlOne = "http://foo.org\"/>" > simpleXmlTwo = "http://foo.org\"/>" > > nsEnv :: [(String, String)] > nsEnv = [ ("notFoo", "http://notfoo.org";) ] > > evalXPa

[Haskell-cafe] Re: HXT error handling

Hi Mads, > > This is a right point. Here the current XPath calling interface is too > > simple. > > A separation into XPath parsing and evaluation would be more flexible. > > The parsing (and error handling of XPath syntax errors) could be done once. > > I will extend the interface to support th

[Haskell-cafe] Re: HXT Namespaces and XPath

Hi Uwe I read your reply multiple times, but I am still confused. I think either I misunderstand you or I did not explain myself properly in the first mail. > Hi Mads, > > > In HXT, namespace prefixes bound by an XML document are valid in the > > context of an XPath. How do avoid that? > > > >

[Haskell-cafe] Re: HXT error handling

Hi Uwe > This is a right point. Here the current XPath calling interface is too simple. > A separation into XPath parsing and evaluation would be more flexible. > The parsing (and error handling of XPath syntax errors) could be done once. > I will extend the interface to support this. That would

Re: [Haskell-cafe] [OT?] Haskell-inspired functions for BASH

On 6 April 2010 16:56, Gwern Branwen wrote: > > The Scsh manual is worth reading just for the introductory material. Hi Gwern The Scsh manual is worth reading for the Acknowledgements section - which is somewhat famous. Looking over them both it seems most of the material in the paper is cover

[Haskell-cafe] hsql repository

Hello I've looked at hsql-* packages at hackage and found that they have progressed to 1.8.1. However, as always there is no hsql-oracle on hackage. It was usually found in the repository. But I can't find where the repository is. Places, like code.haskell.org and htoolkit.sourceforge.net see

Re: [Haskell-cafe] Re: Haskell.org re-design

There's colourlovers.com as well On Apr 6, 2010, at 12:41 PM, Thomas Schilling wrote: Well, I used http://www.colorschemedesigner.com/ On 6 April 2010 16:20, Daniel Peebles wrote: I'm definitely not a design/color person, but has anyone considered using kuler.adobe.com as a source of

Re: [Haskell-cafe] Re: Haskell.org re-design

Well, I used http://www.colorschemedesigner.com/ On 6 April 2010 16:20, Daniel Peebles wrote: > I'm definitely not a design/color person, but has anyone considered using > kuler.adobe.com as a source of "nice" color schemes, since we seem to have > an issue coming up with attractive combinations?

Re: [Haskell-cafe] Confusions about the Haskell Platform (for Mac)

Sean Leather writes: > Too bad the installer > still doesn't work -- I'm working on it everyone, but the Mac installer > system is incredibly crufty and broken, and Snow Leopard broke a lot of > stuff for me. > > Is it possible to build the installer on a Leopard system/virtual >

Re: [Haskell-cafe] Confusions about the Haskell Platform (for Mac)

Hi Gregory, Thanks for the reply. Gregory Collins wrote: > Sean Leather writes: > > > 4. The current link for the Mac image points to > > > http://hackage.haskell.org/platform/2010.1.0.0/haskell-platform-2010.1.0.1-i386.dmg > > . Note the inconsistency between the version in the directory and fi

Re: [Haskell-cafe] [OT?] Haskell-inspired functions for BASH

On Tue, Apr 6, 2010 at 11:17 AM, Stephen Tetley wrote: > On 6 April 2010 15:09, Mario Blažević wrote: > >>        A question of my own: is there any written design (an academic paper >> would be perfect) of a functional shell language? > > > Olin Shivers has written a detailed paper on Scsh. > >

Re: [Haskell-cafe] Confusions about the Haskell Platform (for Mac)

Sean Leather writes: > 4. The current link for the Mac image points to > http://hackage.haskell.org/platform/2010.1.0.0/haskell-platform-2010.1.0.1-i386.dmg > . Note the inconsistency between the version in the directory and file > names. You can think of that one as the second edition of the 20

Re: [Haskell-cafe] Hackage accounts and real names

> I think this is a bad idea as it ruins recognisability. How am I meant > to know that anonymous1 on hackage is the same person as mrfoo on > haskellwiki, for example? I should not have to point out how unreliable this method of identifying individuals is... I suppose there is no way of preventin

[Haskell-cafe] Re: HXT error handling

Hi Mads, > I am trying to use HXT to evaluate XPath expressions. The XPath > expressions are not specified by myself, but by users of my program. > However, the idea behind HXT's error handling confuses me. Maybe > somebody can enlighten me. > > This program fragment: > > evalXPath :: String ->

Re: [Haskell-cafe] Re: Haskell.org re-design

I'm definitely not a design/color person, but has anyone considered using kuler.adobe.com as a source of "nice" color schemes, since we seem to have an issue coming up with attractive combinations? On Tue, Apr 6, 2010 at 9:58 AM, Thomas Schilling wrote: > Well, they make the wannabe-designer mist

Re: [Haskell-cafe] [OT?] Haskell-inspired functions for BASH

On 6 April 2010 15:09, Mario Blažević wrote: >        A question of my own: is there any written design (an academic paper > would be perfect) of a functional shell language? Olin Shivers has written a detailed paper on Scsh. ftp://www-swiss.ai.mit.edu/pub/su/scsh/scsh-paper.ps The link might

Re: [Haskell-cafe] [OT?] Haskell-inspired functions for BASH

>A question of my own: is there any written design (an academic paper > would be perfect) of a functional shell language? A few: http://www.citeulike.org/user/spl/tag/shell More resources: http://www.cse.unsw.edu.au/~pls/thesis-topics/functionalshell.html Regards, Sean _

[Haskell-cafe] Re: HXT Namespaces and XPath

Hi Mads, > In HXT, namespace prefixes bound by an XML document are valid in the > context of an XPath. How do avoid that? > > An example program will clarify: > > simpleXml :: String > simpleXml = " xmlns:soap=\"http://www.w3.org/2003/05/soap-envelope\"/>" > > nsEnv :: [(String, String)] > nsEn

Re: [Haskell-cafe] [OT?] Haskell-inspired functions for BASH

Patrick LeBoutillier wrote: ... Basically I'm looking for a bit of feedback/info: - Does anyone know if there are already similar projets out there? You've already got some references, you can also look at http://hackage.haskell.org/package/scc which includes a shell language. - Does anyo

Re: [Haskell-cafe] Re: Haskell.org re-design

Well, they make the wannabe-designer mistake of using justified text in HTML, even worse, for columns just 3 words wide. The overall layout, is pretty nice though. It's essentially the standard Web 2.0 layout (compare http://basecamphq.com/, http://www.blinksale.com/, http://www.analysis-one.com/

Re: [Haskell-cafe] Re: Metaprogramming in Haskell vs. Ocaml

On Tue, 06 Apr 2010 09:37:59 -0400, Jacques Carette wrote: > One thing I should have mentionned - TH and camlp4 are really > equivalents. And camlp4 is as-typed-as TH (or not, depending on your > point of view). I am co-author of a camlp4 extension, and I must admit > that coding in camlp4 wa

Re: [Haskell-cafe] Re: Metaprogramming in Haskell vs. Ocaml

One thing I should have mentionned - TH and camlp4 are really equivalents. And camlp4 is as-typed-as TH (or not, depending on your point of view). I am co-author of a camlp4 extension, and I must admit that coding in camlp4 was not enjoyable, while coding in metaocaml (eventually) is. [I se

[Haskell-cafe] Re: Seeking advice about monadic traversal functions

Darryn Reid wrote: > Martijn van Steenbergen wrote: >> >> A small remark: I prefer using applicative notation for this: >> >>> go Next (Single x t1) = Single x <$> rewrite f t1 >>> go Next (Fork t1 t2 ) = Fork <$> rewrite f t1 <*> rewrite f t2 >> > > Thanks for your comment and advice. Could y

Re: [Haskell-cafe] How do I use ByteString?

Mads Lindstrøm writes: > It may seem unfair that I put byte-strings and char-strings in the > same bucket, but libraries do use byte-strings to contain > characters. For example, Parsec has a [Char] and a bytestring > interface. It bears noting that Data.ByteString and Data.ByteString.Char8 are

[Haskell-cafe] Re: libraries [was GUI haters]

Jean-Denis Koeck wrote: > > Question to the Mac users on the list: do you find that Qt applications > feel "native enough" on your platform ? If not, any tips ? Well, that depends on your definition of "enough". :) The most important thing is probably that cross platform applications always "loo

Re: [Haskell-cafe] Re: Metaprogramming in Haskell vs. Ocaml

On Tue, 06 Apr 2010 15:08:45 +0200, Heinrich Apfelmus wrote: > Jacques Carette wrote: > > Jason Dagit wrote: > >> Are you implying that template haskell is not typed? > > > > Indeed. [...] > > > > Compare with metaocaml where if you can compile you meta-program (i.e. > > code generator), then you

Re: [Haskell-cafe] Re: Hackage accounts and real names

Am Dienstag 06 April 2010 14:57:30 schrieb Heinrich Apfelmus: > Edward Z. Yang wrote: > > This is a pretty terrible reason, but I'm going to throw it out there: > > I like real names because they're much more aesthetically pleasing. > > I agree, and this is why I phased out "apfelmus" in favor of t

[Haskell-cafe] Re: libraries [was GUI haters]

aditya siram wrote: > Cocoa is probably the best GUI toolkit (open-source or otherwise) that > I've seen. However it ties your app to the Mac (and the iPhone). And I > don't believe there is a mature Haskell bridge. There is hoc http://code.google.com/p/hoc/ but it's not on hackage and seems a

Re: [Haskell-cafe] How do I use ByteString?

Hi Don Stewart wrote: > gue.schmidt: > > Hi all, > > > > I've never found an easy way to deal with ByteStrings. > > > > I'm using the RSA library and it en- and decodes > > Data.ByteString.Lazy.ByteString. > > > > I initially start with Strings, ie. [Char], but there is no function to > > conv

[Haskell-cafe] Re: Metaprogramming in Haskell vs. Ocaml

Jacques Carette wrote: > Jason Dagit wrote: >> Are you implying that template haskell is not typed? > > Indeed. [...] > > Compare with metaocaml where if you can compile you meta-program (i.e. > code generator), then you are guaranteed that it can only ever produce > valid, well-typed code. Not so

Re: [Haskell-cafe] Confusions about the Haskell Platform (for Mac)

leather: > 1. Why can't the platform download site be hosted on www.haskell.org instead > of > hackage.haskell.org? I see that there's a redirect, but (imho) it would be > ideal to have www.haskell.org/platform be the standard URL in my browser. It > is > easier to remember (for typing) and more

Re: [Haskell-cafe] Re: Hackage accounts and real names

On Tue, 06 Apr 2010 14:57:30 +0200, you wrote: >I agree, and this is why I phased out "apfelmus" in favor of the >pseudonym "Heinrich Apfelmus". You mean your name isn't really "Applesauce"? Steve Schafer ___ Haskell-Cafe mailing list Haskell-Cafe@hask

Re: [Haskell-cafe] Re: Hackage accounts and real names

On Tue, Apr 6, 2010 at 6:08 AM, Serguey Zefirov wrote: > http://lambda-the-ultimate.org is one lovely community that has that > restriction: http://lambda-the-ultimate.org/policies#Policies I quote the policy in full here: > Many of us here post with our real, full names. Anonymity and the use o

Re: [Haskell-cafe] Re: Hackage accounts and real names

On Tue, Apr 6, 2010 at 1:08 PM, Serguey Zefirov wrote: > http://lambda-the-ultimate.org is one lovely community that has that > restriction: http://lambda-the-ultimate.org/policies#Policies LtU has no restriction on user names. From LtU's policy: > Anonymity and the use of pseudonyms is discourag

[Haskell-cafe] Re: Hackage accounts and real names

Edward Z. Yang wrote: > This is a pretty terrible reason, but I'm going to throw it out there: > I like real names because they're much more aesthetically pleasing. I agree, and this is why I phased out "apfelmus" in favor of the pseudonym "Heinrich Apfelmus". So, a more accurate policy would be

Re: [Haskell-cafe] Hackage accounts and real names

I note that in some jurisdictions there is no such thing as a "real" name. You can change your name for legal purposes (on official documentation and so forth) simply by asserting that this is the name you prefer to be known by. Your legal name doesn't have to be the same as your everyday name (min

Re: [Haskell-cafe] Re: Hackage accounts and real names

On Tue, Apr 06, 2010 at 10:10:09AM +0100, David House wrote: > 3. Privacy issues. Some people simply cannot reveal their real names. I've already said I was prepared to make exceptions in such cases, but perhaps you missed that. ___ Haskell-Cafe mailing

Re: [Haskell-cafe] FRP, arrows and loops

On Fri, 2010-04-02 at 14:51 -0400, Christopher Lane Hinson wrote: > On Fri, 2 Apr 2010, Maciej Piechotka wrote: > > > 1. How to interpret ArrowLoop? I have two possible implementations: > > > > type RunSF a = a Dynamic () > > > > data SF a b c = > > SF (a (Dynamic, b, RunSF, Set Unique) (c, Set U

  1   2   >