Haskell-подобная система типов в C

Question

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

Answer 1

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

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

Answer 2

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

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

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

Answer 3

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

Answer 4

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