If it compiles, it works

[amarao]

Внезапно, языки программирования с высокими перилами (большим количеством проверок и защит от nonsensical code) для vibe coding куда полезнее, чем языки с расслабленными правилами, которые принимают что попало.

Если код не компилируется, вайбинг продолжается до тех пор, пока не компилируется.

А вот в условных питонах и js'ах всякие редкие условия (обработка ошибок, неожиданные типы данных в переменных и т.д.) полностью на совести LLM, а как мы знаем, no consciousness, no conscience, так что...

Возможно, развитием вайб-кодинга станет появление языка программирования максимального уровня фашизма, с минимумом срезанных углов. Никаких неявных typecasting'ов (даже в безопасных случаях), никакого operation precedence (писать всё в скобках). У того же Rust'а - отказ от неявного clone (надо? пиши clone) и т.д.

Может быть, не языка программирования, а набора правил, которые будут энфорситься на уровне компилятора (--no-sugar).

Comments

[juan_gandhi]

Как интересно; вроде бы ожидалось всё наоборот, машина врать не будет. А она именно что врёт постоянно. И тогда нужны типы. Раст без unsafe.

[ichthuss]

Так єто же ожидалось для алгоритмических, детерминированніх, математически обоснованніх машинніх решений. А не для гадания на нейрогуще.

[provokatorz]

JetBrains уже во всю стараются. Хотят повторить успех Kotlin на этой стезе.

[sab123]

Я подозреваю, что языки для ИИ должны быть другими, многословными (в отличие от немногословных языков для людей). Например, никакого перечисления параметров для функций по порядку, а только по именам. Ну и чтоб ИИ сраз уписал много комментариев про то, что и почему он делает.

[amarao]

Удивительно, но это вещь, которую я часто требую на ревью от человеков: если есть возможность добавить имя, добавь. Имя живёт лучше, чем комментарий в коде.

В сложных вычислениях промежуточные переменные позволяют назвать кусок вычислений. Именованные аргументы. Разделение линейного кода на секции (функции) позволяет дать им имена.

Возможно, literate programming от Кнута, с добавленной строгостью валидации, может оказаться снова востребованным.

[sab123]

Я как раз придерживаюсь противоположного мнения: не нужно создавать длинные имена, для этого есть комментарии. Для разделения длинных последовательностей кода на куски тоже есть комментарии в виде полосочек, которыми надо активно пользоваться.

//------------------
//==================

[anonim_legion]

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

Немногословные языки появились только из-за культурных особенностей двух типажей: инженегров-телефонистов, изъясняющихся междометиями и математиков-абстракционистов, которым хочется писать коротенькие закорючки, у них рука за полётом гениальной мысли не успевает, а если кому это непонятно, так пусть учит (идёт на мехмат и там молится). Обе этих субкультурки отличаются gatekeeping'ом (см. "матан и метан"), хотя и меньшим, чем у медиков, поэтому любят языки со встроенными спотыкалочками.

[sab123]

Есть разные степени немногословности. Нормальные языки программиования вполне себе немногословные, хоть и не как Окамл какой.