RE: [Haskell-cafe] Translating Haskell to VHDL. What approach to follow?

2006-11-06 Thread Simon Peyton-Jones
| In order to get part of the work for free I decided to design the | translator as a compiler backend. The best option so far seems to be | Yhc's Core API (http://haskell.org/haskellwiki/Yhc/API/Core ), which | unfortunately lacks type information. | | I discarded GHC due to the current

Re: [Haskell-cafe] Re: Haskell-Cafe Digest, Vol 39, Issue 6

2006-11-06 Thread Magnus Therning
On Sat, Nov 04, 2006 at 17:22:31 +0100, Lemmih wrote: [..] pseq is just as bad. The problem is excessive use of strictness annotations in the hope of a magical performance improvement. Strictness annotations should be used with care and only placed where they're needed. Premature annotations for

Re: [Haskell-cafe] Fractional/negative fixity?

2006-11-06 Thread Henning Thielemann
On Sat, 4 Nov 2006, Bulat Ziganshin wrote: Hello Dan, Saturday, November 4, 2006, 5:07:15 AM, you wrote: Here's an idea that (I think) is useful and backwards compatible: fractional and negative fixity. yes, i think the same. for example, once i've tried to define postfix 'when'

Re: [Haskell-cafe] RFC and Announcement: HLADSPA, LADSPA for Haskell

2006-11-06 Thread Henning Thielemann
On Sun, 5 Nov 2006, Alfonso Acosta wrote: PS1: Big thanks and claps for the people at [EMAIL PROTECTED] . They helped a lot to make this initial release possible. PS2: I would like to get the project hosted at the darcs repository at haskell.org. Do you consider it interesting enough for it?

Re: [Haskell-cafe] RFC and Announcement: HLADSPA, LADSPA for Haskell

2006-11-06 Thread Donald Bruce Stewart
lemming: On Sun, 5 Nov 2006, Alfonso Acosta wrote: PS1: Big thanks and claps for the people at [EMAIL PROTECTED] . They helped a lot to make this initial release possible. PS2: I would like to get the project hosted at the darcs repository at haskell.org. Do you consider it

Re: [Haskell-cafe] RFC and Announcement: HLADSPA, LADSPA for Haskell

2006-11-06 Thread Alfonso Acosta
PS2: I would like to get the project hosted at the darcs repository at haskell.org. Do you consider it interesting enough for it? Yes, definitely. Could you also please add some note to http://www.haskell.org/haskellwiki/Libraries_and_tools/Music_and_sound That's something I had in mind

Re: [Haskell-cafe] Translating Haskell to VHDL. What approach to follow?

2006-11-06 Thread Alfonso Acosta
On 11/6/06, Neil Mitchell [EMAIL PROTECTED] wrote: Can you explain more about the declare the interface remark? I suspect this can be acheived with Yhc using the signatures from the .hi files, or embeding the information with our typerep Haskell extension. I think you're correctly suspecting

[Haskell-cafe] Livecoding music in Haskell

2006-11-06 Thread Donald Bruce Stewart
Alex McLean has kindly put up a screencast of him creating *music via live coding in Haskell* ! http://doc.gold.ac.uk/~ma503am/alex/haskellmusic And a .avi version of the screencast, playable in mplayer (for those not flash inclined). http://yaxu.org/20/hs.avi The code is running in

Re: [Haskell-cafe] Livecoding music in Haskell

2006-11-06 Thread Alfonso Acosta
Absolutely cool I knew about hs-plugins but I didn't know that the plugin code could be reloaded on the fly. Impressive. On 11/6/06, Donald Bruce Stewart [EMAIL PROTECTED] wrote: Alex McLean has kindly put up a screencast of him creating *music via live coding in Haskell* !

[Haskell-cafe] Vectors and Matrices

2006-11-06 Thread dBuchmann
Is there a library implementing vectors and matrices in a possible elegant manner. Even perhaps with Tensor-/Kronecker-Product and Scalar-Product. greetings. _ [EMAIL PROTECTED]; visit http://filzbits.de ___

Re: [Haskell-cafe] Vectors and Matrices

2006-11-06 Thread Henning Thielemann
On Mon, 6 Nov 2006 [EMAIL PROTECTED] wrote: Is there a library implementing vectors and matrices in a possible elegant manner. Even perhaps with Tensor-/Kronecker-Product and Scalar-Product. greetings. http://www.haskell.org/haskellwiki/Libraries_and_tools/Mathematics

Re[2]: [Haskell-cafe] Re: Haskell-Cafe Digest, Vol 39, Issue 6

2006-11-06 Thread Bulat Ziganshin
Hello Magnus, Monday, November 6, 2006, 1:08:44 PM, you wrote: How do one find good places to use strictness annotations? (Is using a profiler the answer, just like it's the answer for manual optimisation in non-lazy languages?) the only way i know is to plug pray :) btw, a few weeks ago

[Haskell-cafe] How to design default implementations of type class methods?

2006-11-06 Thread Henning Thielemann
I like to hear some opinions about how to implement class method defaults. Let's consider the following example: I want to classify types which allow for computation of the greatest common divisor. The greatest common divisor can be computed by Euclid's algorithm in some cases (integers,

Re: [Haskell-cafe] How to design default implementations of type class methods?

2006-11-06 Thread Matthias Fischmann
i haven't thought this through, but a variant of your first option may be to factor out extendedGCD into a class PIDEXT that is a parent of PID (occurs in the context of the declaration of PID). this way both methods will be available in PID. advantages: the dependencies are a little more

Re: [Haskell-cafe] Fractional/negative fixity?

2006-11-06 Thread Carl Witty
On Fri, 2006-11-03 at 18:07 -0800, Dan Weston wrote: Here's an idea that (I think) is useful and backwards compatible: fractional and negative fixity. There have been 3 separate times where I've wanted an operator just above 0 ($) but less than 1 (= or ), or else just below 0 (like a

[Haskell-cafe] [ghc 6.6] Where is FGL now?

2006-11-06 Thread Stephane Bortzmeyer
In ghc 6.4, I used Data.Graph.Inductive (aka FGL): % ghc-pkg list /usr/lib/ghc-6.4/package.conf: ... fgl-5.2, ... In ghc 6.6, it seems it disappeared. ghc-pkg list does not show it, the compiler says Could not find module `Data.Graph.Inductive' but it is still documented in

[Haskell-cafe] Re: [ghc 6.6] Where is FGL now?

2006-11-06 Thread Stephane Bortzmeyer
On Mon, Nov 06, 2006 at 09:37:32PM +0100, Stephane Bortzmeyer [EMAIL PROTECTED] wrote a message of 15 lines which said: In ghc 6.6, it seems it disappeared. OK, sorry for the false alarm, I've found it: http://www.haskell.org/ghc/dist/6.6/ghc-6.6-src-extralibs.tar.bz2 For those who use

Re: [Haskell-cafe] Livecoding music in Haskell

2006-11-06 Thread alex
On Tue, 2006-11-07 at 01:22 +1100, Donald Bruce Stewart wrote: Alex McLean has kindly put up a screencast of him creating *music via live coding in Haskell* ! http://doc.gold.ac.uk/~ma503am/alex/haskellmusic delurk Thanks Don! I originally did this screencast a while ago for a 6 minute

Re[2]: [Haskell-cafe] Fractional/negative fixity?

2006-11-06 Thread Bulat Ziganshin
Hello Henning, Monday, November 6, 2006, 1:27:54 PM, you wrote: print msg `on` mode==debug but failed because my code frequently contains '$' and there is no way to define operation with a lower precedence This could be solved by the solutions proposed in this thread:

[Haskell-cafe] aggressiveness of functional dependencies

2006-11-06 Thread Nicolas Frisby
I have a question about functional dependencies, instance contexts, and type inference. A specific example and question is in the attached code. In brief the question is: to what degree does type inference use the functional dependencies of an instance's class and context? I believe I am wishing