m
Roman Blog
поэтому обобщённый код теряет свойства итератора, потому как из интерфейса ты не достанешь оригинальный тип
Хреново конечно. Но выбора-то нет на чем писать. Или плюсы или раст. Остальное из других ниш
Size: a a a
2021 March 03
m
Или может irdis или coq могут посоперничать с плюсами растом по производительности?
m
И по близости к низкоуровневы штукам
RB
makoven
Или может irdis или coq могут посоперничать с плюсами растом по производительности?
У раста нет никакой производительности. Она какая-то есть на хеловорлдах и то потому, что там llvm, читай крестовый компилятор, крестовая модель исполнения, модель многопоточности и памяти. Засунь идрис туда же - будет так же работать.
Актуально не то, какая производительность у тебя на хеловордах(хотя даже на них никакая), а то насколько мощные и бесплатные абстракции ты можешь родить
Актуально не то, какая производительность у тебя на хеловордах(хотя даже на них никакая), а то насколько мощные и бесплатные абстракции ты можешь родить
RB
никому ненужна производительность, если её невозможно писать
RB
вообще вы очень слабо представляете себе ситуацию. Допустим, недавно на всяких помойках был праздник - раст обогнал кресты на каком-то колхозном бенчмарке
RB
https://benchmarksgame-team.pages.debian.net/benchmarksgame/index.html - тут. И я вот спросил себя - сколько из адептов узнают причину
RB
а сколько будут нести херню. И знаешь что? Ни один не узнал, либо по крайней мере не написал. Ну я следил только за хабром, что мне линковали
RB
давай я тебе расскажу почему, да и пацанам тоже. А то часто все думают, что эти сравнения адекватны, объективны - нет. Там сидят поехавшие фанатики.
Ну и вот, заставил победить раст я. Потому как пришёл туда и залил версию, как раз таки основанную на полиморфизме(удивительно, но до сих пор никто не понял что это и почему. И никто не написал, хотя мог бы собрать хайпа).
И оно было настолько быстрое, что адепты не понимали почему. Они увидели там mmap и решили, что это из-за него. Здесь мы уже понимаем насколько адекватны сравнения, если банится mmap. Ну и вот они задним числом поменяли правила, удалили моё решение и удалили ещё одно С++-решение
Ну и вот, заставил победить раст я. Потому как пришёл туда и залил версию, как раз таки основанную на полиморфизме(удивительно, но до сих пор никто не понял что это и почему. И никто не написал, хотя мог бы собрать хайпа).
И оно было настолько быстрое, что адепты не понимали почему. Они увидели там mmap и решили, что это из-за него. Здесь мы уже понимаем насколько адекватны сравнения, если банится mmap. Ну и вот они задним числом поменяли правила, удалили моё решение и удалили ещё одно С++-решение
RB
и там остался только древний мусор. И таким образом раст победил
RB
об этом написали везде, но никто не разобрался почему. Потому как неважно как. Главное победа. Неважно есть ли она реально, либо её нет. Поэтому я тебе не советую верить во всю эту херню. Никому ненужна правда.
H
makoven
Или может irdis или coq могут посоперничать с плюсами растом по производительности?
прувер мат формул соперничает с производительностью раста, в прямом эфире
MS
Мэ', бенчмарки и правда не показатель
MS
Roman Blog
никому ненужна производительность, если её невозможно писать
Это аргумент против плюсов, кстати.
m
Roman Blog
давай я тебе расскажу почему, да и пацанам тоже. А то часто все думают, что эти сравнения адекватны, объективны - нет. Там сидят поехавшие фанатики.
Ну и вот, заставил победить раст я. Потому как пришёл туда и залил версию, как раз таки основанную на полиморфизме(удивительно, но до сих пор никто не понял что это и почему. И никто не написал, хотя мог бы собрать хайпа).
И оно было настолько быстрое, что адепты не понимали почему. Они увидели там mmap и решили, что это из-за него. Здесь мы уже понимаем насколько адекватны сравнения, если банится mmap. Ну и вот они задним числом поменяли правила, удалили моё решение и удалили ещё одно С++-решение
Ну и вот, заставил победить раст я. Потому как пришёл туда и залил версию, как раз таки основанную на полиморфизме(удивительно, но до сих пор никто не понял что это и почему. И никто не написал, хотя мог бы собрать хайпа).
И оно было настолько быстрое, что адепты не понимали почему. Они увидели там mmap и решили, что это из-за него. Здесь мы уже понимаем насколько адекватны сравнения, если банится mmap. Ну и вот они задним числом поменяли правила, удалили моё решение и удалили ещё одно С++-решение
Я читал об этом на лоре. Мы с тобой там не раз срачи затевали )
RB
Это аргумент против плюсов, кстати.
Почему?
r
😵
m
прувер мат формул соперничает с производительностью раста, в прямом эфире
Однако http-сервер и сишный компилер на них написали. Значит готов к продакшону
MS
Потому что с плюсами на практике очень больно работать. Не в плане выразительности, а в плане того что любое неверное движение может обернуться UB, проявляющимся через какой-то хайзенбаг пару месяцев спустя.
EP
Потому что с плюсами на практике очень больно работать. Не в плане выразительности, а в плане того что любое неверное движение может обернуться UB, проявляющимся через какой-то хайзенбаг пару месяцев спустя.
заблуждение какое-то