И любой безтиповый в том числе

нет ни одного исполнителя, на котором можно было бы запустить программу на полном по тьюрингу языке

Нет там аргумент от типизации идёт в случае окамла

Это гуглится

*монотиповый

Вообще, я вижу реализации МТ на окамле прямо на гитхабе

Ну один тип - это настолько не интересная система типов, что её в таких языках можно просто не рассматривать как её наличие.

да, но всё равно вводит в заблуждение

Ну вообще в литературе говорят untyped lambda calculus, что на русский как нетипизированный и переведтся.

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

В типизированном языке

То есть например в с++ она даже запускается

Если сам породокс выразим то вообще весело

Получается у плюсов теперь и система типов противоречивая

В общем вывод такой. Надо писать на хаскеле и не ебать мозги кек

Тоже верно. Хорошо что мы тут не про лямбда калкулус

А что такое "высокая реактивность"?

Всем доброго дня. Есть ли кто то из городов Буча или Черновцы? Ищем в офисы специалистов по rust/actix-web.

Так же рассмотри варианты сотрудника на удалёнку.
Приветствуется знание GraphQL, Apollo, Node.js
В проекте используем их вместе с actix-web, react+redux

Не блокчейн )) Работаем над групповыми переписками с высокой нагрузкой и реактивностью.

PS: Если кто то занят, но имел опыт создания групповых переписок в высоконагруженных проектах и может подсказать по архитектуре, то были бы признательны.

Видимо эвент дривен

А вообще в вакансиях по расту много булщит слов я заметил