Re: [Haskell-cafe] Re: Dynamic binding / Scala paper

2005-06-30 Thread Benjamin Franksen
On Thursday 30 June 2005 23:21, Colin Paul Adams wrote: > > "Benjamin" == Benjamin Franksen <[EMAIL PROTECTED]> > > writes: > > Benjamin> Ok, Eiffel has a few holes in its type-system, doesn't > Benjamin> naturally integrate with Java/.Net, and doesn't support > > In what way? Eiffe

Re: [Haskell-cafe] matrix computations based on the GSL

2005-06-30 Thread Benjamin Franksen
On Wednesday 29 June 2005 22:54, Henning Thielemann wrote: > On Wed, 29 Jun 2005, Dan Piponi wrote: > > >On Wed, 29 Jun 2005, Jacques Carette wrote: > > > > > >Distinction of row and column vectors is a misconcept > > > > Row and column vectors are sometimes worth distinguishing because > > they ca

Re: [Haskell-cafe] Re: Dynamic binding / Scala paper

2005-06-30 Thread Colin Paul Adams
> "Benjamin" == Benjamin Franksen <[EMAIL PROTECTED]> writes: Benjamin> Ok, Eiffel has a few holes in its type-system, doesn't Benjamin> naturally integrate with Java/.Net, and doesn't support In what way? Eiffel compilers target these systems successfully. Benjamin> XML directly

[Haskell-cafe] Re: Dynamic binding / Scala paper

2005-06-30 Thread Benjamin Franksen
On Friday 24 June 2005 14:28, Andreas Rossberg wrote: > Ralf Lammel wrote: > > I would like to add a peer-reviewed clear reference > > to the OOHaskell paper about the red herring that you mention. > > I don't have such a reference. May I kindly ask you to offer > > a few for selection? > > Off-han

[Haskell-cafe] Re: haskell parser for java bytecode?

2005-06-30 Thread karczma
Kimberley Burchett writes: Jerzy Karczmarczuk asked: Why for goodness' sake, people interested in Haskell *should* worry about parsing of Java bytecode chunks? Are you asking why I'm interested in bytecode instead of source code, or are you asking why I'm interested in Java at all? One an

[Haskell-cafe] Re: haskell parser for java bytecode?

2005-06-30 Thread Kimberley Burchett
On Thu, 30 Jun 2005, Tomasz Zielonka wrote: Jerzy is asking why you are surprised. There's nothing wrong in being interested in Java/bytecode, but it's a bit strange to expect every language to have a library for reading Java bytecode. My apologies. I didn't mean to imply that there *should* b

Re: [Haskell-cafe] Re: haskell parser for java bytecode?

2005-06-30 Thread Tomasz Zielonka
On Thu, Jun 30, 2005 at 11:02:47AM -0400, Kimberley Burchett wrote: > Jerzy Karczmarczuk asked: > > Kimberley Burchett writes: > > >I'm interested in using haskell to do static analysis of java bytecode. > > >To my surprise, I wasn't able to find any existing haskell libraries > > >for parsing java

Re: [Haskell-cafe] matrix computations based on the GSL

2005-06-30 Thread Henning Thielemann
On Thu, 30 Jun 2005, Jacques Carette wrote: > Henning Thielemann wrote: > > >>Data Orientation = Row | Column > >>Data Vector a = Vector Orientation [a] > > > >In the first mail you wrote > > "9. There are row vectors and column vectors, and these are different > >types. You get type errors if y

Re: [Haskell-cafe] matrix computations based on the GSL

2005-06-30 Thread Jacques Carette
Henning Thielemann wrote: Data Orientation = Row | Column Data Vector a = Vector Orientation [a] In the first mail you wrote "9. There are row vectors and column vectors, and these are different types. You get type errors if you mix them incorrectly." I interpreted that you want to enco

Re: [Haskell-cafe] matrix computations based on the GSL

2005-06-30 Thread Henning Thielemann
On Thu, 30 Jun 2005, Jacques Carette wrote: > Henning Thielemann wrote: > > >I'm uncertain about how who want to put the different kinds of > >multiplication into one method, even with multi-parameter type classes. > >You need instances > > > > (*) :: Matrix -> Matrix -> Matrix > > (*) :: RowVect

[Haskell-cafe] Re: haskell parser for java bytecode?

2005-06-30 Thread Kimberley Burchett
Jerzy Karczmarczuk asked: Why for goodness' sake, people interested in Haskell *should* worry about parsing of Java bytecode chunks? Are you asking why I'm interested in bytecode instead of source code, or are you asking why I'm interested in Java at all? One answer to the first question is

Re: [Haskell-cafe] matrix computations based on the GSL

2005-06-30 Thread Jacques Carette
Henning Thielemann wrote: I'm uncertain about how who want to put the different kinds of multiplication into one method, even with multi-parameter type classes. You need instances (*) :: Matrix -> Matrix -> Matrix (*) :: RowVector -> Matrix -> RowVector [many other instances removed.] Defi

[Haskell-cafe] Unicode.hs (was: RE: Re[2]: ANNOUNCE: GHC survey results)

