I had assumed ocaml had the space because you put spaces on both sides of the colon in French. I don’t particularly disagree with you but one thing I think abo

I had assumed ocaml had the space because you put spaces on both sides of the colon in French. I don’t particularly disagree with you but one thing I think about is the symmetry of a relation or operator as written and if it’s meaning. Eg I prefer an assignment operator to not have a vertical line of symmetry. The other operator examples you give like < or + or = take the same type on both sides. : doesn’t even take the same kind on each side (lbs being a value and rhs a type). Maybe it should be written in an asymmetric way because of this.