Re: [Haskell-cafe] haskell-src type inference algorithm?

2010-02-12 Thread Lennart Augustsson
Well, something like such a tool exists, but I can't give it away. On Fri, Feb 12, 2010 at 12:13 AM, Niklas Broberg niklas.brob...@gmail.com wrote: Anyone know of a type inference utility that can run right on haskell-src types? or one that could be easily adapted? This is very high on my

Re: [Haskell-cafe] Re: Haskell-Cafe Digest, Vol 78, Issue 14

2010-02-12 Thread Maciej Piechotka
On Thu, 2010-02-11 at 17:49 -0600, John Lato wrote: On Thu, Feb 11, 2010 at 10:00 AM, Gregory Collins g...@gregorycollins.net wrote: Maciej Piechotka uzytkown...@gmail.com writes: On Tue, 2010-02-09 at 16:41 +, John Lato wrote: See

Re: [Haskell-cafe] haskell-src type inference algorithm?

2010-02-12 Thread Niklas Broberg
On Fri, Feb 12, 2010 at 10:14 AM, Lennart Augustsson lenn...@augustsson.net wrote: Well, something like such a tool exists, but I can't give it away. I know. :-) /Niklas ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] vector to uvector and back again

2010-02-12 Thread Dan Doel
On Thursday 11 February 2010 8:54:15 pm Dan Doel wrote: On Thursday 11 February 2010 12:43:10 pm stefan kersten wrote: On 10.02.10 19:03, Bryan O'Sullivan wrote: I'm thinking of switching the statistics library over to using vector. that would be even better of course! an O(0) solution,

Re: [Haskell-cafe] Re: How many Haskell Engineer I/II/IIIs are there?

2010-02-12 Thread Matthias Görgens
It might be big for SoC but perhaps there's some well-defined subset, like fix some blocking issue? Good idea. By the way, do all SoC projects have to be single-contributor projects, or could someone get together with a friend and work together on a somewhat larger project?

Re: [Haskell-cafe] Re: Haskell-Cafe Digest, Vol 78, Issue 14

2010-02-12 Thread John Lato
On Fri, Feb 12, 2010 at 10:32 AM, Maciej Piechotka uzytkown...@gmail.com wrote: On Thu, 2010-02-11 at 17:49 -0600, John Lato wrote: On Thu, Feb 11, 2010 at 10:00 AM, Gregory Collins g...@gregorycollins.net wrote: Maciej Piechotka uzytkown...@gmail.com writes: On Tue, 2010-02-09 at 16:41

Re: [Haskell-cafe] Re: How many Haskell Engineer I/II/IIIs are there?

2010-02-12 Thread Malcolm Wallace
On 12 Feb 2010, at 12:32, Matthias Görgens wrote: It might be big for SoC but perhaps there's some well-defined subset, like fix some blocking issue? Good idea. By the way, do all SoC projects have to be single-contributor projects, or could someone get together with a friend and work

Re: [Haskell-cafe] vector to uvector and back again

2010-02-12 Thread Roman Leshchinskiy
On 12/02/2010, at 23:28, Dan Doel wrote: On Thursday 11 February 2010 8:54:15 pm Dan Doel wrote: On Thursday 11 February 2010 12:43:10 pm stefan kersten wrote: On 10.02.10 19:03, Bryan O'Sullivan wrote: I'm thinking of switching the statistics library over to using vector. that would be

[Haskell-cafe] ANN: hmatrix 0.8.3

2010-02-12 Thread Alberto Ruiz
Hello, I have released a new version of hmatrix, a library for numeric computation based on LAPACK, BLAS and GSL. Recent developments include improved SVD functions, a simple ODE solver, easier OS/X installation (thanks to H. Apfelmus), and updated tutorial. hackage :

[Haskell-cafe] Re: How many Haskell Engineer I/II/IIIs are there?

2010-02-12 Thread Simon Marlow
On 11/02/2010 17:01, John Van Enk wrote: Here's the paper: http://comjnl.oxfordjournals.org/cgi/content/abstract/33/5/466 Can you say a bit about why that GC fits your needs? Must it be that particular algorithm? I don't seem to be able to find the paper online. Replacing GHC's RTS is no

[Haskell-cafe] Re: How many Haskell Engineer I/II/IIIs are there?

