[Caml-list] use of `generics'

[Caml-list] use of `generics'

[William Lovas]

Hi,

Apologies for the slightly off-topic nature of this posting, but i hope
people on the list can provide some insight.

Everytime a discussion pops up on the list about extensional polymorphism,
this question comes to my mind: why does the O'Caml community use the word
`generics' to refer to ad-hoc polymorphism, while e.g. the Java community
uses the same word to refer to parametric polymorphism?

Is it just standard practice for a community to use `generics' to refer to
"the kind of polymorphism we don't have"? :)

cheers,
William

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

[Caml-list] List to Tuple

[Siegfried Gonzi]

I couldn't find the function which converts a List to a Tuple type. 
PsiLAb for example expects for initializing of arrays a Tuple construct:

let a = imatrix ~const:[1,2,3 ; 4,5,6] ();;

which would yield:  

1 2 3
4 5 6

But I think the common case actually is that one has something like 
this: [[1;2;3];[4;5;6]]. How to convert this to: [1,2,3 ; 4,5,6] ?

Another question. PsiLAB relies in Bigarrays. How is it possible to 
convert a OCaml array to bigarray? The OCaml book has a chapter about 
bigarrays but no concrete examples how to do this.                    
                   

S. Gonzi

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] List to Tuple

[Michal Moskal]

On Sat, May 24, 2003 at 09:15:49AM +0200, Siegfried Gonzi wrote:
> I couldn't find the function which converts a List to a Tuple type.

ML type system isn't powerfull enough to express this construct, best
you can have is:

val conv2 : 'a * 'a -> 'a list
val conv3 : 'a * 'a * 'a -> 'a list
...

I'm not quite sure if it will change with generics.

-- 
: Michal Moskal :: http://www.kernel.pl/~malekith : GCS {C,UL}++++$ a? !tv
: PLD Linux ::::::::: Wroclaw University, CS Dept : {E-,w}-- {b++,e}>+++ h

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] List to Tuple

[Siegfried Gonzi]

Michal Moskal wrote:

>On Sat, May 24, 2003 at 09:15:49AM +0200, Siegfried Gonzi wrote:
>
>>I couldn't find the function which converts a List to a Tuple type.
>>
>
>ML type system isn't powerfull enough to express this construct, best
>you can have is:
>
>val conv2 : 'a * 'a -> 'a list
>val conv3 : 'a * 'a * 'a -> 'a list
>...
>
>I'm not quite sure if it will change with generics.
>

I also contacted the author of PsiLAB, because it is quite strange to 
have such a format. PisLAB as the manual claims is more or less 
integrated into OCaml and in my opinion the common case are/should be 
list constructs.

Regards,
S. Gonzi

>
>



-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners