AN
Тут скорее ключевое слово как в расте. Но я думаю, что не выйдет из-за интеропа
Size: a a a
2020 January 14
QH
Это не тип
T, &T и &mut T — разные типы, а вот mut T — тот же TAM
Ну борроу чек в компайлтайме, или как это правильно назвать, в любом случае на интеропе резко идёт нафиг, по идее.
I
А в системе типов фризы отразить не пробовали вообще? Или это совсем не к тебе вопрос? :) А то они и нужные, и колючие одновременно. Прям как null safety в джаве)
Вот появятся плагин АПИ, ребята из эрроу, я уверен, что-нибудь придумают. Что-то вроде аннотации
@Immutable.AM
Ну борроу чек в компайлтайме, или как это правильно назвать, в любом случае на интеропе резко идёт нафиг, по идее.
То есть если взять закрытый мир, то сделать так, чтобы после фриза переменной посредством какого-нибудь
val frozen: Frozen<T> = original.freeze() запретить пользоваться original, наверное, реально, но те же джавовые либы и рефлекшн об этом знать ничего не будут.QH
блин, все эти фризы — прямой путь в GoLangScript
AM
В тех же крестах с мув-семантикой тоже UB по сути.
I
Тут скорее ключевое слово как в расте. Но я думаю, что не выйдет из-за интеропа
Тут JetPack Compose постучался и сказал, что в нем тоже интероп не очень.
AM
блин, все эти фризы — прямой путь в GoLangScript
Почему?
AM
В смысле при чём тут го?
AM
Тут JetPack Compose постучался и сказал, что в нем тоже интероп не очень.
Да и лежащие на поверхности корутины.
I
В тех же крестах с мув-семантикой тоже UB по сути.
Это не UB, а unspecified behavior. Совсем разные вещи.
QH
Почему?
ну, для меня выглядит как костыль, и нормальное решение пока что только в расте
про модель памяти в KN я уже сказал всё, что думаю)
про модель памяти в KN я уже сказал всё, что думаю)
AM
Это не UB, а unspecified behavior. Совсем разные вещи.
Прошу прощения, я ж не настоящий сварщик.
I
Да и лежащие на поверхности корутины.
У них с интеропом все хорошо. Их можно звать из Джавы.
AM
ну, для меня выглядит как костыль, и нормальное решение пока что только в расте
про модель памяти в KN я уже сказал всё, что думаю)
про модель памяти в KN я уже сказал всё, что думаю)
Ну вот если бы это всё валидировалось в компайл-тайме, всё было бы хорошо с моделью памяти нэйтива.
AO
ну, для меня выглядит как костыль, и нормальное решение пока что только в расте
про модель памяти в KN я уже сказал всё, что думаю)
про модель памяти в KN я уже сказал всё, что думаю)
Ну вот да, это должна быть часть языка
AM
У них с интеропом все хорошо. Их можно звать из Джавы.
Можно, но больно, и занимаются этим, мягко говоря, нечасто.
AO
А то что сейчас, нууу
AM
Можно, но больно, и занимаются этим, мягко говоря, нечасто.
С обжом / свифтом в нэйтиве, насколько я понимаю, дела ещё печальнее.
(Я при этом не утверждаю, что меня это парит, при учёте, что писать под iOS по идее можно целиком на K/N, вообще без свифта)
(Я при этом не утверждаю, что меня это парит, при учёте, что писать под iOS по идее можно целиком на K/N, вообще без свифта)