Matlab/BLAS/LAPack and Re: [Haskell-cafe] Mathematics in Haskell Re: Why the Prelude must Die

2007-04-03 Thread Alexander McPhail
Since I brought this up (search haskell' list) I should probably volunteer to help. If people agree I can coordinate an effort to build a mathematically sound hierarchy. Unfortunately my mathematical knowledge is less than ideal for this purpose (I am actively remedying this at university).

Re: [Haskell-cafe] Josephus problem and style

2007-04-03 Thread Anthony Chaumas-Pellet
Thanks for your comments everyone! There is one point that has left me puzzled, though. From: Ross Paterson [EMAIL PROTECTED] You show a bias towards tail recursion. It would be neater (and lazier) to return the executed ones incrementally. This is easier if you don't distinguish the

[Haskell-cafe] Re: Matlab/BLAS/LAPack

2007-04-03 Thread Ferenc Wagner
Alexander McPhail [EMAIL PROTECTED] writes: I am embarking on a project to bind to CBLAS and CLAPack. Do you know of http://www.cs.utah.edu/~hal/HBlas/index.html ? -- Feri. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Mathematics in Haskell Re: Why the Prelude must die

2007-04-03 Thread Henning Thielemann
On Mon, 2 Apr 2007, jasonm wrote: Jacques Carette wrote: perhaps i was mistaken in thinking that there is a group of math-interested haskellers out there discussing, developing, and documenting the area? or perhaps that group needs introductory tutorials presenting its work? My

Re: [Haskell-cafe] Re: Matlab/BLAS/LAPack

2007-04-03 Thread Henning Thielemann
On Tue, 3 Apr 2007, Ferenc Wagner wrote: Alexander McPhail [EMAIL PROTECTED] writes: I am embarking on a project to bind to CBLAS and CLAPack. Do you know of http://www.cs.utah.edu/~hal/HBlas/index.html ? ... not to forget GSLHaskell and

Re: [Haskell-cafe] Josephus problem and style

2007-04-03 Thread Malcolm Wallace
Anthony Chaumas-Pellet [EMAIL PROTECTED] wrote: From: Ross Paterson [EMAIL PROTECTED] You show a bias towards tail recursion. It would be neater (and lazier) to return the executed ones incrementally. Why is tail recursion a bad thing for a finite function? Tail recursion tends to

[Haskell-cafe] was Re: ANN: HSH 1.2.0

2007-04-03 Thread Thomas Hartman
I'm still trying to figure out how to do this on ubuntu. If this winds up being a garden path I'll try on debian next, but at least I'm learning a lot about getting haskell stuff built. Anyway, since I'm on a virtualized linux box, I decided to get a fresh start, unmounted my original OS profile

[Haskell-cafe] Re: was Re: ANN: HSH 1.2.0

2007-04-03 Thread Thomas Hartman
That was a pretty badly titled top thead, which I regret -- probably should have been something like figuring out how to track down and install packages in haskell, using ubuntu /deb-- was Ann:: HSH. To give additional context, this started out as

[Haskell-cafe] Re: was Re: ANN: HSH 1.2.0

2007-04-03 Thread Thomas Hartman
actually, maybe I'm more okay than I thought. I originally did this without reading the INSTALL file, and built using the process I have gotten used to: runghc Setup.hs configure; runghc Setup.hs build; runghc Setup.hs install. But when I followed the directions in the INSTALL file ... make

[Haskell-cafe] Re: was Re: ANN: HSH 1.2.0

2007-04-03 Thread Thomas Hartman
never mind. Prelude HSH run $ (ls, [.]) :: IO String COPYING\nCOPYRIGHT\nHSH\nHSH.cabal\nHSH.hi\nHSH.hs\nHSH.o\nINSTALL\nMakefile\nSetup.hi\nSetup.lhs\nSetup.o\n_darcs\ndebian\ndist\nsetup\ntest.hs\ntest2.hs\ntestsrc\n I guess I got it installed. Only thing is you (jgoerzen) might want to

Re: [Haskell-cafe] Re: ANN: HSH 1.2.0

2007-04-03 Thread Thomas Hartman
resolved issue at http://groups.google.de/group/fa.haskell/browse_thread/thread/ceabae2c3fdc8abc/5ab21d4ae2a9b1fc?lnk=stq=hsh++tphyahoornum=5hl=en#5ab21d4ae2a9b1fc 2007/4/2, Thomas Hartman [EMAIL PROTECTED]: Well, I guess I spoke to soon. After building ghc6 from feisty as described above, I

Re: [Haskell-cafe] Mathematics in Haskell Re: Why the Prelude must die

2007-04-03 Thread Jason Morton
NumericPrelude does seem like a good starting point for discussion and addition. Is it still being actively developed, and what are the goals there? On 4/3/07, Henning Thielemann [EMAIL PROTECTED] wrote: On Mon, 2 Apr 2007, jasonm wrote: Jacques Carette wrote: perhaps i was mistaken in

Re: [Haskell-cafe] Mathematics in Haskell Re: Why the Prelude must die

2007-04-03 Thread Henning Thielemann
On Tue, 3 Apr 2007, Jason Morton wrote: NumericPrelude does seem like a good starting point for discussion and addition. Is it still being actively developed, slowly but actively and what are the goals there? A more sophisticated numeric type class hierarchy. However it contains also some

[Haskell-cafe] SmallCheck and parser testing

2007-04-03 Thread Joel Reymont
Folks, I'm trying to figure out how to test a Parsec-based parser with Smallcheck [1]. My test AST is below and the goal is to return StyleValue Int here if the parser is fed an integer, or return Solid when parsing Solid, etc. data Style = StyleValue Expr | Solid | Dashed

[Haskell-cafe] RE: A question about functional dependencies and existential quantification

2007-04-03 Thread Simon Peyton-Jones
| class T root pos sel | pos - root, root - sel where | f :: pos - sel - Bool | | instance T root (Any root) sel where | f (ANY p) s = f p s ... | That is not surprising. What is surprising is why GHC 6.6 accepts such | an instance? Well, it shouldn't. As the user manual says,

Re: [Haskell-cafe] SmallCheck and parser testing

2007-04-03 Thread Spencer Janssen
On Tue, 3 Apr 2007 16:01:56 +0100 Joel Reymont [EMAIL PROTECTED] wrote: Folks, I'm trying to figure out how to test a Parsec-based parser with Smallcheck [1]. My test AST is below and the goal is to return StyleValue Int here if the parser is fed an integer, or return Solid when

Re: [Haskell-cafe] SmallCheck and parser testing

2007-04-03 Thread Paul Johnson
On Tue, 3 Apr 2007 16:01:56 +0100 Joel Reymont [EMAIL PROTECTED] wrote: Folks, I'm trying to figure out how to test a Parsec-based parser with Smallcheck [1]. My test AST is below and the goal is to return StyleValue Int here if the parser is fed an integer, or return Solid when parsing

[Haskell-cafe] `Expect'-like lazy reading/Parsec matching on TCP sockets

2007-04-03 Thread Scott Bell
Hello all, I'm writing an application to interact with other applications remotely though TCP sockets (primarily), and in the future with local apps also. So far I have a Parsec parser to match the input that I want to see, which works if the remote connection is particularly speedy - but the

Re: [Haskell-cafe] `Expect'-like lazy reading/Parsec matching on TCP sockets

2007-04-03 Thread Bulat Ziganshin
Hello Scott, Wednesday, April 4, 2007, 1:54:27 AM, you wrote: Match the Parsec parser against the input as soon as a match is available, but fail if the match is unavailable after a timeout value if no further data is available on the socket. one possible solution: use Streams library and

[Haskell-cafe] ANN: Atom - Yet another Haskell HDL

2007-04-03 Thread Tom Hawkins
Hi, Haskell has a rich history of embedded hardware description languages. Here's one more for the list. Inspired by the work of Arvind, Hoe, and all the sharp folks at Bluespec, Atom is a small HDL that compiles conditional term rewriting systems down to Verilog RTL. In Atom, a circuit

[Haskell-cafe] Memory leak in streaming parser

2007-04-03 Thread Oren Ben-Kiki
I refactored the code and uploaded a new version to Hackage (YamlReference-0.2). It is cleaner now and much more efficient. It is still leaking memory though. The profiler hints at bindReply as the culprit retaining State and Reply objects, but it isn't clear to me why the code would do that.