Система типа Haskell типа C

Мне было интересно, возможно ли интегрировать систему мощного типа haskell на язык, такой как C, и все еще иметь возможность делать низкоуровневое программирование?

Ответ 1

Были попытки создать языки низкого уровня, которые используют системы расширенного типа, чтобы обеспечить безопасное программирование на низком уровне. Эти системы типов часто на самом деле еще более продвинуты, чем Haskell, и позволяют такие вещи, как обеспечение во время компиляции, что указатели доступны безопасно, а массивы не доступны за пределами границ.

Одним из таких языков является ATS (Applied Type System), который, помимо многих системных функций типа Haskell, также поддерживает линейные и зависимые типы.

Ответ 2

Я недавно наткнулся на что-то связанное:

Язык программирования Habit (lambda-the-ultimate.org)

Это диалект Haskell, но ориентированный на низкоуровневое системное программирование.

Ответ 3

См. также BitC, язык, который разрабатывается для создания официально подтвержденной возможности безопасной операционной системы.

Ответ 4

Это в основном цель Mozilla http://www.rust-lang.org/