Discussion :

[Kakashisenc]

Bonjour ,

J'ai la question suivante :

Definir un type image a un parametre. En toute generalite pour le moment une image est une fonction prenant un point et renvoyant une donnee d'un type quelconque (le type en parametre) .

Je penserais declaré le type de la maniere suivante :

Code :

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

type 'x image = {p : point,x : 'x}

Mais je ne comprend pas pourquoi il est dis que image est une fonction ?

Merci de votre aide

[TchoubiTchoub]

Je traduirais la question comme

Code :

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

type 'a image = point -> 'a

Bien que cela soit assez étrange.