Názor k článku Programovací jazyk OCaml: rekurze, pattern matching a práce se seznamy od Calculon - P.S. OOP ma hodně různých definic, ale pokud...

P.S. OOP ma hodně různých definic, ale pokud jde o podtypy, tak některé varianty ML je mají formou množinové definice a díky koercím je jejich použití transparentní.