g
я написал is чисто по привычке из vala, и вроде по описанию он делает тоже самое
Size: a a a
2021 May 16
g
но с Optional будет отчевидно не is а не равно nil
G
с Option будет
if x.isSome(): x.get()G
с ref будет
if not x.isNil: ...G
is только в для CT штук исполняется, насколько помнюVB
ну в ниме с определением типов в рантайме сложно. :)
g
но в GObject не сложно
VB
да так-же вобщем-то.
g
ладно, еще не писал на языках где именно Optional вместо
С null тайп нарровингом я подразумевал чтото такое
Но когда само нуллабилити сделано через объект Optional хмм получается
тип + ?С null тайп нарровингом я подразумевал чтото такое
x: Obj? = getObj()
if x != null:
тут можно делать с x всякое x.a
Без проверки незя
Но когда само нуллабилити сделано через объект Optional хмм получается
if x.isSome
let notNullX = x.get()
работаем с notNullX
g
нда, писать some для каждой распаковки внутри проверки что распаковка точно будет удачной кажется бессмысленным, над шобы внутри блока isSome: param просто заменялся с Option[T] на T
G
в ниме по умолчанию nullable и можешь без проверок получать ошибки в рантайме
есть
есть
not nil и {.requiresinit.}, и я не понимаю как они работаютf
Что-то похожее планируется, если быть точным то несколько раз говорили про flow-dependent typing, и typestate для дискриминантов (правда про это в контексте not nil проверок)
g
можно ссыли
f
ну "планируется" это наверное громко сказано, но обсуждения на тему того что это очень интересно полезно и тд
f
В дискорде/IRC
f
Ничего более формального
g
нда, видимо пора их посетить
g
desktop dev ;(
f
На самом деле стоило бы добавить, но те кто занимается desktop dev как-то не активно на эту тему
f
Хотя практически гарантированно langdev интересен меньшему количеству народа, но его выделили отдельно