Pony

Pony предотвращает гонки данных. Он не может помешать вам писать условия гонки в вашей программе. Чтобы узнать больше о различиях между условиями гонки и гонками данных, ознакомьтесь с книгой «Условие гонки против гонки данных» Джона Регера.

В связи с Ryelang теперь вместо Rust видится golang, а архитектура tiddlywiki продолжает не давать покоя ... Такой кентавр можно оптимизировать и что-то может ещё привнести типа персистентности и контентной адресации, но в целом хочется систему мета моделирования конструировать на базе этих уже существующих артефактов. Из моего Telegram ...

То есть, казалось бы, выбор сделан и уже можно обойтись без чтения подобных комментариев ... Но очень трудно избавиться от искушения посмотреть очередной новый проект ... или просто проект, о котором ещё ничего не знаешь или просто забыл, что уже встречал, но не посмотрел и прошёл мимо, занятый другими вещами ... Reason (Ocaml), Vale, Inko, Hare ... Но уже не столько интересуют, собственно, концепции, сколько их формулировки ... И в этом смысле, именно, Ponylang, точнее его документация или спецификацция показалась содержательной, но даже не столько со стороны описания трюков распределения памяти, сколько отношению к концепции ТИПОВ ДАННЫХ ...

P.S. А, вообще, пора уже, хотя бы для себя продемонстрировать связь между ТИПАМИ и ИНТЕРПРЕТАТОРАМИ * ... И, опять же в рамках модели акторов, кстати, что и заставило внимательнее начать вчитываться в описание проекта Pony.

 ... А ещё на неделе подумалось о связи скобок и сложных препозиций ... как продолжение осознания того, что, то же ЕСЛИ ... ТО ... Это просто имппликация, которая описывается той же обычной стрелкой ... И, видимо это и есть та самая реальная база всего, та самая модель, синхроно возникающая при выделении любого объекта ... вместе с его связью ... хоть с чем ... например, с клозурой ... Без сопряжения мы просто ничего не сможем сделать ... Отсюда же становится понятным провал логических ЛОГЛАНА и ЛОЖБАНА с их "функциональным скобочным синтаксисом" вместо аппликативной природы той же ЛОГИКИ ... Если нам нужна арность, то тогда и нужны скобки ...