[Haskell-cafe] Re: A few ideas about FRP and arbitrary access in time

2010-03-07 Thread sinelaw
On Mar 7, 1:01 am, Peter Verswyvelen bugf...@gmail.com wrote: On Wed, Mar 3, 2010 at 8:45 PM, sinelaw jones.noa...@gmail.com wrote: But isn't Lucid Synchrone essentially discrete-timed? Also, events Maybe reality itself can also be modeled using  discrete timesteps? If so, then a discrete

[Haskell-cafe] Re: GPL answers from the SFLC (WAS: Re: ANN: hakyll-0.1)

2010-03-07 Thread Heinrich Apfelmus
Robert Greayer wrote: There's still a lot of gray area here -- the mere existence of a dependency doesn't imply that a software package is useless without the dependency, so there are many situations in which P could depend on Q and not be a derivative of Q, because the dependency can be

[Haskell-cafe] Re: Books for advanced Haskell

2010-03-07 Thread Heinrich Apfelmus
Dan Piponi wrote: Günther, A shining example are Dan Piponis blog posts. When you get stuck, post a comment saying where so that I can learn what people find difficult. On the other hand, I understand how intangible not-understanding can be, so it can be hard to point to where the

Re: [Haskell-cafe] Re: Books for advanced Haskell

2010-03-07 Thread Stephen Tetley
Hi All What is the state-of-the-practice in type-level programming? I know Günther started this thread about monads, but I seem to remember him having a long running problem with typeful database programming, and I wonder if some of his problems are really in the later area. Compared to monads,

Re: [Haskell-cafe] Re: GHC's parallel garbage collector -- what am I doing wrong?

2010-03-07 Thread Jan-Willem Maessen
On Mar 3, 2010, at 8:44 AM, Simon Marlow wrote: On 01/03/2010 21:20, Michael Lesniak wrote: Hello Bryan, The parallel GC currently doesn't behave well with concurrent programs that uses multiple capabilities (aka OS threads), and the behaviour you see is the known symptom of this.. I

Re: [Haskell-cafe] vector stream fusion, inlining and compilation time

2010-03-07 Thread Jan-Willem Maessen
On Mar 4, 2010, at 9:05 PM, Roman Leshchinskiy wrote: On 05/03/2010, at 04:34, stefan kersten wrote: i've been hunting down some performance problems in DSP code using vector and the single most important transformation seems to be throwing in INLINE pragmas for any function that uses

[Haskell-cafe] cabal install darcs fails on Mac OS X Snow Leopard

2010-03-07 Thread George Colpitts
I'm unable to install darcs using cabal. It seems to be getting an error configuring haskeline.Can anybody help? Thanks cabal -V cabal-install version 0.6.4 using version 1.6.0.3 of the Cabal library bash-3.2$ ghc -V The Glorious Glasgow Haskell Compilation System, version 6.10.4 bash-3.2$

Re: [Haskell-cafe] cabal install darcs fails on Mac OS X Snow Leopard

2010-03-07 Thread Ben Millwood
On Sun, Mar 7, 2010 at 3:44 PM, George Colpitts george.colpi...@gmail.com wrote: /usr/bin/hsc2hs: line 16: unexpected EOF while looking for matching `' /usr/bin/hsc2hs: line 17: syntax error: unexpected end of file Sounds like a problem with hsc2hs itself. When I installed ghc on Snow Leopard

Re: [Haskell-cafe] Haskell platform for GHC 6.12.1?

2010-03-07 Thread Han Joosten
Is it possible to post the correct cabal binary at http://www.haskell.org/cabal/download.html ? A while ago I gave up on trying to get GHC 6.12.1 working, for I lost the battle building cabal on my windows machine It would help A LOT when cabal.exe could be downloaded somewhere... Thanks

Re: [Haskell-cafe] Haskell course, training

2010-03-07 Thread Don Stewart
gue.schmidt: Hi all, all going well this year I'll be able to invest some money on becoming a better Haskeller. I think I've reached the point where I need some tutoring, so provided I've got money for travel and course fees, and time, where do I get it? I'm not a student so some

Re: [Haskell-cafe] Haskell platform for GHC 6.12.1?

2010-03-07 Thread Neil Mitchell
Hi Han, I uploaded my latest version which works with GHC 6.12.1: http://community.haskell.org/~ndm/temp/cabal.zip Hope it helps, Thanks, Neil On Sun, Mar 7, 2010 at 5:59 PM, Han Joosten han.joos...@atosorigin.com wrote: Is it possible to post the correct cabal binary at

Re: [Haskell-cafe] cabal install darcs fails on Mac OS X Snow Leopard

2010-03-07 Thread George Colpitts
That was it, dropped a double quote, thanks so much ! On Sun, Mar 7, 2010 at 12:13 PM, Ben Millwood hask...@benmachine.co.ukwrote: On Sun, Mar 7, 2010 at 3:44 PM, George Colpitts george.colpi...@gmail.com wrote: /usr/bin/hsc2hs: line 16: unexpected EOF while looking for matching `'

Re: [Haskell-cafe] Re: GPL answers from the SFLC

