[Haskell-cafe] Re: ANNOUNCE: GotoT-transformers version 1.0

2010-09-09 Thread Ertugrul Soeylemez
Antoine Latter aslat...@gmail.com wrote: I don't think you need 'goto' to implement jumps in Haskell.  Note that functions as well as computations are first class: To recover from my overly complex previous post, here is a much simply goto based on existing monad transformers: goto ::

[Haskell-cafe] Re: ANNOUNCE: GotoT-transformers version 1.0

2010-09-09 Thread oleg
Antoine Latter wrote: To recover from my overly complex previous post, here is a much simply goto based on existing monad transformers: goto :: Monad m = ContT r m r - ContT r m a goto (ContT m) = ContT $ \_ - m return That is precisely how continuations were discovered

[Haskell-cafe] Re: Unwrapping newtypes

2010-09-09 Thread Kevin Jardine
Hi Ertugrul, My goal was to find a way to define all that was needed using Haskell's automatic instance deriving mechanism. Haskell can automatically derive Foldable, which is why I was looking at that. However, that requires writing two lines for each wrapper newtype to get around the kind

[Haskell-cafe] Re: recommendations for reading list?

2010-09-09 Thread Heinrich Apfelmus
David Leimbach wrote: In my amazon shopping cart I currently have: *Conceptual Mathematics: A First Introduction to Categorieshttp://www.amazon.com/gp/product/052171916X/ref=ord_cart_shr?ie=UTF8m=ATVPDKIKX0DER *- F. William Lawvere *Categories for the Working Mathematician (Graduate Texts in

Re: [Haskell-cafe] Handling platform- or configuration-specific code (or, my CPP complaints)

2010-09-09 Thread Malcolm Wallace
In general, I think using CPP for actual macro processing is extremely poor style and can easily make code inscrutable (and no doubt bug-prone). If the Haskell spec were to add support for this sort of top-level compiler/compiletime-flag conditional definition, I'd switch over. I agree

[Haskell-cafe] Re: Unwrapping newtypes

2010-09-09 Thread Ertugrul Soeylemez
Kevin Jardine kevinjard...@gmail.com wrote: My goal was to find a way to define all that was needed using Haskell's automatic instance deriving mechanism. Haskell can automatically derive Foldable, which is why I was looking at that. However, that requires writing two lines for each wrapper

Re: [Haskell-cafe] Re: recommendations for reading list?

2010-09-09 Thread Malcolm Wallace
David Leimbach wrote: In my amazon shopping cart I currently have: *Conceptual Mathematics: A First Introduction to Categorieshttp://www.amazon.com/gp/product/052171916X/ref=ord_cart_shr?ie=UTF8m=ATVPDKIKX0DER *- F. William Lawvere Lawvere is widely regarded as being very accessible. The

[Haskell-cafe] Re: Unwrapping newtypes

2010-09-09 Thread Kevin Jardine
Hi Ertugrul, if you look back earlier in this thread, you'll see that {-# LANGUAGE GeneralizedNewtypeDeriving #-} allows me to write genuine one line definitions for each wrapper type. Eg. newtype Blog = Blog Obj deriving ToObj There is no need to code the instances as GHC will do that for

[Haskell-cafe] Re: Handling platform- or configuration-specific code (or, my CPP complaints)

2010-09-09 Thread Johannes Waldmann
Malcolm Wallace malcolm.wallace at me.com writes: I agree that CPP used only for conditional compilation, is much more acceptable than using it for macros as well. And co-incidentally, cpphs has a --nomacro flag. So that's basically what the C# preprocessor does?

[Haskell-cafe] Will GHC 6.14 with LLVM use LLVM C compiler to compile external C Libraries

2010-09-09 Thread Mathew de Detrich
Since GHC 6.14 will (hopefully) be use LLVM as a default backend, an idea has occured to me Should GHC also use the clang (C/C++-LLVM compiler) on external C library sources which are used with certain Haskell packages (such as gtk) when LLVM does become a default backend for GHC. The consensus