2010-02-12 Thread John Van Enk
I _think_ that the abstract points out that reference-counted garbage collection can be done deterministically. Haskell could some day be an excellent replacement for C/Ada in safety critical markets, but some serious changes to the RTS (most having to do with memory allocation, garbage

[Haskell-cafe] Re: ANN: Dungeons of Wor - a largish FRP example and a fun game, all in one!

2010-02-12 Thread yair...@gmail.com
On Feb 12, 4:22 am, Simon Michael si...@joyful.com wrote: Exciting! But on a mac, I can't get the window to become focussed or accept input. Tips ? Tips: $ cabal install mkbndl $ cd ~/.cabal/bin $ mkbndl dow $ open Dow.app Ok, but you need to click the right control key to select stuff on the

[Haskell-cafe] Re: How many Haskell Engineer I/II/IIIs are there?

2010-02-12 Thread Simon Marlow
On 11/02/2010 20:57, Alp Mestanogullari wrote: It seems quite big for a 3 months project made by a student, though. No kidding :-) I last rewrote the RTS in 1998: http://www.mail-archive.com/glasgow-haskell-us...@haskell.org/msg00329.html So as you can see from that announcement, it took a

Re: [Haskell-cafe] Re: How many Haskell Engineer I/II/IIIs are there?

2010-02-12 Thread stefan kersten
On 12.02.10 16:29, Simon Marlow wrote: I'm aware that some people need a GC with shorter pause times. We'll probably put that on the roadmap at some point. for some applications (like realtime audio processing) it would be interesting to even have short pause times with a guaranteed upper

[Haskell-cafe] Re: How many Haskell Engineer I/II/IIIs are there?

