Кажется, что ты не понимаешь зачем хаскеллю вообще понадобился undefined undefined :: a undefined = error "Prelude.undefined"
не считается
Не является, в любом тьюринг-полном языке с рекурсивными типами любой тип населён абсурдными элементами. Боттом фиксированное название одного из них, таких дохуя в каждом типе
Обсуждают сегодня