Études-Mathématique/Notations et noms courts

From Lazi wiki
Jump to: navigation, search

Question

J'ai supprimé les notations d'arité 0, mais certaines étaient bien comme 0 -> zero ou 0l pour emptyList. Comment arranger ce problème ?

Étude

En utilisant directement les noms courts

L'idée est que l'on n'a pas besoin d'avoir deux noms pour un sens identique. Si on veut un nom court on utilise ce nom court directement. Par exemple on n'utilise plus zero et one mais 0b et 1b, ou encore on n'utilise plus emptyList mais 0l.

Avoir deux noms impose de connaître les 2, je ne vois pas l'intérêt.

En remettant les "NonOp"

Réponse

On utilise un seul nom quand il y en avait deux (voir l'étude).