Questions marquées «curry-howard»

6
À quoi sert la fonction absurde de Data.Void?
La absurdfonction dans Data.Voida la signature suivante, où Voidest le type logiquement inhabité exporté par ce package: -- | Since 'Void' values logically don't exist, this witnesses the logical -- reasoning tool of \"ex falso quodlibet\". absurd :: Void -> a Je connais assez de logique pour obtenir la remarque …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.