Le concept de fond dans Haskell

Question

Bas dans Haskell On dit que tout calcul qui a des erreurs n'est pas interdit, ou implique une boucle infinie, est de tout type ... est-ce spécifique à Haskell? Nous savons que dans la théorie du réseau, il y a aussi une notion de Bottom là ... et ne devrait-il pas être défini sur la base de ce que l'ordre est défini?

Answer 1

En effet, il y a un ordre de définie, où le fond est la valeur la moins définie. Jettes un coup d'oeil à Cette page sur la sémantique dénotationnelle à Haskell Pour une explication plus approfondie.

Voici un réseau pour les valeurs de Maybe Bool Tiré de la page wiki. Cela montre que Just True est plus défini que Just ⊥ qui est plus défini que ⊥.