Re: [Haskell-cafe] Arrow combinator names

2008-02-19 Thread Wolfgang Jeltsch
Am Montag, 18. Februar 2008 04:37 schrieb Tom Davies: Are there generally accepted English language names for the arrow combinators? compose? pair? etc... I call “sequence”. Best wishes, Wolfgang ___ Haskell-Cafe mailing list

[Haskell-cafe] Re: a help for install

2008-02-19 Thread Wolfgang Jeltsch
Am Montag, 18. Februar 2008 19:46 schrieb Carlos Gomez A.: hi, my name is carlos I need information for correct installor what are dependencies on ghc ? I have a Debian System. Always use your distribution’s packages until they aren’t any or there is good reason not to do so. Try

Re: [Haskell-cafe] Where does ~ come from?

2008-02-19 Thread Wolfgang Jeltsch
Am Sonntag, 17. Februar 2008 14:41 schrieb Neil Mitchell: Hi 2) You would hope there is a quick way to search those symbols. But most search engines do not treate symbols friendly, often just ignore them. I typed ~ in Hoogle, it also returned nothing. 3) If the module defining the symbol

Re: [Haskell-cafe] build-depends contraints in a .cabal file

2008-02-19 Thread Duncan Coutts
On Mon, 2008-02-18 at 20:05 -0600, Antoine Latter wrote: Can I specify an equality constraint in the build-depends field of a .cabal file? This would say that I want one specific version (because all the rest of my packages are compiled against that version and I'm getting type-checking

Re: [Haskell-cafe] build-depends contraints in a .cabal file

2008-02-19 Thread Wolfgang Jeltsch
Am Dienstag, 19. Februar 2008 03:05 schrieb Antoine Latter: Can I specify an equality constraint in the build-depends field of a .cabal file? This would say that I want one specific version (because all the rest of my packages are compiled against that version and I'm getting type-checking

Re: [Haskell-cafe] Stack overflow

2008-02-19 Thread Adrian Hey
Philip Armstrong wrote: On Mon, Feb 18, 2008 at 05:56:41PM +, Adrian Hey wrote: Philip Armstrong wrote: On Sun, Feb 17, 2008 at 10:01:14PM +, Adrian Hey wrote: BTW, I find this especially ironic as fromDistinctAscList is the perfect example what I was talking about in another thread

Re: [Haskell-cafe] Re: Doubting Haskell

2008-02-19 Thread Wolfgang Jeltsch
Am Sonntag, 17. Februar 2008 10:12 schrieb Colin Paul Adams: The mnemonics is that Right x is right in the sense of correct. So, the error case has to be Left err . As I said, this is sinister (i.e. regarding left-handed people as evil). I hardly can believe that you mean this seriously. Do

Re: [Haskell-cafe] Arrows: definition of pure arr

2008-02-19 Thread Wolfgang Jeltsch
Am Sonntag, 17. Februar 2008 14:32 schrieb Peter Verswyvelen: I don't get why the name isn't arrow instead of arr... Arr reminds me of pirates, arrrhh ;-) I guess first was chosen because fst was already taken, but then it would be logical to choose arrow instead of arr ;-) arr has two

[Haskell-cafe] Re: Haskell maximum stack depth

2008-02-19 Thread Adrian Hey
Simon Marlow wrote: The point is, GHC has no such thing as the overall program memory limit unless by that you mean the total amount of memory + swap in your machine. You can set a limit with +RTS -M, but there isn't one by default. So what happens when you write a program with a space leak

[Haskell-cafe] Selecting Array type

2008-02-19 Thread Jeff φ
I'm trying to create a type called SmartArray. It is a type synonym for an array. If the element type can be unboxed, then SmartArray is an unboxed array. Otherwise, it is a boxed array. For instance, (SmartArray Int Double) is the same as (UArray Int Double) (SmartArray Int String) is the

RE: [Haskell-cafe] Arrows: definition of pure arr

2008-02-19 Thread Peter Verswyvelen
Ah, pure stands for pure arrow. I found this confusing since I consider all functions in Haskell (except unsafeXXX and maybe IO) to be pure. So pureArrow would be good but is so lng ;-) Actually, if you look at the way OO programmers design code, they usually choose long descriptive names,

RE: [Haskell-cafe] Arrows: definition of pure arr

2008-02-19 Thread Henning Thielemann
On Tue, 19 Feb 2008, Peter Verswyvelen wrote: But when I show typical Haskell code to object-oriented friends of mine, they get scared because it looks like math, with all the symbols and short names. They will feel like a C programmer looking at C++ code, wondering how the heck an output

Re: [Haskell-cafe] Arrows: definition of pure arr

2008-02-19 Thread Peter Verswyvelen
Exactly. And that must be one of the reasons the Java designers said no to operator overloading? That kind of programmers just don't like operators I guess. But we do :-) Although I would prefer nice math symbols and layout instead of the :~ ASCII art. Thielemann wrote: On Tue, 19 Feb 2008,