Re: [Haskell-cafe] Haskell, arrows and signal processing

2010-09-09 Thread Wolfgang Jeltsch
Am Mittwoch, den 08.09.2010, 11:47 -0300 schrieb Rafael Gustavo da Cunha Pereira Pinto: The input and output are infinite streams. I have a few questions: 1) Is it possible to change it to use arrows? How would it look like? 2) How would one implement an continuous time version? Have you

[Haskell-cafe] Hackage package download count

2010-09-09 Thread Tony Hannan
Is there anywhere we can see the number of download for a particular package, especially ones you maintain yourself? Thanks, Tony ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Haskell Weekly News

2010-09-09 Thread Malcolm Wallace
I miss the Haskell Weekly News. The most recent issue was published on 8th March 2010. The volunteer who produces it claimed on 27th April that he would be back in action soon, implying that once a couple of weeks' worth of university classes were finished, HWN would return. So in the

Re: [Haskell-cafe] Will GHC 6.14 with LLVM use LLVM C compiler to compile external C Libraries

2010-09-09 Thread David Peixotto
I'm not sure using Clang would make it any *easier* to use external sources, but it could provide opportunities for optimizing across the C/Haskell boundary. The main difficulty in getting it all working correctly is the linking step. The Mac OSX linker can [link together llvm bitcode][1] for

Re: [Haskell-cafe] Hackage package download count

2010-09-09 Thread Don Stewart
tonyhannan2: Is there anywhere we can see the number of download for a particular package, especially ones you maintain yourself? Nothing terribly automated, but the status for the last quarter: http://donsbot.wordpress.com/2010/06/30/popular-haskell-packages-q2-2010-report/

Re: [Haskell-cafe] Haskell Weekly News

2010-09-09 Thread aditya siram
I'd like to do it. Any tips? -deech On Thu, Sep 9, 2010 at 9:35 AM, Malcolm Wallace malcolm.wall...@me.com wrote: I miss the Haskell Weekly News. The most recent issue was published on 8th March 2010.  The volunteer who produces it claimed on 27th April that he would be back in action soon,

[Haskell-cafe] problems using macports?

2010-09-09 Thread S. Doaitse Swierstra
I am in my yearly fightto get a working combination of operating system (Snow Leopard), compiler version (6.12) , wxWidgets and wxHaskell on my Mac . After deleting most of my stuff, starting afresh, hours of building using macports etc. I finally get the message: loeki:Opgave doaitse$ ghc

Re: [Haskell-cafe] problems using macports?

2010-09-09 Thread Gregory Collins
S. Doaitse Swierstra doai...@swierstra.net writes: I am in my yearly fightto get a working combination of operating system (Snow Leopard), compiler version (6.12) , wxWidgets and wxHaskell on my Mac . After deleting most of my stuff, starting afresh, hours of building using macports etc. I

[Haskell-cafe] Re: [wxhaskell-users] problems using macports?

2010-09-09 Thread Eric Y. Kow
Hi Doaitse, On Thu, Sep 09, 2010 at 17:38:40 +0200, S. Doaitse Swierstra wrote: I am in my yearly fightto get a working combination of operating system (Snow Leopard), compiler version (6.12) , wxWidgets and wxHaskell on my Mac . After deleting most of my stuff, starting afresh, hours of

Re: [Haskell-cafe] Re: [wxhaskell-users] problems using macports?

2010-09-09 Thread Sean Leather
On Thu, Sep 9, 2010 at 17:44, Eric Y. Kow wrote: On Thu, Sep 09, 2010 at 17:38:40 +0200, S. Doaitse Swierstra wrote: I am in my yearly fightto get a working combination of operating system (Snow Leopard), compiler version (6.12) , wxWidgets and wxHaskell on my Mac . After deleting most of

Re: [Haskell-cafe] Haskell Weekly News

2010-09-09 Thread Joe Fredette
I miss it too, I've got one person set up (or in the process of setting up) to take it over. I'll be happy to help anyone else get set up (the tools are nontrivial to use at first). The current plan, when I finally get back on my feet, is to have multiple editors trading off weeks/months/

