El concepto de fondo en Haskell

Question

Inferior en Haskell Se dice que se dice que es cualquier cálculo que tenga errores, no sea terminado o involucra el bucle infinito, es de cualquier tipo ... ¿es esto específico de Haskell? Sabemos que en la teoría de la red, también hay una noción de Bottom Ahí ... ¿y no se debe definir el fondo en función de qué se define el orden?

Answer 1

De hecho hay un orden de definición, donde el fondo es el valor menos definido. Mira esto Esta página sobre semántica denotacional en Haskell para una explicación más completa.

Aquí hay una red para los valores de Maybe Bool Tomado de la página wiki. Muestra que Just True está más definido que Just ⊥ que está más definido que ⊥.