Ciekawi mnie wartość „niezdefiniowana” w Haskell. To interesujące, ponieważ możesz umieścić go niemal wszędzie, a Haskell będzie szczęśliwy. Wszystkie są w porządku

[1.0, 2.0, 3.0 , undefined]  ::[Float]
[1, 2 ,3 undefined, 102312] :: [Int]
("CATS!", undefined)  :: (String, String)
....and many more

Jak działa niezdefiniowana praca pod maską? Co sprawia, że ​​możliwe jest posiadanie danych każdego typu danych? Czy byłbym w stanie zdefiniować taką wartość, którą mogę umieścić wszędzie, czy też jest to jakiś szczególny przypadek?