AK
также как в расте
прости, я только хеллоуворлды осилил и простенькие процесс-менеджеры
Size: a a a
2018 June 14
AK
поэтому покажи)
🦉
я кажется снова перестал понимать
AE
но если strictNullChecks то оно и без absurd() корректно ругнётся,т не так ли?
🦉
absurd - не костыль
и как он зовется в нормальных функциональных языках?
к
absurd активно используют в пруверах например
к
так и называется
🦉
точнее как это в том же хаскеле выглядит
AK
absurd :: Void -> a
к
absurd :: Void -> a
absurd x = case x of {}
absurd x = case x of {}
AE
точнее как это в том же хаскеле выглядит
В скале вроде Unit
AK
Unit эт другое, хотя хз как в скале
к
юнит - это у типа есть одно значение
к
и поэтому нам оно не важно
к
never/empty/настоящий void - нет значений вообще, невозможно сконструировать
к
There is only one value of type Unit, (),AE
Так, ещё там есть Nothing
к
как это относится к never/empty/hs-void, у которого нет значений вообще?