Госпади бже мой... да синтаксис фигня. Всегда можно налепить свой синтаксис сверху. Вообще там 0.1.0.0 версия)
Прикол не в синтаксисе)

Этого, кстати, раст не делает.

let x = String::new("test");
drop(x);
let y = String::new("fooo");

как я понял, в neut будет одна аллокация

А если закрасноглазить в завтипы самостоятельно, то сколько ещё оптимизаций можно будет сделать банально в типах ведь.

Потому что лисп легко и ненапряжно парсить

Мне лично норм было бы если бы норм FP в Rust занесли. Даже без типов как в Идрис. Хотя да. Идея если забыть про синтаксис просто офигенная.

Для исследовательского языка — самое то

+

Взято чтоб не париться. Чуваку интересно идею проверить, а не эргономику синтаксиса дрочить

Ну сделай парсер, который переводит в s-expressions, делов-то, будет у тебя другой синтаксис

У нас так в Я. местный диалект SQL работает
Сложный SQL-подобный синтаксис компилируется в s-exp, с которыми просто работать

И в целом это популярно

Ну норм тогда.

Один фиг мне не нравиться. Пофиг по какой причине он такой

Раст в этом плане форкнулся от стандартного ФП. За счёт того, что там владение, заимствование и эксклюзивное заимствование выражено на уровне языка (lang item), там разъехались типы функций в три стороны как лебедь-щука-рак. В результате огромный пласт наработок ФП (вроде тех же монадок) тупо отвалился и неприменим в текущем виде. Было высказано ряд умных мнений, что Расту нужно развиваться в сторону экспресивности трейтов, а не типов, то есть GAT'ы, и потом дальше от них отталкиваться, тогда может что-то и выгорит. Но это пока невспаханное поле для исследований, которое никто толком не исследует в данный момент (насколько мне известно).

Раст шёл от OCaml, который императивный, всё же

А здесь, в neut, всё на привычных типчиках, без извращений вида "каждая функция - уникальный тип" и с хорошим таким вагоном завтипной "магии".

Просто фундаментальный дизайн круче на голову.

А то и на две)

Он реально очень крутой, но совершенно неюзабельный же. Ждём, пока придёт какой-нибудь практик и воплотит концепт в жизнь.

Это понятно. Меня просто очень сильно впечатлил сам концепт. Если его кто-то родил всё-таки - значит будущее есть)