Re: [Haskell-cafe] problems using macports?

2010-09-09 Thread Johan Tibell
See if http://stackoverflow.com/questions/2726248/ghc-6-12-and-macports/3601842#3601842 is of any help. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] ANNOUNCE: AbortT-transformers version 1.0

2010-09-09 Thread Henning Thielemann
Colin Paul Adams schrieb: Henning == Henning Thielemann lemm...@henning-thielemann.de writes: Henning On Wed, 8 Sep 2010, Gregory Crosswhite wrote: ExceptionT is a different matter because it handles fail as an uncaught error and places no restrictions on the error type, so

Re: [Haskell-cafe] Hackage package download count

2010-09-09 Thread Duncan Coutts
On 9 September 2010 14:56, Tony Hannan tonyhann...@gmail.com wrote: Is there anywhere we can see the number of download for a particular package, especially ones you maintain yourself? And the new hackage server implementation maintains download counts. See the server test instance here:

Re: [Haskell-cafe] Haskell, arrows and signal processing

2010-09-09 Thread Rafael Gustavo da Cunha Pereira Pinto
Just found it! It is pretty much what I was looking for, On Thu, Sep 9, 2010 at 10:08, Wolfgang Jeltsch g9ks1...@acme.softbase.orgwrote: Am Mittwoch, den 08.09.2010, 11:47 -0300 schrieb Rafael Gustavo da Cunha Pereira Pinto: The input and output are infinite streams. I have a few questions:

Re: [Haskell-cafe] BPMN and BPEL

2010-09-09 Thread Hector Guilarte
Thank you for your advice, Actually, I'm not comfortable with C# at all... I'm gonna be learning it as I develop the application. Also helpful are various Haskell-inspired features added to C# in the last few years, making it feasible to port a large subset of Haskell to C# fairly directly.

Re: [Haskell-cafe] Haskell, arrows and signal processing

2010-09-09 Thread Henning Thielemann
Rafael Gustavo da Cunha Pereira Pinto schrieb: The input and output are infinite streams. I have a few questions: 1) Is it possible to change it to use arrows? How would it look like? 2) How would one implement an continuous time version? For 2) I would like to implement something like

[Haskell-cafe] installing GHC/Haskell Platform in Linux without root permission

2010-09-09 Thread Ali Razavi
Is it possible to install either of these (preferably the latter) somewhere in my home directory without having root permission? I tried the unknown linux package with configure --prefix set to a subdir in my home, to no avail. The problem seems to be due to some library registration which fails.

Re: [Haskell-cafe] installing GHC/Haskell Platform in Linux without root permission

2010-09-09 Thread Don Stewart
ali.razavi: Is it possible to install either of these (preferably the latter) somewhere in my home directory without having root permission? I tried the unknown linux package with configure --prefix set to a subdir in my home, to no avail. The problem seems to be due to some library

Re: [Haskell-cafe] Hackage package download count

2010-09-09 Thread Tony Hannan
Nice, thanks, looking forward to it. On Thu, Sep 9, 2010 at 12:14 PM, Duncan Coutts duncan.cou...@googlemail.com wrote: On 9 September 2010 14:56, Tony Hannan tonyhann...@gmail.com wrote: Is there anywhere we can see the number of download for a particular package, especially ones you

Re: [Haskell-cafe] installing GHC/Haskell Platform in Linux without root permission

2010-09-09 Thread Ali Razavi
Unfortunately I don't have ghc installed. Can I install it without root priv? On Sep 9, 2010, at 1:40 PM, Don Stewart d...@galois.com wrote: ali.razavi: Is it possible to install either of these (preferably the latter) somewhere in my home directory without having root permission? I tried

[Haskell-cafe] Haskell, arrows and signal processing

2010-09-09 Thread Anthony LODI
The input and output are infinite streams. I have a few questions: 1) Is it possible to change it to use arrows? How would it look like? 2) How would one implement an continuous time version? Yampa can do *exactly* what you're asking for. Unfortunately the code seems to be a little rough

