🦉
но блядь об этом забыл
Size: a a a
2018 June 14
🦉
а почему в тс never назвали?
🦉
?
🦉
и unknown?
🦉
в чем логика?
к
never потому что у этого типа НИКОГДА не будет значения, мы никогда не сможем создать терм типа never, никогда не сможем его передать, никогда не сможем с ним работать
самое популярное название (вне жс) этого типа Void
но в жс (и в еще многих языках) void-ом почему-то называют Unit
самое популярное название (вне жс) этого типа Void
но в жс (и в еще многих языках) void-ом почему-то называют Unit
🦉
never потому что у этого типа НИКОГДА не будет значения, мы никогда не сможем создать терм типа never, никогда не сможем его передать, никогда не сможем с ним работать
самое популярное название (вне жс) этого типа Void
но в жс (и в еще многих языках) void-ом почему-то называют Unit
самое популярное название (вне жс) этого типа Void
но в жс (и в еще многих языках) void-ом почему-то называют Unit
тогда зачем иметь void и never вместе?
к
и unknown?
как и mixed. Это значит, что у терма есть четкий тип (это не any, когда типа нет), просто мы его не знаем, нужно матчить
к
тогда зачем иметь void и never вместе?
в жс void = unit из хаскеля, never = void из хаскеля
🦉
как и mixed. Это значит, что у терма есть четкий тип (это не any, когда типа нет), просто мы его не знаем, нужно матчить
так mixed описывает смешанный тип, но известный
к
нет, он нам неизвестен, наоборот. Смешанный и значит, что он есть, но неизвестно какой, без рантайм матча никуда
🦉
в жс void = unit из хаскеля, never = void из хаскеля
знаешь что я думаю?
в тс долбоебы придумывают названия сущностям
в тс долбоебы придумывают названия сущностям
🦉
нет, он нам неизвестен, наоборот. Смешанный и значит, что он есть, но неизвестно какой, без рантайм матча никуда
флоу же показывает mixed тип
к
ну тут не тс, в сишке тоже void = unit из теории
древний диснейминг
древний диснейминг
🦉
бля
🦉
все типы это есть перечисления (сумма) возможных литералов, empty в это включен
и как мне это в голове матчить?
ES
ES
дичь
🦉
покажи мне кейс, где void и never имеют разницу
GС
когда паттерн матчинг в тс завезут?