Re: [Haskell-cafe] Arrows: definition of pure arr

2008-02-19 Thread Justin Bailey
On Feb 19, 2008 8:04 AM, Peter Verswyvelen [EMAIL PROTECTED] wrote: Actually, if you look at the way OO programmers design code, they usually choose long descriptive names, like FindElementByName. Most Haskell people seem more math oriented and use very short names, like fst and snd (which

[Haskell-cafe] Re: Selecting Array type

2008-02-19 Thread Jeff φ
I apologize if this has already been posted. I sent the following message several hours ago and I haven't seen it post. So, I'm resending. I'm trying to create a type called SmartArray. It is a type synonym for an array. If the element type can be unboxed, then SmartArray is an unboxed array.

Re: [Haskell-cafe] Re: Implementing fixed-sized vectors (using datatype algebra?)

2008-02-19 Thread Alfonso Acosta
On Feb 14, 2008 10:40 AM, Wolfgang Jeltsch [EMAIL PROTECTED] wrote: So we should parameterized for the package name. That's the packagename I've been using. I'm done with a basic implementation but I'd like to test some other things before showing the code. On the other hand, I think that the

[Haskell-cafe] Exporting Haskell Libraries to C Programmers

2008-02-19 Thread Bruce, Joseph R (Joe)
Hi, I have a Haskell library that I want to make available via FFI to C programmers on my project team. I read this thread (http://thread.gmane.org/gmane.comp.lang.haskell.cafe/21447) which had some interesting ideas, but they seemed unresolved. Or maybe it answers my question but I don't

Re: [Haskell-cafe] Where does ~ come from?

2008-02-19 Thread Wolfgang Jeltsch
Am Dienstag, 19. Februar 2008 18:26 schrieben Sie: […] However, I was told this: ~ a b is a ~ b, but if I write c a b and wish the effect of a `c` b. This would not work. ~ as an infix operator has a special place in GHC. It is not just a type variable. Sorry, but I don’t understand fully

Re: [Haskell-cafe] Re: Haskell maximum stack depth

2008-02-19 Thread Duncan Coutts
On Tue, 2008-02-19 at 12:22 +, Adrian Hey wrote: To be honest, in all my years of Haskelling I can't think of a single occasion where I've had a program get stuck in an infinite loop. I've had plenty of stack overflows, and they're reported on the mailing lists pretty regularly, but on

Re: [Haskell-cafe] Re: Implementing fixed-sized vectors (using datatype algebra?)

2008-02-19 Thread Wolfgang Jeltsch
Am Dienstag, 19. Februar 2008 21:44 schrieben Sie: * Support of type-level Booleans (Wolfgang?) Attached is just a quickly hacked Boolean module. Nothing very special. I’d be happy if you could prettify this (choose better names, add documentation, etc.). Thanks for any effort. Best

Re: [Haskell-cafe] Arrows: definition of pure arr

2008-02-19 Thread Wolfgang Jeltsch
Am Dienstag, 19. Februar 2008 17:04 schrieben Sie: PS: Wolfgang also seems to use nice names in Grapefruit for his types, e.g. act :: PlainCircuit (IO output) output  createPlainCircuit :: PlainCircuit input output - input - IO (output,IO ()) instead of act :: PlainCircuit (IO a) a

Re: [Haskell-cafe] Arrows: definition of pure arr

2008-02-19 Thread Wolfgang Jeltsch
Am Dienstag, 19. Februar 2008 19:37 schrieb Peter Verswyvelen: Exactly. And that must be one of the reasons the Java designers said no to operator overloading? That kind of programmers just don't like operators I guess. But we do :-) Although I would prefer nice math symbols and layout

Re: [Haskell-cafe] Re: Implementing fixed-sized vectors (using datatype algebra?)

2008-02-19 Thread Alfonso Acosta
2008/2/19 Wolfgang Jeltsch [EMAIL PROTECTED]: Attached is just a quickly hacked Boolean module. Nothing very special. I'd be happy if you could prettify this (choose better names, add documentation, etc.). Thanks for any effort. Thanks to you for the module. I have a few questions though.

Re: [Haskell-cafe] Re: Implementing fixed-sized vectors (using datatype algebra?)

2008-02-19 Thread Wolfgang Jeltsch
Am Mittwoch, 20. Februar 2008 00:39 schrieben Sie: Why are the value-level reflecting functionsimplemented as type-class methods? It makes the code more verbose and I don't see any advantage compared to simply defining a function per class. Let me show you an example: This is your

Re: [Haskell-cafe] Where does ~ come from?

2008-02-19 Thread David Menendez
On Feb 19, 2008 4:15 PM, Wolfgang Jeltsch [EMAIL PROTECTED] wrote: Am Dienstag, 19. Februar 2008 18:26 schrieben Sie: […] However, I was told this: ~ a b is a ~ b, but if I write c a b and wish the effect of a `c` b. This would not work. ~ as an infix operator has a special place in