История изменений
Исправление hateyoufeel, (текущая версия) :
Так с этой штукой и сделать ничего вроде нельзя.
В этом и суть. Такие типы используются там, где не должно быть возможности создать значение.
P. S. В Си считается, что все функции возвращают значения. Процедура возвращает значение типа void. Чем-то похоже на эту «монаду».
Нет. В Си и си-подобных языках void эквивалентен юниту, то есть () из Haskell.
Исходная версия hateyoufeel, :
Так с этой штукой и сделать ничего вроде нельзя.
В этом и суть. Такие типы используются так, где не должно быть возможности создать значение.
P. S. В Си считается, что все функции возвращают значения. Процедура возвращает значение типа void. Чем-то похоже на эту «монаду».
Нет. В Си и си-подобных языках void эквивалентен юниту, то есть () из Haskell.