Il concetto di fondo in Haskell

Question

Fondo in Haskell Descrivi qui si dice che sia un calcolo che abbia errori, non è terminato o coinvolge un ciclo infinito, è di qualsiasi tipo ... è specifico per Haskell? Sappiamo nella teoria reticolare, c'è anche una nozione di Bottom Lì ..... e il fondo non dovrebbe essere definito in base a ciò che è definito l'ordine?

Answer 1

In effetti c'è un ordine di definito, dove il fondo è il valore meno definito. Dai un'occhiata a Questa pagina sulla semantica denotazionale in Haskell Per una spiegazione più approfondita.

Ecco un reticolo per i valori di Maybe Bool preso dalla pagina wiki. Lo mostra Just True è più definito di Just ⊥ che è più definito di ⊥.