Так это си, там это нормально. А раст?

как тот же алиасинг

нет

int f() {
    return f();
}

в ллвм превращается в return undef.

ну у меня всегда этот цикл выбрасывался. может это rustc делал, хз

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

Во во, нужен быстрее импакт, а не красивая архитектура, отлаженные процессы, CI и прочее

Особенно в стартапах, сроки сжаты и всем похуй на юнит тесты (с боем заставлял писать юнит тесты)

Писались только интеграционки, а юниты, ну это как нить потом...

А на перф тесты я уже жаловался

Но вроде выяснили что они не шибко обязательны

"доказывай теоремы", говорили они. "Пишите так, чтобы борров чекер не имел претензий", говорили они

да

а стартапы не нужны

по крайней мере в виде "быстро наговнюкаем что-то"

Стартап стартапу рознь в этом плане.

Как раз самых хардкор по технологиям и свободе в их использовании я видел именно там.

Классно....

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

Есть одна проблема, у тех реализаций, про которые я слышал, время компиляции сильно растёт. (Если про хаскель речь).

Есть ещё вот такая смешная штука: https://anydsl.github.io/