Discussion :

[elishac]

Bonjour,

j'aimerais savoir s'il est possible, avec caml light, d'utiliser des symboles ou combinaisons de symboles (non déjà utilisés, bien sûr), comme nom de certaines fonctions.
Par exemple, je voudrais créer une fonction ++ qui additionne 2 tableaux p1 et p2, qui puisse être appelée avec p1 ++ p2.
Une fois créée, pour la notation infixe, je crois qu'il suffit d'écrire

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

#infix "++";;

Au passage, je ne comprends pas l'importance du #.

Merci.

[gorgonite]

je ne me souviens plus trop de caml light


est-ce que ceci marche ?

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
let (++) p1 p2 = ...

[gorgonite]

comme cela alors ?

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
let ++ p1 p2 = ... ;;
#infix "++" ;;
let p1 = ... in let p2 = ... in p1 ++ p2 ;;

[gorgonite]

ben au lieu de ++ essaies addVector

[gorgonite]

Ma question était de savoir s'il était possible d'utiliser des symboles (autres que lettres et chiffres) dans le nom d'une fonction. "AddVector" ne contient que des lettres.

ben semblerait que non... sinon tu n'aurais pas eu d'erreur avec mon exemple


doc officielle : http://caml.inria.fr/pub/docs/manual...t/node4.9.html

Presently, no. Operators are restricted to be identifiers. Allowing more operators (e.g. ++ or */ ) would be nice, but requires some changes in the lexical conventions of Caml Light. For instance: 1+-2 without blanks is currently parsed as 1 + (-2), but would probably have to be parsed as prefix +- 1 2 with this extension.

j'ai fait l'effort d'installer cette bouse

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
 
#let add p1 p2 = p1 + p2 ;;
add : int -> int -> int = <fun>
##infix "add" ;;
#1 add 2 ;;
- : int = 3

[B.Moncef]

Salut,
il me semble que

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

let prefix ++ p1 p2 = p1 + p2 ;;

devrait faire l'affaire.

PS : je n'ai pas testé, et je n'ai jamais utilisé caml-light.
EDIT : Confirmation : http://www.developpez.net/forums/d41...l/#post2500718

[gorgonite]

testé, en effet ça marche...

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
 
#let prefix ++ (a,b) (c,d) = (a+c, b+d) ;;
++ : int * int -> int * int -> int * int = <fun>
#let c = (1,2) ++ (3,4) ;;
c : int * int = 4, 6
 
#let prefix @@ a b = a + b ;;
@@ : int -> int -> int = <fun>
#let d = 1 @@ 4 ;;
d : int = 5

et concernant le contre-exemple de XL,

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
 
#let prefix +- a b = a + b ;;
+- : int -> int -> int = <fun>
#let n = 1 +- 2 ;;
n : int = 3
#let n = 1 + - 2 ;;
n : int = -1

il devait parler d'une version antédiluvienne (ie bien avant 2002, date de la dernière caml light)

[Cacophrene]

Salut !

Sinon, pourquoi faut-il un # devant infix ?

Comme #load, #use et d'autres encore, #infix ne fait pas partie du langage caml (light ou pas). C'est une commande de l'interpréteur, qui par convention commence par #.

Cordialement,
Cacophrène