2005-06-30 Thread Dimitry Golubovsky
Hi, Vadim Konovalov wrote: === that file reads: -- Based on the GHC.Unicode library, Copyright 2005, Dimitry Golubovsky. -- See GHC's LICENSE file for the full license text. That said, it is part of GHC? === Clarifying on Unicode stuff in GHC I contributed: It is in CVS now, and I believe wil

Re: [Haskell-cafe] matrix computations based on the GSL

2005-06-30 Thread Jacques Carette
David Roundy and Henning Thielemann have been arguing about the nature of vectors and matrices, in particular saying: On Thu, Jun 30, 2005 at 02:20:16PM +0200, Henning Thielemann wrote: On Thu, 30 Jun 2005, David Roundy wrote: Matrices _and_ vectors! Because matrices represent operato

[Haskell-cafe] RE: Re[2]: ANNOUNCE: GHC survey results

2005-06-30 Thread Konovalov, Vadim
> btw, in Pugs sources > (http://search.cpan.org/CPAN/authors/id/A/AU/AUTRIJUS/Perl6-Pugs-6.2.7.tar.g z) > there is Unicode.hs module wich can classify and convert full range of > Unicode symbols under any OS. i don't understand - is this module > already included in GHC 6.5? if not, it would be g

Re: [Haskell-cafe] matrix computations based on the GSL

2005-06-30 Thread David Roundy
On Thu, Jun 30, 2005 at 02:20:16PM +0200, Henning Thielemann wrote: > On Thu, 30 Jun 2005, David Roundy wrote: > > If we support matrix-matrix multiplication, we already automatically > > support matrix-column-vector and row-vector-matrix multiplication, > > whether or not we actually intend to, un

Re: [Haskell-cafe] matrix computations based on the GSL

2005-06-30 Thread Henning Thielemann
On Thu, 30 Jun 2005, David Roundy wrote: > If we support matrix-matrix multiplication, we already automatically > support matrix-column-vector and row-vector-matrix multiplication, whether > or not we actually intend to, unless you want to forbid the use of 1xn or > nx1 matrices. So (provided we

Re: [Haskell-cafe] matrix computations based on the GSL

2005-06-30 Thread David Roundy
On Wed, Jun 29, 2005 at 10:23:23PM +0200, Henning Thielemann wrote: > More specific: > You give two different things the same name. You write > A*B >and you mean a matrix multiplication. Matrix multiplication means > finding a representation of the composition of the operators represented >

[Haskell-cafe] programatica and haddock

2005-06-30 Thread Christian Maeder
Hi, Bernard Pope wrote: > There is also the Programmatica project which seems to do a lot of what > I'm thinking of already. Yes, programatica does a good job. We have switch from using Hatchet to Programatica (and we may switch to the ghc frontend promised for ghc-6.6 that we would need to exte

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: GHC survey results

2005-06-30 Thread Malcolm Wallace
"Simon Peyton-Jones" <[EMAIL PROTECTED]> writes: > | If anything I would like to see the Haskell community produce a Haskell > | front end which was compiler neutral. That would facilitate many > | interesting projects, and that might even help with the need to support > | new extensions as they c

RE: [Haskell-cafe] Re: [Haskell] ANNOUNCE: GHC survey results

2005-06-30 Thread Bernard Pope
On Thu, 2005-06-30 at 10:36 +0100, Simon Peyton-Jones wrote: > | If anything I would like to see the Haskell community produce a > Haskell > | front end which was compiler neutral. That would facilitate many > | interesting projects, and that might even help with the need to > support > | new exte

RE: [Haskell-cafe] Re: [Haskell] ANNOUNCE: GHC survey results

2005-06-30 Thread Simon Peyton-Jones
| If anything I would like to see the Haskell community produce a Haskell | front end which was compiler neutral. That would facilitate many | interesting projects, and that might even help with the need to support | new extensions as they come along. There are already some candidates | floating

Re: [Haskell-cafe] matrix computations based on the GSL

2005-06-30 Thread Henning Thielemann
On Wed, 29 Jun 2005, Henning Thielemann wrote: > On Wed, 29 Jun 2005, Jacques Carette wrote: > > > This is called operator overloading. It is completely harmless because > > you can tell the two * apart from their type signatures. It is a > > complete and total waste of time to use two differen

RE: [Haskell-cafe] matrix computations based on the GSL

2005-06-30 Thread Henning Thielemann
Let me a bit elaborate on what I wrote yesterday. On Wed, 29 Jun 2005, Henning Thielemann wrote: > I think matrices and derivatives are very different issues. I have often > seen that the first derivative is considered as vector, and the second > derivative is considered as matrix. In this spiri

[Haskell-cafe] Re: [Haskell] ANNOUNCE: GHC survey results

2005-06-30 Thread Bernard Pope
[moved to haskell-cafe] On Tue, 2005-06-28 at 14:46 -0700, John Meacham wrote: > Unfortunatly hat suffers from the same problem that pretty much every > non-trivial preprocessor does, as soon as you start using ghc's special > or experimental features that have not been added to hat yet, they stop