Recherche:

Intéressant. En gros, comme le système de typage ne veut (ou ne peut) pas s'embarrasser du type complet (qui est un peu polymorphe, mais pas vraiment), il se comporte comme un type faible, avec un...

Mais du coup, c'est quoi son type ? Ils l'ont vraiment mise en ('a -> 'a) ?


Oui mais en général on utilise "assert false" pour dire "ce cas ne peut pas se produire" (par exemple dans les clauses...

Je vois que le cas particulier "assert false" a été retiré. Comme tout cas particulier, il gratte un peu, mais il est quand même bien pratique et a une signification clairement définie. Qu'est-ce que...