CD
и все же уб куда хуже "абандон мьютексов")
да не, просто //TODO: check this with types
Size: a a a
2020 August 08
AZ
угу
AZ
вот так забавно конечно
CD
тут же вопрос кто быстрее
AZ
вчера читал про доказательства и как на идрисе стейтмашину валидированную написать
AZ
а сегодня пишу цикл с телом на 100 строк
CD
тут же вопрос кто быстрее
managed смогут доказывать автоматически и оптимизировать или сишку с сахаром системой типов проверят
KR
а сегодня пишу цикл с телом на 100 строк
ожидания: бог алгоритмики
реальность: императивная макака
реальность: императивная макака
AZ
ожидания: бог алгоритмики
реальность: императивная макака
реальность: императивная макака
примерно так)))
CD
ожидания: бог алгоритмики
реальность: императивная макака
реальность: императивная макака
так иммутабельность лишний логарифм
KR
так иммутабельность лишний логарифм
ой не факт, но я не сварщик чтобы спорить)
KR
ты ща пруфов захочешь, а я обосрусь)
CD
да это все давно перечекали на тех же олимпиадках 200 раз
CD
что хуже это логарифм в память
KR
ну я к тому, что то что выглядит в коде как имутабельность под капотом может ею и не быть
EG
Возвращаемся к моей любимой секции «всратые квизы»
CD
так и есть, но с кэшом оно дружить вряд ли будет, придется аллокать как не в себя
CD
уникальности там проверять
KR
*смотрит нежно на neut*
CD
ну я к тому, что то что выглядит в коде как имутабельность под капотом может ею и не быть
в общем, можешь познакомиться с историей про copy on write строки в плюсах и чем это закончилось все (для std::string это просто запретили)