Yoshi Diabolique (./507) :
Un pointeur sur un Yoshi, c'est un Yoshi* en C et Yoshi* correspond grosso modo à un "Yoshi option" en CAML ^^

Pff, non, ni grosso ni modo.
Vu que 'a option est un type somme, en mémoire c'est probablement un machin encapsulé. D'autre part c'est pas mutable. Donc vraiment rien à voir avec un pointeur.

Null n'est pas un pointeur valide : tu ne peux pas faire d'arithmétique dessus, tu ne peux pas le déréférencer, bref tu ne peux rien en faire à part le stocker ou le comparer à un autre pointeur (exactement comme None, donc)

Rien à voir avec None !
Il n'y a pas d'"arithmétique" (c'est à dire d'opérations toutes faites) sur le type 'a option de toute façon.
Essaie de faire (Some 3) + (Some 5) => erreur de type.
Mais rien ne t'empêche d'en programmater si ça te chante.

Vraiment, ton parallèle n'a pas lieu d'être.

ah oui, null c'est le pointeur nul, mais je peux pas te laisser raconter des bêtises à propos des "valeurs binaires"

Ah ben corrige wikipedia.