modèle correspondant à reals (Standard ML)

Question

y parvenir:

fun test a 0.0 = "good" 
    | test a b = "bad"; 

provoque une erreur, mais si je change la 0.0, l'erreur disparaît. Cependant, j'ai besoin de faire correspondre 0.0 et je me demande si et comment cela peut être accompli.

Answer 1

Apparemment c'est parce que le vrai n'est pas un eqtype dans SML 97: http://www.smlnj.org/doc/Conversion/types.html#Real-equality

Answer 2

Vous pouvez simplement utiliser une instruction if au lieu de la correspondance de modèle. Notez que l'arithmétique à virgule flottante est sujette à des erreurs d'arrondi. Vous devez donc vérifier que la valeur absolue de b est inférieure à un delta plutôt que 0.0. Je suppose que c'est exactement la raison pour laquelle le modèle correspondant à des réels n'est pas autorisé.