Re: [Haskell-cafe] installing GHC/Haskell Platform in Linux without root permission

2010-09-09 Thread Daniel Fischer
On Thursday 09 September 2010 20:23:13, Ali Razavi wrote: Unfortunately I don't have ghc installed. Can I install it without root priv? That ought to work. I just unpacked and installed ghc-6.8.3-i386-unknown- linux.tar.bz2 in a subdir of $HOME without root privileges. (I would've tried a newer

Re: [Haskell-cafe] ANNOUNCE: AbortT-transformers version 1.0

2010-09-09 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 9/8/10 18:43 , Henning Thielemann wrote: On Wed, 8 Sep 2010, Gregory Crosswhite wrote: ExceptionT is a different matter because it handles fail as an uncaught error and places no restrictions on the error type, so one could implement the same

Re: [Haskell-cafe] ANNOUNCE: AbortT-transformers version 1.0

2010-09-09 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 9/9/10 12:16 , Henning Thielemann wrote: Colin Paul Adams schrieb: Henning == Henning Thielemann lemm...@henning-thielemann.de writes: Henning On Wed, 8 Sep 2010, Gregory Crosswhite wrote: ExceptionT is a different matter because it

[Haskell-cafe] CAL experience

2010-09-09 Thread Karel Gardas
Hello, as this is really friendly forum, I'd like to ask to perhaps solve my wonder. From time to time I'm seeing people here recommending Scala as a kind of replacement for non-existent Haskell on Java/JVM platform. My wonder is: why the people here do not recommend CAL, which at least to me,

Re: [Haskell-cafe] CAL experience

2010-09-09 Thread Don Stewart
karel.gardas: Hello, as this is really friendly forum, I'd like to ask to perhaps solve my wonder. From time to time I'm seeing people here recommending Scala as a kind of replacement for non-existent Haskell on Java/JVM platform. My wonder is: why the people here do not recommend CAL,

[Haskell-cafe] malicious JS on haskell site

2010-09-09 Thread Keith Sheppard
Hello cafe, Maybe malicious isn't the right word but there is a JS based web counter on http://www.haskell.org/complex/why_does_haskell_matter.html which likes to show pop up adverts. They must have switched over from counting visitors to showing adverts at some point since the web page was

Re: [Haskell-cafe] Style and a problem

2010-09-09 Thread Nils Schweinsberg
Am 09.09.2010 22:55, schrieb Wanas: Hey all, So I have a two part question (I'm new to haskell, so you can throw all your mugs at me). a) I want to write a function that generates lists of lists of size $n$. All having the property that sum lst = sum [1..n]. a-1) After that, I want to remove

Re: [Haskell-cafe] Style and a problem

2010-09-09 Thread Daniel Fischer
On Thursday 09 September 2010 22:55:14, Wanas wrote: Hey all, So I have a two part question (I'm new to haskell, so you can throw all your mugs at me). a) I want to write a function that generates lists of lists of size $n$. All having the property that sum lst = sum [1..n]. a-1) After

Re: [Haskell-cafe] Style and a problem

2010-09-09 Thread Bulat Ziganshin
Hello Wanas, Friday, September 10, 2010, 12:55:14 AM, you wrote: a) I want to write a function that generates lists of lists of size $n$. All having the property that sum lst = sum [1..n]. a-1) After that, I want to remove all permutations. My idea of you have very interesting questions.

Re: [Haskell-cafe] Style and a problem

2010-09-09 Thread Wanas
Although it was phrased as one, it wasn't. If it were a homework question, wouldn't you think that I'd be trained to do it or have a TA to ask? But who said that you're accusing me of anything :) Thanks for your concern, Bulat. \/\/ On Fri, Sep 10, 2010 at 1:47 AM, Bulat Ziganshin

Re: [Haskell-cafe] malicious JS on haskell site

2010-09-09 Thread Albert Y. C. Lai
On 10-09-09 05:30 PM, Keith Sheppard wrote: Maybe malicious isn't the right word but there is a JS based web counter on http://www.haskell.org/complex/why_does_haskell_matter.html which likes to show pop up adverts. They must have switched over from counting visitors to showing adverts at some

