как работает 'undefined' в Haskell

мне интересноне определено» значение в Haskell. Это интересно, потому что вы можете поместить его где угодно, и Хаскелл будет счастлив. Следующие все в порядке

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

Как неопределенный работает под капотом? Что позволяет иметь данные, относящиеся к каждому типу данных? Могу ли я определить такое значение, которое я могу поставить везде, или это какой-то особый случай?

Ответы на вопрос(6)

Ваш ответ на вопрос