2008/6/28 Galchin, Vasili <[EMAIL PROTECTED]>:
> Hi,
>
> Suppose I have a value of type Ptr Word8 and also an Int which is the
> length of the Ptr Word8(sorry if I am thinking too much in a C string frame
> of mind). How can I display the Ptr Word8 value of the given length?
>
You mentioned C
2008/6/28 Galchin, Vasili <[EMAIL PROTECTED]>:
> Hi,
>
> Suppose I have a value of type Ptr Word8 and also an Int which is the
> length of the Ptr Word8(sorry if I am thinking too much in a C string frame
> of mind). How can I display the Ptr Word8 value of the given length?
>
> Vasili
>
You'r
Hi,
Suppose I have a value of type Ptr Word8 and also an Int which is the
length of the Ptr Word8(sorry if I am thinking too much in a C string frame
of mind). How can I display the Ptr Word8 value of the given length?
Vasili
___
Haskell-Cafe mailin
Just a random note. jhc works fine on ARM,
Another semi-random note: nhc12 and nhc13 (precursors to nhc98) were
originally developed on an ARM with 2Mb of memory, way back in 1994-5.
Regards,
Malcolm
___
Haskell-Cafe mailing list
Haskell-Cafe@
Daniel Fischer wrote:
My Oleg rating isn't high either, and certainly you can do it more elegant,
but
class Concat l1 l2 l3 | l1 l2 -> l3, l1 l3 -> l2 where
pConcat :: l1 a -> l2 a -> l3 a
instance Concat (Plist Zero) (Plist n) (Plist n) where
pConcat _ ys = ys
instance Concat (Pli
On Saturday 28 June 2008, Paul Johnson wrote:
> I'm trying to understand how to use GADT types to simulate dependent
> types. I'm trying to write a version of list that uses Peano numbers
> in the types to keep track of how many elements are in the list. Like
> this:
>
> {-# OPTIONS -fglasgow-ex
Am Samstag, 28. Juni 2008 19:51 schrieb Paul Johnson:
> I'm trying to understand how to use GADT types to simulate dependent
> types. I'm trying to write a version of list that uses Peano numbers
> in the types to keep track of how many elements are in the list. Like
> this:
>
> {-# OPTIONS -fgl
I'm trying to understand how to use GADT types to simulate dependent
types. I'm trying to write a version of list that uses Peano numbers
in the types to keep track of how many elements are in the list. Like this:
{-# OPTIONS -fglasgow-exts -fallow-undecidable-instances #-}
module Plist whe
Galois has completed the move of its data center, and the services:
hackage.haskell.org
darcs.haskell.org
are now back online. Thanks for your patience, everyone!
Enjoy the new bandwidth.
-- Don
___
Haskell-Cafe mailing list
Haskell-Cafe@h
Hi,
Hackage seems to have been down for a few days now. When is it going to be
back online? It is not possible to darcs-get any packages either.
Best Regards,
Cetin Sert
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailm
I have a trip coming up and might have some reading time. I was hoping to
get through some of the classics, bananas and lenses, the essence, etc.
So I have a few questions:
Bananas and lenses et. al. uses some notation that I don't understand right
out of the gate. Is there a good primer on whate
Hi, there
I'm wondering if there's a ping method in HDBC that does the same
thing as Perl DBI's ping. Please see the following link for details:
http://search.cpan.org/~timb/DBI-1.605/DBI.pm#ping
I think It's rather important for database auto-connection when
preserving database connections
Hello Jeremy,
Jeremy Apthorp wrote:
Next year I'll be working on a project for my undergraduate computing
course at UNSW that will involve getting GHC to target the Nintendo
DS. It'll require cross-compilation, because the DS isn't powerful
enough to actually run GHC (4M main ram and a 66MHz pro
so I had a look at the code. The loops are all fine. replicateM_ isn't
a problem, but getDot is decidedly non trivial. Lots of pattern matching
on different vector forms, and to top it off ffi calls.
With some inlining in the blas library I was able to cut a few seconds
off the running time, but
14 matches
Mail list logo
