AZ
Даже раст это не про математическую стройность, а про то, что подрасло покаление людей, которым захотелось чего-то нового низкоуровнего, а си не захотелось.
Size: a a a
2021 April 05
AZ
Т.е. про психологию.
N
пришлось капитанствовать, потому что ты выше с этим спорил. Возможно, мы друг друга неправильно поняли.
а вот с остальным я, внезапно, согласен. Все так. И именно это я выше и защищал, потому и спорил с твоим "ты за своими теориями не видишь ЧЕГО-ТО ЕЩЕ"
а вот с остальным я, внезапно, согласен. Все так. И именно это я выше и защищал, потому и спорил с твоим "ты за своими теориями не видишь ЧЕГО-ТО ЕЩЕ"
AZ
Го это, во-многом, маркетинг. Гуугл его очень неплохо продвинул.
N
если есть "что-то еще" - это просто значит, что надо построить теорию, чтобы это "что-то еще" описать. А потом на основе этой теории сделать язык
AZ
Коль, ты говорил только про математические теории. Ну или я неправильно прочитал — готов с этим согласиться.
N
ну, ты выше верно заметил, что в других областях действуют тоже математическими методами. Но я старался использовать словосочетание "научный метод"
AZ
Ты выше писал про то, что теории требуют развития. И это правильно. Да, «что-то ещё» это не что-то магическое, конечно же. Просто это то, что пока что плохо описывается теориями.
N
все верно. И отсюда я делаю шаг дальше и прихожу к тому, с чего мы начали - мы на основе этого "чего-то еще" строим какую-то теорию, а потом ее реализуем. И в зависимости от того, насколько хорошо работает эта выстроенная теория - язык получается хороший или плохой
AZ
Я уверен, что в будущем мы продвинемся до того, что сможем строить модели, которые будет хорошо сочетать и программстские теории, и психологию, и всё что угодно ещё. Но я надеюсь не дожить но этого дня.
N
у нас уже сейчас есть плагины для IDE, которые нейросеткой тебе подсказывают, что и где написать из кода, причем вписываясь в общий кодстайл твоего проекта
AZ
А пока я буду рассказывать, что у тебя в голове есть какие-то теории, а есть реальная жизнь, в которой они работают только в очень узких пределах.
AZ
Да, я знаю. Но это немного про другое, всё-таки.
N
а я буду рассказывать, что реальная жизнь моделируется теориями, а формальные системы потипу языков программирования базируются на этих теориях и никак иначе. И "реальный мир" - это лишь комбинация теорий, часть хорошо изученных, часть построенных тобой самим внутри головы и чаще всего ошибочных
AZ
Понимаешь в чём дело. Ни ты, ни я не можем строить достоверных теорий касательно того, хорош свифт или плох. Потому что у нас тупо не хватает для этого, собственно, теорий.
Мы можем строить гипотезы. Но это совсем другой уровень доверия.
Мы можем строить гипотезы. Но это совсем другой уровень доверия.
SZ
Знаю где хаскель в проде
AZ
Я ниже писал, что тоже знаю. И чё?
SZ
Так есть или нет?
AZ
Блин, я на Ocaml в прод писал…
AZ
Нет.