Мейнстримных языков подобных пока толком не наблюдается. Сплошные жабы да дотнеты и поверх них скалы и F#. Окамл разве что, но его массово не наблюдается.
из программ на этих языках можно получить native code бинарник -- значит компиляторы. А что добавлено ещё несколько стадий компиляции, в том числе через промежуточные файлы -- так это мелочи.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2013-01-25 04:24 pm (UTC)Окамл разве что, но его массово не наблюдается.
no subject
Date: 2013-01-25 04:25 pm (UTC)с другой стороны, и rust особо не наблюдается, я о нём услышал пару дней назад.
no subject
Date: 2013-01-26 01:31 am (UTC)Для Agda есть уже свой backend, но он в зачёт пока не пойдёт.
no subject
Date: 2013-01-26 09:00 am (UTC)no subject
Date: 2013-01-25 05:16 pm (UTC)Из немейнстрима D еще - тоже нативный код и GC. A для храбрых духом - ATS. После него Rust выглядит детской поделкой.
no subject
Date: 2013-01-25 05:19 pm (UTC)