CD
kotlin + c++
safe rust + unsafe rust
safe rust + unsafe rust
Size: a a a
2020 August 13
p
можно, слово unsafe это делает
нет
Т8
но обычно там внизу валяется сишка и непонятно, в чём могут быть преимущества сишки (хотя тезис Торвальдса в принципе понятен)
Сверхстабильный ABI - ощутимое преимущество
Т8
можно, слово unsafe это делает
Там чекер вообще не следит за ссылками и указателями
CD
нет
что нет? после этого чекер отсекает корректный код?
Т8
Т8
Переслано от Roman na
Если проще. Говнораст требует 1) аннотации лайфтаймов, которые вообще никакого отношения к лайфтаймам не имеет - это указание алиасов. 2) накладывает гигантские ограничения, т.е. тупо считает активные алиасы и если их больше одного - кастит их все в ro.
Т8
Переслано от Roman na
никакого семантического анализа не проводится, как это делает Wlifetime
CD
Я не читал исходники Wlifetime и не знаю способа его работы
CD
Вопрос в другом - чекер kotlin не отсекает корректный код
p
что нет? после этого чекер отсекает корректный код?
чекер отсекает некорректный код в unsafe/
Т8
Я не читал исходники Wlifetime и не знаю способа его работы
Но в крестах же и правда не приходится указывать лайфтаймы
CD
Т-34 85
Но в крестах же и правда не приходится указывать лайфтаймы
В котлине тож. Так что остаются вопросы, не получается ли связка kotlin + safe rust + unsafe rust и зачем в этой связке safe rust
p
В котлине тож. Так что остаются вопросы, не получается ли связка kotlin + safe rust + unsafe rust и зачем в этой связке safe rust
rust не нужен, нужен ATS
p
я вот думаю уже слезать с раста окончательно
p
заебал
RP
спасибо, посмеялся
AZ
В котлине тож. Так что остаются вопросы, не получается ли связка kotlin + safe rust + unsafe rust и зачем в этой связке safe rust
вопрос, зачем нужен ансейф раст
CD
вопрос, зачем нужен ансейф раст
так себе без него на стыках с kotlin :)
AZ
так себе без него на стыках с kotlin :)
не знаю как в ентих ваших сипипи, но в обычном тырпрайзе стыки с другими языками через хттп проходят