Re: [Haskell-cafe] Ticking time bomb

2013-02-12 Thread Bob Ippolito
The Python and Ruby communities are actively working on improving the security of their packaging infrastructure. I haven't paid close attention to any of the efforts so far, but anyone working on cabal/hackage security should probably take a peek. I lurk on Python's catalog-sig list and here's

Re: [Haskell-cafe] arrow notation

2013-02-12 Thread Petr Pudlák
2013/2/11 Ertugrul Söylemez e...@ertes.de Petr Pudlák petr@gmail.com wrote: class Arrow a = ArrowDelay a where delay :: a b c - a () (b - c) force :: Arrow a = a () (b - c) - a b c Perhaps it would be convenient to have ArrowDelay and the corresponding

[Haskell-cafe] Problem installing cabal-dev

2013-02-12 Thread David Turner
Hi, From a clean install of Haskell Platform 2012.4.0.0 (on Windows) I have issued just: cabal update cabal install cabal-install cabal install cabal-dev The last command fails with: Resolving dependencies... In order, the following would be installed: tar-0.3.2.0 (new package)

Re: [Haskell-cafe] Problem installing cabal-dev

2013-02-12 Thread JP Moresmau
Hello David, what I did is get cabal-dev from source (git clone git:// github.com/creswick/cabal-dev.git). This build fine, the upper bounds have been edited. Hopefully the new version will be released soon. JP On Tue, Feb 12, 2013 at 11:45 AM, David Turner d.tur...@tracsis.com wrote: Hi,

Re: [Haskell-cafe] Problem installing cabal-dev

2013-02-12 Thread Bob Ippolito
The version of cabal-dev on Hackage doesn't work with recent versions of Haskell due to https://github.com/creswick/cabal-dev/issues/74 - You have to install from a recent git checkout. These instructions were done on Mac but should be straightforward enough to do the same on Windows:

Re: [Haskell-cafe] arrow notation

2013-02-12 Thread Ross Paterson
On Mon, Feb 11, 2013 at 09:32:25AM +0100, Petr Pudlák wrote: While the implementation of Applicative can be defined without actually using `delay`: newtype ArrowApp a b c = ArrowApp (a b c) instance Arrow a = Functor (ArrowApp a b) where fmap f (ArrowApp a) = ArrowApp (a ^

Re: [Haskell-cafe] [Announcement] hArduino: Control your Arduino board from Haskell

2013-02-12 Thread Ivan Perez
I, too, am very happy to see this implemented. I'll give it a try and tell you how it goes. (not inmediately, sadly, I don't have my arduino with me.) Thanks a lot! On 11 February 2013 08:04, Alfredo Di Napoli alfredo.dinap...@gmail.com wrote: Sounds cool! Thanks for your effort! :) A. On

[Haskell-cafe] Why isn't Program Derivation a first class citizen?

2013-02-12 Thread Nehal Patel
A few months ago I took the Haskell plunge, and all goes well... -- but I really want to understand the paradigms as fully as possible, and as it stands, I find myself with three or four questions for which I've yet to find suitable answers. I've picked one to ask the cafe -- like my other

Re: [Haskell-cafe] performance question

2013-02-12 Thread Nicolas Bock
Thanks so much for your efforts, this really helped! Thanks again, nick On Sat, Feb 9, 2013 at 11:54 PM, Branimir Maksimovic bm...@hotmail.comwrote: Here is haskell version that is faster than python, almost as fast as c++. You need to install bytestring-lexing package for readDouble.

[Haskell-cafe] Structured Graphs

2013-02-12 Thread John Sharley
What are the prospects for Haskell supporting Structured Graphs as defined here? http://www.cs.utexas.edu/~wcook/Drafts/2012/graphs.pdf Is there an interest by developers of GHC in doing this? -John___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] performance question

2013-02-12 Thread briand
On Tue, 12 Feb 2013 15:57:37 -0700 Nicolas Bock nicolasb...@gmail.com wrote: Here is haskell version that is faster than python, almost as fast as c++. You need to install bytestring-lexing package for readDouble. I was hoping Branimir could comment on how the improvements were allocated.

Re: [Haskell-cafe] performance question

2013-02-12 Thread Bob Ippolito
On Tuesday, February 12, 2013, wrote: On Tue, 12 Feb 2013 15:57:37 -0700 Nicolas Bock nicolasb...@gmail.com javascript:; wrote: Here is haskell version that is faster than python, almost as fast as c++. You need to install bytestring-lexing package for readDouble. I was hoping

Re: [Haskell-cafe] ghc-mod and cabal targets

2013-02-12 Thread 山本和彦
Francesco, I can confirm that 1.11.1 works. I think I fixed this problem. Would you try the master branch? https://github.com/kazu-yamamoto/ghc-mod --Kazu ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] How far compilers are allowed to go with optimizations?

2013-02-12 Thread wren ng thornton
On 2/11/13 11:47 AM, Johan Holmquist wrote: I was about to leave this topic not to swamp the list with something that appears to go nowere. But now I feel that I must answer the comments, so here it goes. By agressive optimisation I mean an optimisation that drastically reduces run-time

Re: [Haskell-cafe] Why isn't Program Derivation a first class citizen?

2013-02-12 Thread Jan Stolarek
To me, it seems that something like this should be possible -- am i being naive? does it already exist? During the compilation process GHC optimizes the code by performing successive transformations of the program. These transformations are known to preserve meaning of the program - they

Re: [Haskell-cafe] How far compilers are allowed to go with optimizations?

2013-02-12 Thread Tristan Seligmann
On Mon, Feb 11, 2013 at 6:47 PM, Johan Holmquist holmi...@gmail.com wrote: By agressive optimisation I mean an optimisation that drastically reduces run-time performance of (some part of) the program. So I guess automatic vectorisation could fall into this term. Even something like running the