VV
хрен знает)) про haskell, например
Size: a a a
2021 November 24
LL
Точно, ничего же нет что на том же уровне копошится, но не плюсы. Кроме транспайлеров
VV
или coq какой-нибудь
VV
вроде как за публикацию истории
DL
не, там же главное, чтобы выглядело как плюсы!
LL
Да ладно, раст не выглядит как плюсы
LL
Только объём фич
V(
Что есть чуйка что можно будет прикольно кодогенерить из пруфов в раст, чтобы верифицирован но летало и не падало. Но если этот поезд уйдет без меня мне будет грустно, так что да, раст хуйня не учите раст забудьте
VV
там даже тема была, что компания одна, писала как все круто на эликсире у них, а через 2 месяца перешла на другой язык
LL
Так когда кодогенеришь можно и проверок полный ++ напихать с тем же эффектом
DL
сопсна: история наших фейлов (сорри за повторы)
- С++ продавали как модное ООП, чтобы было совместимо с C
- Java продавали как "выглядит как C++, но без байтопердоле"
- JS назвали JS(и сделали нелиспом), потому что жавохайп
- PHP родился из Сишных макросов (и функций)
вот так мы 40 лет жрём говно
- С++ продавали как модное ООП, чтобы было совместимо с C
- Java продавали как "выглядит как C++, но без байтопердоле"
- JS назвали JS(и сделали нелиспом), потому что жавохайп
- PHP родился из Сишных макросов (и функций)
вот так мы 40 лет жрём говно
LL
А С при живом Паскале?
MK
phd продаются даже жесче по идее, вроде как куча народов на грантах сидят
VV
тоже верно
MK
Типо делай исследования на те темы, которые интересны буржуазии
DL
паскали, кстати, был круты, там в 1977 году уже была кроссплатформенная VM, карл!
DL
а что интересно небуржуазии? или пофигу, у них всё равно денег нет?
LL
Чёт такая себе буржуазия, если всё равно рождает го
MK
По го вряд ли есть научные работы