Haskell-like type system in C

Question

I was wondering, is it possible to integrate haskell's powerful type system into a language like C, and still be able to do efficent low level programming?

score 11 · Accepted Answer · edited Mar 13 '11 at 16:10

There have been attempts to create low-level languages which use advanced type systems to make low-level programming safe. Those type systems are often actually even more advanced than Haskell's and allow things like ensuring at compile-time that pointers are accessed safely and arrays are not accessed out of bounds.

One such language is ATS (Applied Type System) which besides many of Haskell's type system features also supports linear and dependent types.

score 3 · Answer 2 · answered Mar 13 '11 at 15:54

3

I've recently stumbled upon something related:

The Habit Programming Language (lambda-the-ultimate.org)

It's a dialect of Haskell, but geared towards low-level systems programming.

answered Mar 13 '11 at 15:54

Christian Klauser

4,416
3
31
42

score 1 · Answer 3 · answered Sep 14 '12 at 22:16

1

This is basically the goal of Mozilla's http://www.rust-lang.org/

answered Sep 14 '12 at 22:16

singpolyma

10,999
5
47
71

score 1 · Answer 4 · answered Sep 18 '11 at 01:11

1

See also BitC, a language being developed to build a formally verified capability secure operating system.

answered Sep 18 '11 at 01:11

L̲̳o̲̳̳n̲̳̳g̲̳̳p̲̳o̲̳̳k̲̳̳e̲̳̳

12,464
4
50
55

Haskell-like type system in C

4 Answers4