Re: GreenCard: list marshalling

2002-06-03 Thread Ferenc Wagner
Hal Daume III <[EMAIL PROTECTED]> writes: > Well, you could just use Ptr Double to mimick c arrays and > define conversion functions. I'm currently porting BLAS > and LAPACK to Haskell and this is what I do. Great! Can you show me what you have done so far? It is urgent for me, but I need one

RE: [Fwd: F#]

2002-06-03 Thread Manuel M. T. Chakravarty
"Don Syme" <[EMAIL PROTECTED]> wrote, > One point is that in the absence of extensive purity > annotations to imperative libraries you will need to use > monads for operations that shouldn't need them. Having to > add the annotations certainly counts as a complication in > comparison to what man

CfP First International Conference on Security in Pervasive Computing (SPC2003)

2002-06-03 Thread Dieter Hutter
We are sorry if you receive multiple copies! Call for Papers First International Conference on Security in Pervasive Computing (SP

RE: [Fwd: F#]

2002-06-03 Thread Ashley Yakeley
At 2002-05-31 12:48, Don Syme wrote: >One point is that in the absence of extensive purity annotations to >imperative libraries you will need to use monads for operations that >shouldn't need them. But these cases are surely quite rare? In my experience, if it really is pure, chances are Ha

Re: GreenCard: list marshalling

2002-06-03 Thread Alastair Reid
>Hi, I'd like to call LaPack routines from Haskell. > Having read the GreenCard documentation it's still not obvious to me > how I could marshall a list of numbers to C. Surely it's possible > to create a ForeignObj, then fill it in element-by- element. But > isn't there a more

Re: GreenCard: list marshalling

2002-06-03 Thread Ferenc Wagner
Alastair Reid <[EMAIL PROTECTED]> writes: > Here's some code from the Xlib interface: hslibs/xlib/Xlib.gc > (This code is part of the HGL (http://haskell.org/graphics).) [...] > Hope this helps, It helped much. Thanks for the comments, especially. Now I'm going to check whether the garbage c

ANNOUNCE: Haddock version 0.3

2002-06-03 Thread Simon Marlow
I'm pleased to announce version 0.3 of Haddock, a documentation generation tool for Haskell source code. It's available from http://www.haskell.org/haddock/ The changes relative to version 0.2 are listed here: http://www.haskell.org/haddock/CHANGES.txt Cheers, Simon __

Re: arrows

2002-06-03 Thread Wolfgang Jeltsch
On Saturday, 2002-05-25, 13:25, CEST John Hughes wrote: > On Sat, 25 May 2002, Koen Claessen wrote: > > > > > There are many types which would fit nicely in an arrow > > framework, but do not because of the demand of these > > operators, here are two examples: > > > > * Isomorphisms, are nice a

Re: arrows

2002-06-03 Thread Wolfgang Jeltsch
On Saturday, 2002-05-25, 20:37, CEST Ashley Yakeley wrote: > At 2002-05-25 01:32, Koen Claessen wrote: > > >Might I remind you that an arrow (as defined in category > >theory) only requires identy and composition to be defined > >and satisfying some laws? > > > >In particular, an arrow does not

Haskell HBLAS Library

2002-06-03 Thread Hal Daume III
Hi All, I've just finished porting the BLAS linear algebra library to Haskell and am about to begin porting the LAPACK lin alg extensions. Currently the "package" looks very flat: HBlas.Types -- basic type HBlas.Convert -- basic conversion routines HBlas.Level1 -- BLAS level1 routines HBlas.Lev

Re: GreenCard: list marshalling

2002-06-03 Thread Alastair Reid
[EMAIL PROTECTED] writes: > Now I'm going to check whether the garbage collector works: both the > Haskell and the C representation won't fit in memory... If you're using a foreign library to process very large datasets (e.g., image processing, large matrix operations, etc.) it's usual to keep t

Re: arrows

2002-06-03 Thread Ashley Yakeley
At 2002-06-03 09:22, Wolfgang Jeltsch wrote: >I think, it would be better to >* create a class, which has only an identity and a composition > member, and call this class Arrow or Morphism; >* create a subclass of this class which introduces pure (arr); >* create