и это верно) и, более того, не тебе об этом судить

Вот. «Развивать теории». Это уже звучит лучше, чем «если не соответствует теории, значит не нужно» (утрирую)

Да, Коль, и не тебе об этом судить.

все так, я выше про это писал. Но в итоге все равно выиграет тот, который сможет решать задачу меньшей кровью - например, реализует новые методы защиты от выстрела себе в ногу

вот ты во всем утрируешь, а по факту обвиняешь меня потом в том, что я не говорил. И не извиняешься после этого

Не, ты писал, что побеждает ЯП, который соответствует теориям.

нет, Саш. можно и не мне, можно спросить кого-то другого

Но это не так.

ну да, это очевидно

это так

Ну это не быстрый процесс, те же микромягкие сейчас инфраструктуру раста потихонечку развивают, ещё время не пришло, но и не факт , что стрельнет

Но я тебе выше привёл пример, который явно показывает, что это не так.

во-первых, любой язык соответствует теориям (это мы уже вывели выше)
во-вторых, побеждает тот, который соответствует им лучше, то есть позволяет решать на нем задачи более эффективно

где?

Бля. Ты опять за своё. Вот после «во-первых» захотелось постать нахуй. Давай без этого, а?
А во-вторых, на примере хаскеля мы видим, что это не так.

ну я и не про раст сейчас. Раст просто попался под руку, как язык, который выстрелил именно благодаря тому, что в него напихали реализаций свежих и крутых теорий, которые позволили программистам эффективнее решать на нем задачи

С причиной выстреливания раста я соглашусь, кстати. Такая себе площадка для экспериментов, которая многим стала интересна.

первое "во-первых" - это факт. Можешь послать, но у этого даже есть название - изоморфизм Карри-Ховарда. Поэтому давай закроем этот вопрос.
А "во-вторых" ты пытаешься сейчас опровергнуть единичным примером и у тебя не получается. Потому что Хаскель - внезапно - хорошо соответствует одним теория и плохо - другим. И у него есть довольно серьезные проблемы с эффективностью.

Я пытаюст послать не за то, что против, а за то, что ты пытаешься сделать вид, что ты умный, тупо капитанствуя. Этот твой приём немного задалбливает и не несёт в себе никакого смысла. Как и вся эта фраза.

Единичный пример тоже пример. И да, ты начал сливаться со словами «плохо - другим». Потому что под «другим» подразумевается совсем не то, о чём ты говорил выше. Математически язык максимально стройный, просто он нахуй никому не всларся (это если аккуратно высказаться). Но победили другие языки, которые соответствуют теориям из совсем других наук. Социология, например, психология, экономика и вот это всё. И ты сейчас скажешь, что это тоже математика, но, вот пока что современная наука не научилась просчитывать психологиеские аспекты.

Соответствие языка математическим теориям это просто фетиш. Очень малая часть того, что должно быть в языке.