[Haskell-cafe] Re: OOHaskell problems

2006-10-04 Thread oleg
I wanted to try using OOHaskell as a library, but I've run into some problems I don't understand. I downloaded the copy from: http://homepages.cwi.nl/~ralf/OOHaskell/ both HList and OOHaskell are now available via DARCS http://darcs.haskell.org/HList/

Re: [Haskell-cafe] Mission: To take args from a list... generally

2006-10-04 Thread David House
On 04/10/06, Joel Koerwer [EMAIL PROTECTED] wrote: I'm posting my solution in hopes to learn from your comments. This solution uses fundeps, multi-parameter classes, and overlapping instances. Note that I don't actually understand these things! :) Nice work! I haven't tried it out, but you

[Haskell-cafe] Re: irrefutable patterns for existential types / GADTs

2006-10-04 Thread apfelmus
yeah, that is what I mean. however, since we don't have explicit type passing in haskell, reasoning about the lazyness of types would be quite tricky, leading to odd things like changing type signatures (without changing the underlying types) can change the behavior of a program. You mean

[Haskell-cafe] throwDynIO ?

2006-10-04 Thread Carlos Pita
Hi all! I'm a newcomer to haskell programming with a lisp/scheme background. Last week I've been reading a lot about the monadic approach to IO and I should said I'm pretty fascinated about the flexibility it allows. Currently I'm trying to grasp haskell exception handling and although I find it

[Haskell-cafe] Qualified identifiers (Was: A better syntax for qualified operators?)

2006-10-04 Thread Henning Thielemann
On Fri, 29 Sep 2006, Benjamin Franksen wrote: Brian Hulley wrote: Benjamin Franksen wrote: At the danger of becoming completely off-topic now (sorry!), I have to say that I find /both/ versions ugly and unnecessarily hard to read. My personal solution is to generally avoid qualified

Re: [Haskell-cafe] Re: Is Haskell a 5GL?

2006-10-04 Thread Henning Thielemann
On Wed, 27 Sep 2006, Ch. A. Herrmann wrote: Concerning the point someone made about the features of Haskell: * pattern matching: just case distinction * list comprehensions: syntactic sugar These are indeed local syntactic issues but the amount of such small things is essential to make

Re: [Haskell-cafe] Error building Edison 1.2.0.1

2006-10-04 Thread Robert Dockins
On Tuesday 03 October 2006 22:58, Lyle Kopnicky wrote: Robert Dockins wrote: On Tuesday 03 October 2006 22:00, Lyle Kopnicky wrote: Hi folks, I tried to build edison-1.2.0.1-sources with the command 'make system' but got: *** Exception: Line 10: Unknown field 'hs-source-dirs' I

Re: [Haskell-cafe] Is Haskell a 5GL?

2006-10-04 Thread Henning Thielemann
On Sat, 30 Sep 2006 [EMAIL PROTECTED] wrote: Tamas K Papp writes: In my experience, most people use CAS interactively: they encounter an integral or a PDE that's difficult to solve, so they type it into Mathematica (which frequently cannot solve it either, then you go crazy, numerical,

[Haskell-cafe] [Haskell] open assistant professorship at Utrecht University, Software Technology

2006-10-04 Thread Doaitse Swierstra
We have an open 5 year position for an assistant professor. Current areas of interest are: - domain specific embedded languages (especially in the form of combinator languages) - programming language design and implementation - generic programming techniques - tools and methods for

Re: [Haskell-cafe] Re: OOHaskell problems

2006-10-04 Thread Bulat Ziganshin
Hello oleg, Wednesday, October 4, 2006, 10:18:17 AM, you wrote: your package problems. Incidentally, adding the full qualification forces us to consider under which tree to put HList. Directly under Data? Perhaps some other place would be more appropriate? i think that HList is almost the

[Haskell-cafe] how to create new repository on darcs.haskell.org?

2006-10-04 Thread Bulat Ziganshin
Hello haskell-cafe, i want to make my library available via darcs repository on darcs.haskell.org. how i can arrange it? if it is required, i already have user account on haskell.org server -- Best regards, Bulat mailto:[EMAIL PROTECTED]

Re: [Haskell-cafe] how to create new repository on darcs.haskell.org?

2006-10-04 Thread Henning Thielemann
On Wed, 4 Oct 2006, Bulat Ziganshin wrote: Hello haskell-cafe, i want to make my library available via darcs repository on darcs.haskell.org. how i can arrange it? if it is required, i already have user account on haskell.org server Just copy your local darcs repository to cvs.haskell.org:

Re: [Haskell-cafe] how to create new repository on darcs.haskell.org?

2006-10-04 Thread Lemmih
On 10/4/06, Henning Thielemann [EMAIL PROTECTED] wrote: On Wed, 4 Oct 2006, Bulat Ziganshin wrote: Hello haskell-cafe, i want to make my library available via darcs repository on darcs.haskell.org. how i can arrange it? if it is required, i already have user account on haskell.org server

Re: [Haskell-cafe] how to create new repository on darcs.haskell.org?

2006-10-04 Thread Duncan Coutts
On Wed, 2006-10-04 at 18:23 +0200, Henning Thielemann wrote: On Wed, 4 Oct 2006, Bulat Ziganshin wrote: Hello haskell-cafe, i want to make my library available via darcs repository on darcs.haskell.org. how i can arrange it? if it is required, i already have user account on

[Haskell-cafe] throwDynIO ?

2006-10-04 Thread Carlos Pita
Hi all! I'm a newcomer to haskell programming with a lisp/scheme background. Last week I've been reading a lot about the monadic approach to IO and I should said I'm pretty fascinated about the flexibility it allows. Currently I'm trying to grasp haskell exception handling and although I find it

Re[2]: [Haskell-cafe] how to create new repository on darcs.haskell.org?

2006-10-04 Thread Bulat Ziganshin
Hello Lemmih, Wednesday, October 4, 2006, 9:00:04 PM, you wrote: i want to make my library available via darcs repository on darcs.haskell.org. how i can arrange it? if it is required, i already have user account on haskell.org server Just copy your local darcs repository to

Re: [Haskell-cafe] Error building Edison 1.2.0.1

2006-10-04 Thread Lyle Kopnicky
Robert Dockins wrote: On Tuesday 03 October 2006 22:58, Lyle Kopnicky wrote: Robert Dockins wrote: On Tuesday 03 October 2006 22:00, Lyle Kopnicky wrote: Hi folks, I tried to build edison-1.2.0.1-sources with the command 'make system' but

Re: [Haskell-cafe] Error building Edison 1.2.0.1

2006-10-04 Thread Robert Dockins
On Wednesday 04 October 2006 16:16, Lyle Kopnicky wrote: Robert Dockins wrote: On Tuesday 03 October 2006 22:58, Lyle Kopnicky wrote: Robert Dockins wrote: On Tuesday 03 October 2006 22:00, Lyle Kopnicky wrote: Hi folks, I tried to build edison-1.2.0.1-sources with the command 'make

[Haskell-cafe] collection monads

2006-10-04 Thread tpledger
Matthias Fischmann wrote: another beginners question about monads: given the type | data (Ix x) = Permutation x = Permutation [x] i wanted to define | instance Monad Permutation where | return xs = Permutation xs but of course nothing about the monad class guarantees xs to be of

[Haskell-cafe] Mission: To take args from a list... generally

2006-10-04 Thread tpledger
Joel Koerwer wrote: Let's say I want to evaluate a function of type (a-a-...-a-a), taking the arguments from a list. If know the function ahead of time, I can simply wrap it: foo a b c d = ... wrapFoo (a:b:c:d:_) = foo a b c d But, as an exercise, I challenged myself to write a function,

Re: [Haskell-cafe] Mission: To take args from a list... generally

2006-10-04 Thread Joel Koerwer
Thanks for the link. So many variations on a theme: n-vars to a list : Oleg's solution for polyvariadic functions list + n-adic function - value : This thread list of (n_i)-adic functions + argument - list of (n_i-1)-adic functions : The link you gave. The first two had very similar