lol

которые не пришей к пизде рукав

кстати, хвалю тебя за уровень самоиронии

потому что я еще не встречал более категоричного человека в жизни, чем ты

/get ковбой_димсол

ковбой_димсол
Простой Воронежский айтишник который охотится за Велью во вселенной

Мне до царя сишки далеко

царь сишки - это кто?

Очень, качественно другой уровень упёртости

Вот, в том и смысл. Что система типов в С++ мета-система. У тебя в идрисе(как и в любом обычном языке) есть система типов в рамках которой ты существует. Там есть какой-то тайпчекер. В рамках ограничения которого ты существуешь и пишешь свою логику.

С++ же язык следующего порядка, о чём я уже говорил ранее. И его система типов так же. Т.е. ты не пишешь логику в рамках крестового тайпчекера - ты пишешь свой тайпчекер

и из-за того, что все конструкции имеют больше смысла - они и быстрее

в си нет уб - ты обгадился

и в С++ его нет

ну вот так. УБ - это понятие стандарта. Это значит, что стандарт поведение для чего-то не определяет. У раста нет стандарта, а значит стандарт не определяет поведения ничего. Значит - весь раст УБ. Либо мы убираем стандарт в обоих случаях и тогда понятия УБ вообще нет

Его опусы

Там пол чата его контентом заполнено

понял - это царь с Лора

он там много лет

Опять Дима гадости в понве разводит, понятно, пойду дальше отдыхать