H
Но камон, написал цикл и всё. Это не так страшно
Size: a a a
2021 February 11
OA
Безусловно присутствует повторение кода. Итераторы те же, их нет
но хороший, годный код грех не повторить
H
но хороший, годный код грех не повторить
Хаахха
r
Безусловно присутствует повторение кода. Итераторы те же, их нет
Это ощущается
H
red75prime
Это ощущается
Тогда я не понял вопроса
p
red75prime
Вопрос с подвохом. Что не ощущается, но присутствует?
Я думаю что языка не ощущается но хочется
r
Подсказка: почему майкрософт пилил SAL (source-code annotation language), а теперь поддерживает раст?
H
red75prime
Подсказка: почему майкрософт пилил SAL (source-code annotation language), а теперь поддерживает раст?
Почему?
r
Почему?
Потому что баги не ощущаются, но присутствуют.
H
red75prime
Потому что баги не ощущаются, но присутствуют.
У меня нет формальной верификации, поэтому не могу сказать что там не ощущается, но присутствует
r
У меня нет формальной верификации, поэтому не могу сказать что там не ощущается, но присутствует
Ага, и я о том же.
p
Добавил в язык формальную верификацию чтобы верифицировать баги
DS
Когда я пишу прикладной код на Си, я ощущаю только нехватку в интерфейсах, если не придираться
А какая нехватка интерфейсов, если структура указателей на функции goes brrrrr
H
А какая нехватка интерфейсов, если структура указателей на функции goes brrrrr
Это всё нужно ручками писать. Хотелось бы сахарок
DS
Это всё нужно ручками писать. Хотелось бы сахарок
Да там не очень-то и много ручками писать
H
Я не знаю будет ли interface99. У меня уже есть библиотека для алгебраических эффектов, по сути это тоже интерфейс но принимающий продолжение в каждый метод
H
Да там не очень-то и много ручками писать
Ещё там есть морока с void*. Например, если принимаешь self, то вместо типа self надо писать void* чтобы типы совпали
H
Может можно как-то обойти предупреждения компилятора кастами
H
Потому то формально все в порядке должно быть, по правилам совместимости типов