Вышел Idris 2 версия 0.2.0

Да и Racket перекатывается на backend Chez Scheme

Idris 1 vs. Idris 2:

https://www.type-driven.org.uk/edwinb/why-is-idris-2-so-much-faster-than-idris-1.html

спасибо за новость.

А вот это хорошая новость.

Да они уже пару релизов как ready for production use. Ещё не заменил родной backend, но процесс идёт.

Тут вот есть бенчмарки - https://blog.racket-lang.org/2020/02/racket-on-chez-status.html

Меня дико позабавило, что схемка по производительности зарулила всех. Вот уж чего я точно не ожидал.

Так chez - инкрементальный aot, может потягаться с go, v8. Был коммерческим продуктом, мало багов, качественная реализация работы с памятью.

теперь Idris 2 – self-hosted, то есть написан на самом себе и собирает сам себя.

метапрог же! coqasm.pdf там правда Coq, а не Asm – да не суть, сам подход интересен.

• Coq, а не Idris.

ещё есть такое: rowl/amber

asm -(gas)-> rowl0 -> rowl-core (lisp-like assembler) -> VM rlvm (DSL in rowl-core) -> +GC, +metaprog (настоящий), +exceptions, +continuations -> rowl1 and toolchain in rlvm : compiler/assembler/disassembler/linker in rlvm => amber +OOP, +dynamic typing, +scripting ==> +packrat parsers, +metasyntax, +macroses, +rich objects >== на этом далее можно навертеть тайпклассы, зависимые типы, полиморфизм высшего порядка и прочее

одной картинкой

что характерно, написано «само на себе». no libc, no other dependencies.

руками. одним толковым японцем.

с ассемблера до js-подобного типа схемы. полностью само на себе, 0 лишних зависимостей.

попутно написан компилятор, ассемблер и линкер.

COMFY-65: статья исходники

ассемблер для 6502, реализованный как lisp DSL на Emacs Elisp. минилисп с макросами, транслирующийся в ассемблер напрямую.

ещё у него про линейные типы в лиспе статья интересная – linear logic лисп без GC.

Scryer Prolog – реализация Prolog на Rust. в дальнейшем, на нём пытаются раскрутить лисп и затем Shen с типами: shentong,shen-minikanren .

azlint – интерпретатор простого императивного недоязычка типа паскаля или сишки, реализованный на прологе.

lisprolog – лисп на прологе.

про макросы на прологе

или здесь

с ассемблера до js-подобного типа схемы. полностью само на себе, 0 лишних зависимостей. попутно написан компилятор, ассемблер и линкер

Какой извращенный хентай o_O