BP
Yury Schkatula
я просто начал с того, что попытался присвоить переменной функцию, которая ничего не возвращает
Ну с Unit проблем точно не должно быть а вот с Void не уверен, но тоже граблей не вижу
Size: a a a
2020 October 11
YS
и увидел, что оно несовместимо с описанием (type) -> Nothing
QH
Yury Schkatula
и увидел, что оно несовместимо с описанием (type) -> Nothing
Разумеется.
YS
после F# и прочей функциональщины на YouTube - оно не очень разумелось :)
BP
Yury Schkatula
и увидел, что оно несовместимо с описанием (type) -> Nothing
Что подразумевается не совместимо ? Nothing подтип всего что есть
YS
Что подразумевается не совместимо ? Nothing подтип всего что есть
type mismatch
QH
Что подразумевается не совместимо ? Nothing подтип всего что есть
вот именно, Unit не катит в качестве Nothing
BP
Yury Schkatula
type mismatch
Я бы пример хотел бы.
BP
вот именно, Unit не катит в качестве Nothing
Ну да
BP
Это же разные типы
QH
Я бы пример хотел бы.
val n: () -> Nothing = {}QH
собственно, ничто не мешает написано
val n = {} и попросить альт-энтером, чтобы IDE вывела типL
val a = fun() { }
QH
Leonid
val a = fun() { }
ну эквивалентная запись, и что?
BP
val n: () -> Nothing = {}Ну да, ведь Nothing под тип Unit, или наоборот, как правильно. Можно наоборот
L
ну эквивалентная запись, и что?
Ничего. Кто-то хотел пример? Вот пример.
QH
Leonid
Ничего. Кто-то хотел пример? Вот пример.
а, точно)
BP
val result: Unit = n()
L
Просто меньше синтаксических свистелок :)
YS