[Caml-list] Ocaml et la Standard Library

[Caml-list] Ocaml et la Standard Library

[poinca]

    Je viens d'installer OCaml 3.0.6 sur MacOS X. Par contre j'ai un petit soucis avec la 'Standard
Library'. Comment la charge-t-on ? (les fonctions hd, tl, list_length, vect_length .... sont très
pratique )


    Objective Caml version 3.06

# let list = [1;2;4;5];;
val list : int list = [1; 2; 4; 5]
# hd list;;
Unbound value hd
# list_length list;;
Unbound value list_length

Merci
Poinca

Accédez au courrier électronique de La Poste : www.laposte.net ;
3615 LAPOSTENET (0,13 €/mn) ; tél : 08 92 68 13 50 (0,34€/mn)"
-------------------
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] Ocaml et la Standard Library

[Remi VANICAT]

"poinca" <poinca@laposte.net> writes:

>     Je viens d'installer OCaml 3.0.6 sur MacOS X. Par contre j'ai un
> petit soucis avec la 'Standard Library'. Comment la charge-t-on ?

Elle est chargé par défaut. Il faut utiliser les noms qualifiés ou des
open.

> (les fonctions hd, tl, list_length, vect_length .... sont très
> pratique )

vect_length ? list_length ? c'est pas du ocaml ça. Les fonctions
sont : 

List.hd List.tl List.length et Array.length (bien que un array et un
vect, c'est pas exactement la même chose)

Si les List. et Array. te gène, on peux faire un open :

# open List;;
# hd [2; 3];;
- : int = 2

-- 
Rémi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat
-------------------
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] Ocaml et la Standard Library

[Sven Luther]

On Sun, Nov 03, 2002 at 12:18:57PM +0100, Remi VANICAT wrote:
> "poinca" <poinca@laposte.net> writes:
> 
> >     Je viens d'installer OCaml 3.0.6 sur MacOS X. Par contre j'ai un
> > petit soucis avec la 'Standard Library'. Comment la charge-t-on ?
> 
> Elle est chargé par défaut. Il faut utiliser les noms qualifiés ou des
> open.
> 
> > (les fonctions hd, tl, list_length, vect_length .... sont très
> > pratique )
> 
> vect_length ? list_length ? c'est pas du ocaml ça. Les fonctions
> sont : 

cela doit etre sortit d'une ancienne doc sur caml-light. caml-light
utilisait/utilise des souligne pour les modules (les fichiers en fait,
il n'y avait pas encore vraiment des modules a l'epoque).

Amicalement,

Sven Luther
-------------------
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] Open types and methods

[Jérôme Marant]

Hi,

  I know that I cannot use open types as method parameter types,
  like:

  method foo (w : #mother) = ....

  So, how can I pass to a method an object of a given class or
  of its inherited classes, i.e. how to work this limitation
  around?

  Thanks.

  Cheers,

-- 
Jérôme Marant

http://marant.org
              
-------------------
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] Open types and methods

[Stefano Zacchiroli]

On Sun, Nov 03, 2002 at 11:30:36AM +0100, J?r?me Marant wrote:
>   I know that I cannot use open types as method parameter types,
>   like:
> 
>   method foo (w : #mother) = ....
> 
>   So, how can I pass to a method an object of a given class or
>   of its inherited classes, i.e. how to work this limitation
>   around?

Just define the method as:

  method foo (w: #mother) = ...

And cast the object when invoking foo:

  obj#foo (son :> mother)

Cheers.

-- 
Stefano Zacchiroli - undergraduate student of CS @ Univ. Bologna, Italy
zack@cs.unibo.it | ICQ# 33538863 | http://www.cs.unibo.it/~zacchiro
"I know you believe you understood what you think I said, but I am not
sure you realize that what you heard is not what I meant!" -- G.Romney
-------------------
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] Open types and methods

[Stefano Zacchiroli]

On Sun, Nov 03, 2002 at 12:43:29PM +0100, J?r?me Marant wrote:
> >   method foo (w: #mother) = ...
>   I guess you mean:
>   method foo (w : mother) ?

Sure, as you said, method can't have open types :)

Cheers.

-- 
Stefano Zacchiroli - undergraduate student of CS @ Univ. Bologna, Italy
zack@cs.unibo.it | ICQ# 33538863 | http://www.cs.unibo.it/~zacchiro
"I know you believe you understood what you think I said, but I am not
sure you realize that what you heard is not what I meant!" -- G.Romney
-------------------
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] Open types and methods

[Olivier Andrieu]

 Jérôme Marant [Sunday 3 November 2002] :
 >
 > 
 > Hi,
 > 
 >   I know that I cannot use open types as method parameter types,
 >   like:
 > 
 >   method foo (w : #mother) = ....
 > 
 >   So, how can I pass to a method an object of a given class or
 >   of its inherited classes, i.e. how to work this limitation
 >   around?

Polymorphic methods ?

method foo : 'a. (#mother as 'a) -> ... = fun w -> ...

-- 
   Olivier
-------------------
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] Open types and methods

[Jérôme Marant]

Olivier Andrieu <andrieu@ijm.jussieu.fr> writes:

>  Jérôme Marant [Sunday 3 November 2002] :
>  >
>  > 
>  > Hi,
>  > 
>  >   I know that I cannot use open types as method parameter types,
>  >   like:
>  > 
>  >   method foo (w : #mother) = ....
>  > 
>  >   So, how can I pass to a method an object of a given class or
>  >   of its inherited classes, i.e. how to work this limitation
>  >   around?
>
> Polymorphic methods ?
>
> method foo : 'a. (#mother as 'a) -> ... = fun w -> ...

  I'll have a look at this. Thanks.

  Cheers,

-- 
Jérôme Marant

http://marant.org
              
-------------------
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