🦉
чет это выглядит как-то абсурдно
Size: a a a
2018 June 14
к
даже больше скажу
к
есть функция absurd : never -> a
🦉
funtion f(): number | never🦉
и че будет
к
отдает значение ЛЮБОГО ТИПА, если ты передашь ей never
AK
ну это тоже самое, что
f(): numberк
есть функция absurd : never -> a
вот это
🦉
ну это тоже самое, что
f(): numberбля
к
funtion f(): number | neverсмотри, давай определим полукольцо типов
🦉
то есть эксепшен пометить нельзя
🦉
то есть вы считаете, что вводить тип, с другим поведением, для одного кейса, было разумно?
AK
иметь ноль для суммы типов вообще говоря полезно)
🦉
🦉
а бля
AK
empty же в flow
🦉
да ну нахуй
🦉
я чет понял, что писать в жс на таких типах — абсурд
🦉
будь это хаскель, окамл или ризон, да
🦉
но жиквери типизировать