Функциональные языки, предназначающиеся для LLVM
Есть ли любые языки, которые предназначаются для LLVM что:
- Со статическим контролем типов
- Используйте вывод типа
- Функциональны (т.е. лямбда-выражения, закрытия, перечисляют примитивы, перечисляют понимания, и т.д.),
- Имейте первый класс объектно-ориентированные функции (наследование, полиморфизм, mixins, и т.д.)
- Имейте сложную систему типов (дженерики, ковариантность и контравариантность, и т.д.)
Scala является всеми ими, но только нацелен на JVM. F# (и в некоторой степени C#) больше всего, если не все они, но только предназначается для.NET. Какой подобный язык предназначается для LLVM?
36
задан Matthew 10 June 2010 в 06:36
поделиться
1 ответ
Существует серверная часть Haskell (GHC) , нацеленная на LLVM.
Вы также можете попробовать использовать F # через Mono-LLVM .
Кроме того, проект VMKit реализует как JVM, так и .NET CLI поверх LLVM; он все еще находится на начальной стадии, но как только он станет зрелым, вы сможете использовать его с F # или любыми функциональными языками, ориентированными на JVM (Scala, Clojure и т. д.)
42
ответ дан 27 November 2019 в 06:02
поделиться
Другие вопросы по тегам: