Оставить как есть. Пока я думал только про секвентальный код.

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

И сделать проверку типов через gradual-typing вроде https://github.com/josefs/Gradualizer только с вычислениями dt.

Коллеги почему rabar не подхватывает файл ./config/vm.args ?

команда запуска
rebar3 as dev_i shell

часть конфига

{erl_opts, [ debug_info,
 {parse_transform, lager_transform},
 {vm_args, ["config/vm.args"]},
 {sys_config, ["config/sys.config"]}
]}.

{profiles, [
{dev_i, [
   {relx, [
     {sys_config, "./config/sys_imac.config"},
     {vm_args, "./config/vm.args"}
   ]},
   {shell, [
       {config, "./config/sys_imac.config"},
       {vm_args, "./config/vm.args"}
   ]},
…

https://www.rebar3.org/docs/configuration#section-shell для шелла нет vm.args

https://www.rebar3.org/docs/commands#section-shell задавайте аргументы в командной строке

я бы хотел, чтобы rebar запустил  erl  с флагом +pc unicode

за ссылку спасибо, но там не описана возможность указания флагов запуска erl

посмотри user_drv в man rebar3 может поможет

единственное что я могу сказать по теме, так это то, что receive можно сделать функцией с типом receive :: () -> Σ (t : Type) t

Сделать-то можно, вопрос в том, как провалидировать это?

вообще я думал что проще будет написать новый язык с несколько другими примитивами, чем у эрланга

Написать-то может и проще, но сделать так, чтобы им пользовались будет точно сложнее. Тут идея в том, чтобы немного прокачать Э (пусть и не делая из него супер языка), что в реальной жизни намного проще и быстрее найдет применение.

ну тогда надо расширять succ typing зависимыми типами

ну вот я не уверен, что нужно прокачивать именно succ typing

мне gradual typing кажется больше подходящим

вот что нашел
>> rebar shell does not execute erl ... command actually, but only tries to replicate its behaviour.

ты попробовал запустить

rebar3 shell —user_drv_args='...'

?

да

запускается, но ключи не воспринимает