X
получается раст ФП?
Раст - мультипарадигма
Size: a a a
2020 August 01
X
Не знаю, почему, может, потому что я долбоёб, но я хочу написать встраиваемый в раст посредством макросов prolog
EG
Не знаю, почему, может, потому что я долбоёб, но я хочу написать встраиваемый в раст посредством макросов prolog
Зачем макросы?
EG
Ящитаю, пролог православно писать только на типах
EG
И в компайл-тайме
X
Ящитаю, пролог православно писать только на типах
Не представляю, как это должно выглядеть
EG
Система типов Rust Тьюринг-полная
EG
*кроме ограничений на глубину рекурсии
EG
Соответственно, может выполнять всё, что можно выполнять на компьютере, включая интерпретатор пролога.
X
*кроме ограничений на глубину рекурсии
Хвостовая не оптимизируется компилятором?
EG
Хвостовая не оптимизируется компилятором?
В типах?
X
Рекурсивные типы?
EG
Рекурсивные типы?
Ну, не бесконечно рекурсивные, разумеется.
X
Ну, допустим
X
На как будет выглядеть пролог, построенный на типах раста?
EG
struct Wrapper<T>(T);
type t1 = Wrapper<()>;
type t2 = Wrapper<t1>;
type t3 = Wrapper<t2>;
// Через некоторое время Rust сдастся
EG
https://sdleffler.github.io/RustTypeSystemTuringComplete/
Могу предложить только какую-то версию брейнфака
Могу предложить только какую-то версию брейнфака
EG
H
автор феноменально хуёво объясняет
H
я ничего не понял когда пытался въехать