Што происходит?

Всмысле ты кандидат?

Всмысле ты кандидат?

Да.

Он же раньше был просто Friedrich von Növer

Кандидат куда?

А теперь - доктор

Кандидат куда?

Наук

Технических.

Работающий в морге

Работающий в морге

Билдеров

Морг Билдеров? Это кто такой?

Морг Билдеров? Это кто такой?

Запросто может оказаться каким-нибудь болгарином.

В морге все равны

Но патологоанатом ровнее

Все равны перед доктором Лектером

В общем, @fvnever полон загадок

Я самый обычный человек 🤷‍♂️

Я самый обычный человек 🤷‍♂️

А тентакли как отрастил?

Это механика!

Я тут недавно натолкнулся на хороший цикл статей про то как нарисовать свою мини OS на C, с отличным объяснением: https://github.com/s-matyukevich/raspberry-pi-os Просто делюсь линком

"цикл статей" - набор разных маркдаун файлов в одной репке)))

там и про кернел и про ексепшны, про прерывания. Чотко. Умеет. Могёт.

Вот только рисовать на си новую ось в 2018 как-то не комильфо

Кстати, не этот ли цикл переводили на хабре?

Не знаю. А переводили?

Вроде, там на расте ось писали.

На расте - это другое дело.

Я вот очень раст полюбил. Щас пытаюсь его тоже впихать в воркфлоу. Идёт с трудом.

Раст - он демонстративно не прикладной

Отсюда и невпихуемость повышенная :)

Ну у меня ещё задач для него мало. Т.е. прям очевидная одна - оптимизация обучения ML модели (сейчас это делает петон, частично сам, частично сишные либы). А остальные - ETL, ажур, микросервисы - это всё не про раст. Т.е. я могу в теории скомпилить что-то на расте, и запускать в рантайме через ProcessInfo, но чот мне кажется это плохой план)

Раст - он системный, для байто- и тактодрочерства но с современным контролем типов и границ

Для приложений он имхо пересолен

Вот это меня подкупает. C++ впилил себе продакт тайпы нормальные, std::tuple, std::variant, std::option, полный набор. Там отлично всё с типизацией. Раст туда же. И при этом ебучий комитет C# нулабилити сделали через атрибуты у методов... Провал

Т.е. если уж решились ломать обратную совместимость через флаг компилятора почему нельзя было нормально поломать???

Вот это меня подкупает. C++ впилил себе продакт тайпы нормальные, std::tuple, std::variant, std::option, полный набор. Там отлично всё с типизацией. Раст туда же. И при этом ебучий комитет C# нулабилити сделали через атрибуты у методов... Провал

Да ладно, ты про знак вопроса?

Да

У шарпа с nullability проблема с рантаймом

Т.е. если уж решились ломать обратную совместимость через флаг компилятора почему нельзя было нормально поломать???

Потому что «нормально» потребует много перепиливать в самом рантайме?

Ну то есть мне тоже не нравится решение, которое получилось. Оно неполное, его просто обмануть.

Но сделать такое сложно.

Как и у котлина, поэтому нуллабилити компромиссная

Там теперь такое охуенное поведение typeof<int> == typeof<int?> //false typeof<string> == typeof<string?> //true

Ждём, пока Java запилит :)

Как и у котлина, поэтому нуллабилити компромиссная

Ну кажется, у Котлина чуть получше получилось?

Ну кажется, у Котлина чуть получше получилось?

Так у котлина язык с нуля запилен

Со своими мутными проблемами, но всё-таки лучше, чем у C# 8.

А C# именно что 8

У котлина под боком Джава. Как у F# под боком C#. Поэтому приходится идти на компромисы, иначе всю экосистему отрезать от себя

Так у котлина язык с нуля запилен

Ну так ведь там полный интероп с жавой, а это накладывает ограничения

И у нас полный интероп с .NET

у нас обратная совместимость

https://github.com/Kirill-Maurin/Sample.Struct/blob/master/Sample.Struct/NotNull.cs

Вот так можно запилить без обмана :)

Но ведь C# уже решил ломать обратную совместимость, почему нельзя было (ну если не полноценный option), то завернуть всё в Nullable?? Ну, они там умные понятно, но вот по сравнению даже с более низкоуровневыми языками (c++, rust) - это уже дерьмо

Но ведь C# уже решил ломать обратную совместимость, почему нельзя было (ну если не полноценный option), то завернуть всё в Nullable?? Ну, они там умные понятно, но вот по сравнению даже с более низкоуровневыми языками (c++, rust) - это уже дерьмо

У низкоуровневых рантайм не болит

Но они там страдают по другой фигне. У них такты болят

поэтому там на option куча оптимизаций, где-то статеечку читал как там gcc пыхтит чтобы было типобезопасно и быстро

Т.е. для котлина не было хорошего решения, а для сишарпа совсем не было. Вот я и не парюсь

А мне жалко что такой возможностью воспользовались так уныло

А мне жалко что такой возможностью воспользовались так уныло

Нельзя было не уныло, увы.

И так получили два восьмых сишарпа

И так получили два восьмых сишарпа

это как?

а вообще C# 8 уже зарелизили?

это как?

Дык флажочек компилятора же добавили. Семантически значимый.

Потому что «нормально» потребует много перепиливать в самом рантайме?

я думаю они никогда не релизнутся :) нуллабл типы

Дык флажочек компилятора же добавили. Семантически значимый.

Чето упустил этот момент. Есть ссылки?

иначе это будет на уровне работает! *но не здесь ** и не здесь *** и не здесь

мне что-то казалось, что просто будет nonnull by default для всех типов

мне что-то казалось, что просто будет nonnull by default для всех типов

И поломается вся старая кодобаза разом

мне что-то казалось, что просто будет nonnull by default для всех типов

нет

мне что-то казалось, что просто будет nonnull by default для всех типов

это делает опционально и только через атрибуты раставлленые компилятором над методами, аргументами и пр. Чтобы продуцировать только варнинги а не полный слом кода

мне что-то казалось, что просто будет nonnull by default для всех типов

Ну, типа да.

Типа.

т.е. тип твоих аргументов в рантайме не поменяется

И поломается вся старая кодобаза разом

ну там же вроде компилятор ворнинг кидает, а не ошибку

т.е. тип твоих аргументов в рантайме не поменяется

Он и в котлине для рантайма не меняется

А потом раз,и галочку взводишь treat warnings as errors

На билд сервере

А потом раз,и галочку взводишь treat warnings as errors

А кто не взводит - сам себе злобный буратино