2010-02-12 Thread Simon Marlow
On 12/02/2010 15:45, John Van Enk wrote: I _think_ that the abstract points out that reference-counted garbage collection can be done deterministically. Haskell could some day be an excellent replacement for C/Ada in safety critical markets, but some serious changes to the RTS (most having to do

[Haskell-cafe] Re: How many Haskell Engineer I/II/IIIs are there?

2010-02-12 Thread Simon Marlow
On 11/02/2010 21:55, Evan Laforge wrote: On Thu, Feb 11, 2010 at 1:49 PM, John Van Enkvane...@gmail.com wrote: Perhaps just defining the interface and demonstrating that different RTS's are swappable would be enough? I read a paper by (I think) a Simon, in which he described a haskell RTS.

Re: [Haskell-cafe] Haskell RPC / Cluster

2010-02-12 Thread Robert Greayer
Perhaps not exactly what you're after, but at least in the same vein: http://hackage.haskell.org/package/hspread http://www.spread.org/ On Fri, Feb 12, 2010 at 8:19 AM, Rick R rick.richard...@gmail.com wrote: I am preparing to embark on some serious cluster oriented coding (high availability,

[Haskell-cafe] Infix and postfix operators in Parsec

2010-02-12 Thread Xinyu Jiang
I'm writing a parser for a Haskell-style language, and when I need to use the same symbol for infix, prefix and postfix operators, the combinator buildExpressionParser seems not to work as intended. For example, in: (1)x + y (2)x + (3)+ x If I set the priority of the postfix version of + to be

[Haskell-cafe] Re: Infix and postfix operators in Parsec

2010-02-12 Thread Christian Maeder
It seems that the case of identical postfix and infix operators was not considered. So I recommend to write something from scratch. Cheers Christian Xinyu Jiang schrieb: I'm writing a parser for a Haskell-style language, and when I need to use the same symbol for infix, prefix and postfix

[Haskell-cafe] Re: Infix and postfix operators in Parsec

2010-02-12 Thread Christian Maeder
Parse a sequence of primitive expressions first and then do fixity resolution independent from Parsec. C. Christian Maeder schrieb: It seems that the case of identical postfix and infix operators was not considered. So I recommend to write something from scratch. Cheers Christian Xinyu

Re: [Haskell-cafe] Using Cabal during development

2010-02-12 Thread Jonathan Rockway
* On Tue, Feb 09 2010, Johan Tibell wrote: On Tue, Feb 9, 2010 at 6:10 AM, Ketil Malde ke...@malde.org wrote: Limestraël limestr...@gmail.com writes: how do usually Haskell developpers build their softwares (and especially medium or big libraries) while they are still

[Haskell-cafe] MissingH dropped QuickCheck dep

2010-02-12 Thread John Goerzen
On Fri, Feb 12, 2010 at 08:45:09AM -0800, John MacFarlane wrote: +++ thomas hartman [Feb 11 10 21:07 ]: gitit on hackage is still blocked because of dependency on missingh, which depends on qc1. Not an easy fix -- I couldn't figure out how to migrate testpack to qc2. However, missingh

[Haskell-cafe] Re: sendfile leaking descriptors on Linux?

2010-02-12 Thread Bardur Arantsson
Jeremy Shaw wrote: import Control.Concurrent import Control.Concurrent.MVar import System.Posix.Types data RW = Read | Write threadWaitReadWrite :: Fd - IO RW threadWaitReadWrite fd = do m - newEmptyMVar rid - forkIO $ threadWaitRead fd putMVar m Read wid - forkIO $

Re: [Haskell-cafe] Time for a San Francisco Hackathon?

2010-02-12 Thread Jason Dusek
I'd help organize. How do these usually work? Some worthy package is selected for hacking? People hack whatever they like? -- Jason Dusek ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: How many Haskell Engineer I/II/IIIs are there?

2010-02-12 Thread Jason Dusek
2010/02/12 stefan kersten s...@k-hornz.de: On 12.02.10 16:29, Simon Marlow wrote: I'm aware that some people need a GC with shorter pause times.  We'll probably put that on the roadmap at some point. for some applications (like realtime audio processing) it would be interesting to even

[Haskell-cafe] Re: MissingH dropped QuickCheck dep

2010-02-12 Thread Don Stewart
jgoerzen: On Fri, Feb 12, 2010 at 08:45:09AM -0800, John MacFarlane wrote: +++ thomas hartman [Feb 11 10 21:07 ]: gitit on hackage is still blocked because of dependency on missingh, which depends on qc1. Not an easy fix -- I couldn't figure out how to migrate testpack to qc2.

[Haskell-cafe] Re: MissingH dropped QuickCheck dep

2010-02-12 Thread John Goerzen
Don Stewart wrote: Excellent! Would it be possible to disable the runtests executable by default? Enable it only with a conditional? It's been that way for quite some time now: Executable runtests Buildable: False heh, and I didn't even add a flag for it yet like I have with HDBC. Guess

Re: [Haskell-cafe] Type arithmetic with ATs/TFs

2010-02-12 Thread Andrew Coppin
Ryan Ingram wrote: Actually, at least in GHC, associated types are just syntax sugar for type families. That is, this code: class Container c where type Element c :: * view :: c - Maybe (Element c,c) instance Container [a] where type Element [a] = a view [] = Nothing view

Re: [Haskell-cafe] Type arithmetic with ATs/TFs

2010-02-12 Thread Andrew Coppin
Robert Greayer wrote: What Ryan said, and here's an example of addition with ATs, specifically (not thoroughly tested, but tested a little). The translation to TFs sans ATs is straightforward. class Add a b where type SumType a b instance Add Zero Zero where type SumType Zero Zero =

Iteratee and parsec (was: Re: [Haskell-cafe] Re: Haskell-Cafe Digest, Vol 78, Issue 14)

2010-02-12 Thread Maciej Piechotka
On Fri, 2010-02-12 at 12:51 +, John Lato wrote: Yes, the remaining part will be returned, but the consumed portion is lost. I couldn't figure out how to solve that problem other than cacheing everything. I decided to post the new code on webpage

Re: [Haskell-cafe] Re: How many Haskell Engineer I/II/IIIs are there?

2010-02-12 Thread Andrew Coppin
Simon Marlow wrote: On 11/02/2010 20:57, Alp Mestanogullari wrote: It seems quite big for a 3 months project made by a student, though. No kidding :-) I last rewrote the RTS in 1998: but even so, it was about 20k lines. Man, that's at least two orders of magnitude larger than anything

Re: [Haskell-cafe] Type arithmetic with ATs/TFs

2010-02-12 Thread Robert Greayer
On Fri, Feb 12, 2010 at 2:11 PM, Andrew Coppin andrewcop...@btinternet.com wrote: OK, well in that case, I'm utterly puzzled as to why both forms exist in the first place. If TFs don't allow you to do anything that can't be done with ATs, why have them? My head hurts... I think the question

[Haskell-cafe] Call for Copy: Monad.Reader Issue 16

2010-02-12 Thread Brent Yorgey
Call for Copy: The Monad.Reader - Issue 16 -- Whether you're an established academic or have only just started learning Haskell, if you have something to say, please consider writing an article for The Monad.Reader! The submission deadline for Issue 16 will

Re: [Haskell-cafe] Type arithmetic with ATs/TFs

2010-02-12 Thread Edward Kmett
On Fri, Feb 12, 2010 at 2:11 PM, Andrew Coppin andrewcop...@btinternet.comwrote: OK, well in that case, I'm utterly puzzled as to why both forms exist in the first place. If TFs don't allow you to do anything that can't be done with ATs, why have them? My head hurts... You can say anything

[Haskell-cafe] Haskell IDEs on Windows; gtk2hs

2010-02-12 Thread Alistair Bayley
I thought I'd try some of the Haskell IDEs: eclipsefp, leksah, and yi. So far, leksah requires gtk2hs (and apparently yi can use it too?), and the latest gtk2hs installer for Windows doesn't like the latest Haskell Platform, so I'm going to try building gtk2hs from source, unless anyone tells me

Re: [Haskell-cafe] Haskell IDEs on Windows; gtk2hs

2010-02-12 Thread Daniel Fischer
Am Freitag 12 Februar 2010 22:45:10 schrieb Alistair Bayley: I thought I'd try some of the Haskell IDEs: eclipsefp, leksah, and yi. So far, leksah requires gtk2hs (and apparently yi can use it too?), and the latest gtk2hs installer for Windows doesn't like the latest Haskell Platform, so I'm

[Haskell-cafe] haddock forgets parens in type sigs?

2010-02-12 Thread Johannes Waldmann
The annotated type of update is missing parentheses: http://hackage.haskell.org/packages/archive/haskelldb/0.12/doc/html/Database-HaskellDB.html#v%3Aupdate (compare with the signature given in the source) - Best, J.W. signature.asc Description: OpenPGP digital signature

Re: [Haskell-cafe] Type arithmetic with ATs/TFs

2010-02-12 Thread Luke Palmer
On Fri, Feb 12, 2010 at 2:10 PM, Edward Kmett ekm...@gmail.com wrote: On Fri, Feb 12, 2010 at 2:11 PM, Andrew Coppin andrewcop...@btinternet.com wrote: OK, well in that case, I'm utterly puzzled as to why both forms exist in the first place. If TFs don't allow you to do anything that can't be

[Haskell-cafe] Where are the Takusen sources?

2010-02-12 Thread Jason Dagit
Hello, I wanted the takusen sources as I may want to add features. I looked on hackage and it lists this url for the repository: http://darcs.haskell.org/takusen I get a 404 on that URL. I checked Oleg's website: http://okmij.org/ftp/Haskell/misc.html#takusen And the links on that page have

Re: [Haskell-cafe] Where are the Takusen sources?

2010-02-12 Thread Brandon S. Allbery KF8NH
On Feb 12, 2010, at 18:17 , Jason Dagit wrote: I wanted the takusen sources as I may want to add features. I looked on hackage and it lists this url for the repository: http://darcs.haskell.org/takusen In general, stuff that was on darcs.haskell.org (which is being retired) seems to be

Re: [Haskell-cafe] haddock forgets parens in type sigs?

2010-02-12 Thread David Waern
2010/2/12 Johannes Waldmann waldm...@imn.htwk-leipzig.de: The annotated type of update is missing parentheses: http://hackage.haskell.org/packages/archive/haskelldb/0.12/doc/html/Database-HaskellDB.html#v%3Aupdate (compare with the signature given in the source) - Best, J.W. Already fixed in

Re: [Haskell-cafe] ANN: hmatrix 0.8.3

2010-02-12 Thread Felipe Lessa
On Fri, Feb 12, 2010 at 02:56:56PM +0100, Alberto Ruiz wrote: I have released a new version of hmatrix, a library for numeric computation based on LAPACK, BLAS and GSL. Recent developments include improved SVD functions, a simple ODE solver, easier OS/X installation (thanks to H. Apfelmus),

Re: [Haskell-cafe] Where are the Takusen sources?

2010-02-12 Thread Jason Dagit
On Fri, Feb 12, 2010 at 3:24 PM, Brandon S. Allbery KF8NH allb...@ece.cmu.edu wrote: On Feb 12, 2010, at 18:17 , Jason Dagit wrote: I wanted the takusen sources as I may want to add features. I looked on hackage and it lists this url for the repository: http://darcs.haskell.org/takusen

Re: [Haskell-cafe] haskell-src type inference algorithm?

2010-02-12 Thread John Meacham
On Fri, Feb 12, 2010 at 03:47:56PM +1100, Bernie Pope wrote: On 12 February 2010 10:13, Niklas Broberg niklas.brob...@gmail.com wrote: Anyone know of a type inference utility that can run right on haskell-src types? or one that could be easily adapted? This is very high on my wish-list

[Haskell-cafe] data-accessor-template-0.2.1.3 breaks cabal-install with ghc-6.12

2010-02-12 Thread John Lato
Hello, I've recently run across an odd situation. I have a brand new install of GHC-6.12.1 (just did a fresh install of OSX 10.6), and am reinstalling some libraries. I've run into an unusual problem. I'm not sure if this would be considered a cabal bug or not, but I don't think it's a good