СГ
я вот тоже таким был, сейчас сижу на самсунге
Звучит как дом престарелых для андроид девелоперов)
Size: a a a
2020 June 11
Sλ
Звучит как дом престарелых для андроид девелоперов)
O
Молодой ты, горячий. Я тоже таким был, лет 5 назад гнался блидинг-эйдж версиями всего (android/macos)
А потом понял что нихрена не меняется, только баги собираешь)
А потом понял что нихрена не меняется, только баги собираешь)
Да ты просто старик походу, мне 36, я на бэте 🥴😁😁😁
I
Да ты просто старик походу, мне 36, я на бэте 🥴😁😁😁
по пьяни поставил, или зачем?
СГ
Да ты просто старик походу, мне 36, я на бэте 🥴😁😁😁
Да на телефонах беты это ещё не так стрёмно, а вот бета МакОс это адок, когда вся работа встанет из за этого..
O
по пьяни поставил, или зачем?
Та я с 24х не пью, ты чо 🥴
O
А клава у телеги знатно глючит на 11м, да
I
Читаю я https://medium.com/dartlang/announcing-sound-null-safety-defd2216a6f3 и не могу понять, а где доказательство того, что Null Safety в Dart - sound? Не, ну я-то прекрасно знаю про Void Safety в Eiffel и про то, что там доказали soundness их Void Safety, а в Dart - один в один Void Safety, но где хотя бы упоминание Eiffel или ссылка на доказательство?
ML
Как же я ору, мне ютьюб предложил посмотреть клип "запрещенных барабанщиков"
Sλ
Читаю я https://medium.com/dartlang/announcing-sound-null-safety-defd2216a6f3 и не могу понять, а где доказательство того, что Null Safety в Dart - sound? Не, ну я-то прекрасно знаю про Void Safety в Eiffel и про то, что там доказали soundness их Void Safety, а в Dart - один в один Void Safety, но где хотя бы упоминание Eiffel или ссылка на доказательство?
> Null Safety в Dart - sound
это как?
или где почитать?
а, это adjective форма sound
это как?
или где почитать?
а, это adjective форма sound
VP
Читаю я https://medium.com/dartlang/announcing-sound-null-safety-defd2216a6f3 и не могу понять, а где доказательство того, что Null Safety в Dart - sound? Не, ну я-то прекрасно знаю про Void Safety в Eiffel и про то, что там доказали soundness их Void Safety, а в Dart - один в один Void Safety, но где хотя бы упоминание Eiffel или ссылка на доказательство?
> By contrast, some other implementations are unsound
Интересно, про кого это они
А ещё интересно, как это всё сочетается с их аналогом lateinit 🤔
Интересно, про кого это они
А ещё интересно, как это всё сочетается с их аналогом lateinit 🤔
I
> By contrast, some other implementations are unsound
Интересно, про кого это они
А ещё интересно, как это всё сочетается с их аналогом lateinit 🤔
Интересно, про кого это они
А ещё интересно, как это всё сочетается с их аналогом lateinit 🤔
Наверное, это они про язык, который интеропится с другим языком, в котором нет Void Safety в обе стороны.
I
Читаю я https://medium.com/dartlang/announcing-sound-null-safety-defd2216a6f3 и не могу понять, а где доказательство того, что Null Safety в Dart - sound? Не, ну я-то прекрасно знаю про Void Safety в Eiffel и про то, что там доказали soundness их Void Safety, а в Dart - один в один Void Safety, но где хотя бы упоминание Eiffel или ссылка на доказательство?
спроси в коментах, потом расскажешь
I
спроси в коментах, потом расскажешь
Ради этого ещё на медиуме регаться. Влом что-то.
VP
Наверное, это они про язык, который интеропится с другим языком, в котором нет Void Safety в обе стороны.
Ну так null-safety Dart интеропится с кодом на старом Dart
Они пишут
"Once you migrate your whole project and your dependencies to null safety, you reap the full benefits of soundness."
Это равносильно забиванию на интероп
Они пишут
"Once you migrate your whole project and your dependencies to null safety, you reap the full benefits of soundness."
Это равносильно забиванию на интероп
I
> Null Safety в Dart - sound
это как?
или где почитать?
а, это adjective форма sound
это как?
или где почитать?
а, это adjective форма sound
Во, нашел дисер одного моего знакомого, который и доказывал soundness VoidSafety: http://se.inf.ethz.ch/people/kogtenkov/thesis.pdf
Sλ
спасибо
I
А вот и его статья, если лень читать весь дисер: https://ispranproceedings.elpub.ru/jour/article/view/168/89
VP
Поигрался в nullsafety.dartpad.dev и сложилось впечатление, что они избежали грабли с порядком инициализации полей, на которых можно подорваться в котлине.
Ну либо я недостаточно проверял, я же не знаю дарт.
Ну либо я недостаточно проверял, я же не знаю дарт.
AM
Поигрался в nullsafety.dartpad.dev и сложилось впечатление, что они избежали грабли с порядком инициализации полей, на которых можно подорваться в котлине.
Ну либо я недостаточно проверял, я же не знаю дарт.
Ну либо я недостаточно проверял, я же не знаю дарт.
Долой бекенды, айда на флуттер писать, тряхнёшь стариной))