RE: [Haskell-cafe] FPGA / Lava and haskell

2008-07-12 Thread John O'Donnell
Hello, Here are some more references relevant to ForSyDe, which looks very interesting! The following paper describes the first version of Hydra, a functional hardware description language which has gone through many versions, using several different functional languages. Hydra uses streams for

[Haskell-cafe] ANNOUNCE: vector 0.1 (efficient arrays with lots of fusion)

2008-07-12 Thread Roman Leshchinskiy
Hi all, the vector library will eventually provide fast, Int-indexed arrays with a powerful fusion framework. It's very immature at the moment (I haven't tested most of the code) and implements just a few combinators but I thought releasing early wouldn't hurt. Use at your own risk and

Re: [Haskell-cafe] ANNOUNCE: vector 0.1 (efficient arrays with lots of fusion)

2008-07-12 Thread Bulat Ziganshin
Hello Roman, Saturday, July 12, 2008, 7:01:05 PM, you wrote: the vector library will eventually provide fast, Int-indexed arrays with a powerful fusion framework. GREAT! doom4 would be written in Haskell! -- Best regards, Bulatmailto:[EMAIL PROTECTED]

Re: [Haskell-cafe] ANNOUNCE: vector 0.1 (efficient arrays with lots of fusion)

2008-07-12 Thread Sebastian Sylvan
On 7/12/08, Roman Leshchinskiy [EMAIL PROTECTED] wrote: Hi all, the vector library will eventually provide fast, Int-indexed arrays with a powerful fusion framework. It's very immature at the moment (I haven't tested most of the code) and implements just a few combinators but I thought

[Haskell-cafe] Human-friendly compiler errors for GHC

2008-07-12 Thread Max Bolingbroke
I had some free time this afternoon so I put together an (experimental) patch for GHC that implements helpful errors messages. Have a look at this GHCi session to see what I mean: $ stage2/ghc-inplace --interactive -fhelpful-errors GHCi, version 6.9.20080711: http://www.haskell.org/ghc/ :? for

Re: [Haskell-cafe] Human-friendly compiler errors for GHC

2008-07-12 Thread Max Bolingbroke
Personally, I would suggest make it take up less space. A newline for each match may be alright if there are only 3 suggestions, but past that it begins to take up too much of the screen. Columns are nice, or perhaps a limit on how many matches will be displayed (with more available if the

Re: [Haskell-cafe] Human-friendly compiler errors for GHC

2008-07-12 Thread Evan Laforge
What do you think about this feature? Would it be genuinely helpful or annoying? It could be handy if it understands qualified names. Occasionally typos e.g. just now Confg.default_x are surprisingly hard to see and I go around making sure Config is imported, making sure it exports default_x,

Re: [Haskell-cafe] ANNOUNCE: vector 0.1 (efficient arrays with lots of fusion)

2008-07-12 Thread Roman Leshchinskiy
Sebastian Sylvan wrote: Is there any more (easily-digested, like a paper) information available about this? Specifically what things can happen in-place, and future extensions... Apart from the stream fusion papers, unfortunately no, it's all very much work in progress. Basically, at the

Re: [Haskell-cafe] Human-friendly compiler errors for GHC

2008-07-12 Thread Max Bolingbroke
2008/7/12 Evan Laforge [EMAIL PROTECTED]: What do you think about this feature? Would it be genuinely helpful or annoying? It could be handy if it understands qualified names. Occasionally typos e.g. just now Confg.default_x are surprisingly hard to see and I go around making sure Config

Re: [Haskell-cafe] Template Haskell and haskell-src-exts

2008-07-12 Thread Niklas Broberg
Can one represent the ''Type template Haskell syntax of $( makeMergeable ''FileDescriptorProto ) in haskell-src.exts Language.Haskell.Exts.Syntax ? And what are the HsReify data (e.g. HsReifyType and HsReifyDecl and HsReifyFixity )? I don't see any pretty print capability to

Re: [Haskell-cafe] Human-friendly compiler errors for GHC

2008-07-12 Thread Luke Palmer
On Sat, Jul 12, 2008 at 10:44 AM, Max Bolingbroke [EMAIL PROTECTED] wrote: I had some free time this afternoon so I put together an (experimental) patch for GHC that implements helpful errors messages. Have a look at this GHCi session to see what I mean: $ stage2/ghc-inplace --interactive

Re: [Haskell-cafe] Profiling nested case

2008-07-12 Thread Mitar
Hi! (I will reply propely later, I have a project to finish and GHC is playing me around and does not want to cooperate.) This project of mine is getting really interesting. Is like playing table tennis with GHC. Some time it gives a nice ball, sometimes I have to run around after it. But I just

Re: [Haskell-cafe] Profiling nested case

2008-07-12 Thread Luke Palmer
On Sat, Jul 12, 2008 at 8:57 PM, Mitar [EMAIL PROTECTED] wrote: julia4DFractal :: BasicReal - World julia4DFractal param (x,y,z) = julia4D (Q (x / scale) (y / scale) (z / scale) param) iterations where c = (Q (-0.08) 0.0 (-0.8) (-0.03)) alphaBlue = VoxelColor 0 0 (2 / scale)

Re: [Haskell-cafe] Profiling nested case

2008-07-12 Thread Mitar
Hi! My guess is that it was premature optimization that created this bug. It is the root of all evil. ;-) Unboxed tuples are not the best answer for every situation. They are evaluated strictly! Then I have not understood the last paragraph correctly:

Re: [Haskell-cafe] ANNOUNCE: vector 0.1 (efficient arrays with lots of fusion)

2008-07-12 Thread Don Stewart
bulat.ziganshin: Hello Roman, Saturday, July 12, 2008, 7:01:05 PM, you wrote: the vector library will eventually provide fast, Int-indexed arrays with a powerful fusion framework. GREAT! doom4 would be written in Haskell! Did you know about Cheplyaka's Summer of Code project to build

Re: [Haskell-cafe] Galois Tech Talks: Stream Fusion for Haskell Arrays

2008-07-12 Thread Don Stewart
johan.tibell: On Sat, Jul 12, 2008 at 12:13 AM, Don Stewart [EMAIL PROTECTED] wrote: Just a quick note about next week's Galois Tech Talk. Now that Galois has completed its move into downtown Portland, and a shiny new, centrally located, office space, we're opening up our tech talk series

Re: [Haskell-cafe] Human-friendly compiler errors for GHC

2008-07-12 Thread Max Bolingbroke
That's pretty cool. Unfortunately in my early Haskell days the 'not in scope' errors were the only ones I _did_ understand. Heh :-) It would be nice to human-friendlify the other types of errors. I'm not judging your work though, this is helpful, and the other types of errors are of

Re: [Haskell-cafe] Re: QuickCheck [Architecturally flawed]

2008-07-12 Thread Ryan Ingram
I think you can use the duality of Writer/Reader to help you here; you have the law that, for suitable dual computations r and w, run_reader r (run_writer (w x)) == x Then you can build up a list of rules specifying which computations are dual; read64 is dual to write64, for example. You can

Re: [Haskell-cafe] Human-friendly compiler errors for GHC

2008-07-12 Thread wren ng thornton
Max Bolingbroke wrote: Agreed: I've implemented this too. I've also added fuzzy matching to package search: $ stage2/ghc-inplace --make ../Test1.hs ../Test1.hs:3:7: Could not find module `Data.Lost': Use -v to see a list of the files searched for. Maybe you meant `Data.List'