2010-03-07 Thread Ketil Malde
Stefan Monnier monn...@iro.umontreal.ca writes: What if a new library X' released under BSD or MIT license implements the X API (making possible to compile Y against it)? Can such a new library X' be licensed under something else than the GPL (we guess Yes because we don't think it is

Re: [Haskell-cafe] Re: A few ideas about FRP and arbitrary access in time

2010-03-07 Thread Peter Verswyvelen
On Sun, Mar 7, 2010 at 10:01 AM, sinelaw jones.noa...@gmail.com wrote: I don't think a deep knowledge of physics is what we lack here, at least for the question of continuous vs. discrete time. Maybe the best physical model for nature really does involve discrete time steps. However, for our

Re: [Haskell-cafe] Re: GHC's parallel garbage collector -- what am I doing wrong?

2010-03-07 Thread Simon Marlow
On 07/03/10 14:41, Jan-Willem Maessen wrote: On Mar 3, 2010, at 8:44 AM, Simon Marlow wrote: On 01/03/2010 21:20, Michael Lesniak wrote: Hello Bryan, The parallel GC currently doesn't behave well with concurrent programs that uses multiple capabilities (aka OS threads), and the behaviour

[Haskell-cafe] Re: [Haskell] Recursive definition of fibonacci with Data.Vector

2010-03-07 Thread Don Stewart
edgar: Hello, why I can't define a recursive vector using Data.Vector, like in the example: import qualified Data.Vector as V let fib = 0 `V.cons` (1 `V.cons` V.zipWith (+) fib (V.tail v)) There's a typo: fib = 0 `V.cons` (1 `V.cons` V.zipWith (+) fib (V.tail fib)) Which let's it

Re: [Haskell-cafe] Re: [Haskell] Recursive definition of fibonacci with Data.Vector

2010-03-07 Thread Alexander Solla
On Mar 7, 2010, at 12:56 PM, Don Stewart wrote: In fact, infinite vectors make no sense, as far as I can tell -- these are fundamentally bounded structures. Fourier analysis? Functional analysis? Hamel bases in Real analysis? There are lots of infinite dimensional vector spaces out

Re: [Haskell-cafe] Re: [Haskell] Recursive definition of fibonacci with Data.Vector

2010-03-07 Thread Don Stewart
ajs: On Mar 7, 2010, at 12:56 PM, Don Stewart wrote: In fact, infinite vectors make no sense, as far as I can tell -- these are fundamentally bounded structures. Fourier analysis? Functional analysis? Hamel bases in Real analysis? There are lots of infinite dimensional

Re: [Haskell-cafe] vector stream fusion, inlining and compilation time

2010-03-07 Thread Roman Leshchinskiy
On 06/03/2010, at 03:10, stefan kersten wrote: i'm still curious, though, why my three versions of direct convolution perform so differently (see attached file). in particular, i somehow expected conv_3 to be the slowest and conv_2 to perform similar to conv_1. any ideas? i haven't had a

Re: [Haskell-cafe] Re: [Haskell] Recursive definition of fibonacci with Data.Vector

2010-03-07 Thread Roman Leshchinskiy
On 08/03/2010, at 12:17, Alexander Solla wrote: GHC even optimizes it to: fib = fib Sounds like an implementation bug, not an infinite dimensional vector space bug. My guess is that strictness is getting in the way, and forcing what would be a lazy call to fib in the corresponding

Re: [Haskell-cafe] Re: [Haskell] Recursive definition of fibonacci with Data.Vector

2010-03-07 Thread Alexander Solla
On Mar 7, 2010, at 5:22 PM, Don Stewart wrote: Sorry for the overloading, I mean 'vector' in the sense of Data.Vector. Being strict in the length, its unclear to me that you can do much with infinite ones :-) Yeah, fair enough. I studied mathematics, not Haskell's Data.* hierarchy.

Re: [Haskell-cafe] Re: A few ideas about FRP and arbitrary access in time

2010-03-07 Thread Brandon S. Allbery KF8NH
On Mar 7, 2010, at 04:01 , sinelaw wrote: I don't think a deep knowledge of physics is what we lack here, at least for the question of continuous vs. discrete time. Maybe the best There is a discrete time quantum. But unless you're doing simulations at the quantum level, you really don't

[Haskell-cafe] ANNOUNCE: yesod 0.0.0 (web framework)

2010-03-07 Thread Michael Snoyman
Hello all, I'm happy to announce the first release of the Yesod Web Framework[1]. This framework has been in development for over a year and is in production use on a number of websites. The project homepage[2] provides a fairly thorough rundown of features; for here, I will suffice to say that

Re: [Haskell-cafe] vector stream fusion, inlining and compilation time

2010-03-07 Thread Jake McArthur
I've run into an issue with inlining that I'm not sure how to work around. I am instantiating some pre-existing type classes with Vector-based types. There already exist generic functions in modules I do not control that use this type class, and they are not tagged with the INLINE pragma. I am

Re: [Haskell-cafe] vector stream fusion, inlining and compilation time

2010-03-07 Thread Don Stewart
jake.mcarthur: I've run into an issue with inlining that I'm not sure how to work around. I am instantiating some pre-existing type classes with Vector-based types. There already exist generic functions in modules I do not control that use this type class, and they are not tagged with

Re: [Haskell-cafe] Haskell platform for GHC 6.12.1?

2010-03-07 Thread Han Joosten
Hi Neil, Thanks for the file. This helps me a great deal moving to GHC 6.12.1 on my windows machine! Cheers, Han Neil Mitchell wrote: Hi Han, I uploaded my latest version which works with GHC 6.12.1: http://community.haskell.org/~ndm/temp/cabal.zip Hope it helps, Thanks, Neil

Re: [Haskell-cafe] Haskell course, training

2010-03-07 Thread Andres Loeh
Hi Günther, all going well this year I'll be able to invest some money on becoming a better Haskeller. I think I've reached the point where I need some tutoring, so provided I've got money for travel and course fees, and time, where do I get it? I'm not a student so some courses aren't