23/05/2020¶
Интересное сравнение Rust и Haskell на поле написания компиляторов для функциональных языков, с ссылками на бенчмарки:
https://old.reddit.com/r/haskell/comments/gok70o/simple_haskell_is_best_haskell/frj9hty/
#fp #haskell #rust #compiler #education
21/05/2020¶
На этой неделе появился официальный self-hosted дистрибутив функционального языка с зависимыми типами Idris 2.
На текущем этапе он использует в качестве бэкенда один из трех компиляторов Scheme: Chez, Racket или Gambit. Как и в первой версии Idris, есть инфраструктура для создания собственных бэкендов на основе нескольких IR c лямбдами (обычный LC, lifted форма, ANF, виртуальная машина с замыканиями).
https://github.com/idris-lang/Idris2/
Why is Idris 2 so much faster than Idris 1? https://www.type-driven.org.uk/edwinb/why-is-idris-2-so-much-faster-than-idris-1.html