Re: [Haskell-cafe] Will GHC 6.14 with LLVM use LLVM C compiler to compile external C Libraries

2010-09-09 Thread John Lask
I am not that familiar with LLVM, if anything it complicates matters, rather than making things easier. The llvm-ld program has limited support for native code generation, when using the -native or -native-cbe options. Native code generation is performed by converting the linked bitcode into

Re: [Haskell-cafe] Will GHC 6.14 with LLVM use LLVM C compiler to compile external C Libraries

2010-09-09 Thread Felipe Lessa
On Thu, Sep 9, 2010 at 9:08 PM, John Lask jvl...@hotmail.com wrote: so it seems that the gcc support infrastructure that is currently integrated into ghc will still be required. Then the question arises what library formats will ghc use under the circumstances ?(.bc, .a) and how will the two

Re: [Haskell-cafe] Will GHC 6.14 with LLVM use LLVM C compiler to compile external C Libraries

2010-09-09 Thread David Terei
On 9 September 2010 22:10, Mathew de Detrich dete...@gmail.com wrote: It should also hopefully make using Haskell packages on windows that use C sources less painful Clang could also make using FFI with C++ much easier (for reasons stated above) Thoughts? I don't think it would make it any

Re: [Haskell-cafe] Will GHC 6.14 with LLVM use LLVM C compiler to compile external C Libraries

2010-09-09 Thread Mathew de Detrich
This is the main thing I was getting behind, making cross compiling slightly easier (in regards to C/C++ sources). As also pointed out, whole program optimization can be one major benefit to integrating Clang like this. On Fri, Sep 10, 2010 at 11:01 AM, David Terei dave.te...@gmail.com wrote: I

Re: [Haskell-cafe] Style and a problem

2010-09-09 Thread Richard O'Keefe
On Sep 10, 2010, at 8:55 AM, Wanas wrote: Hey all, So I have a two part question (I'm new to haskell, so you can throw all your mugs at me). a) I want to write a function that generates lists of lists of size $n$. All having the property that sum lst = sum [1..n]. a-1) After that, I

Re: [Haskell-cafe] Restricted type classes

2010-09-09 Thread wren ng thornton
On 9/9/10 1:04 AM, David Menendez wrote: Fascinating. I figured there might be a counter-example involving seq, but this is pretty subtle. In particular, would it be fair to say that in Haskell-without-seq, E (f a) a and E (f a) (f a) are indistinguishable? Yes, I think that without

[Haskell-cafe] Re: Handling platform- or configuration-specific code (or, my CPP complaints)

2010-09-09 Thread Geoffrey Mainland
On 09/09/2010 00:54, wren ng thornton wrote: On 9/7/10 3:10 PM, Ben Millwood wrote: So I wonder what people think of the use of CPP in Haskell code, what alternatives people can propose, or what people hope to see in future to make conditional compilation of Haskell code more elegant and

[Haskell-cafe] ANN: ecu-0.0.0

2010-09-09 Thread Tom Hawkins
This package is a collection of programs that we use at Eaton to interact with, debug, and analyze data from vehicle ECUs (Electronic Control Unit: automotive speak for an embedded computer). The motivation to put this stuff on hackage is to encourage the use of Haskell in automotive electronics

Re: [Haskell-cafe] Restricted type classes

2010-09-09 Thread David Menendez
On Thu, Sep 9, 2010 at 11:33 PM, wren ng thornton w...@freegeek.org wrote: On 9/9/10 1:04 AM, David Menendez wrote: Fascinating. I figured there might be a counter-example involving seq, but this is pretty subtle. In particular, would it be fair to say that in Haskell-without-seq, E (f a) a

Re: [Haskell-cafe] Will GHC 6.14 with LLVM use LLVM C compiler to compile external C Libraries

2010-09-09 Thread kyra
I wonder if llvm-gcc supports it's own (gcc) extensions. If it supports then there is no need to stuck in clang right now. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe