c - programa - if en haskell ejemplos

Sistema tipo haskell en C

Question

Me preguntaba: ¿es posible integrar el potente sistema de tipos de haskell en un lenguaje como C y seguir siendo capaz de realizar una programación eficiente de bajo nivel?

Answer 1

Este es básicamente el objetivo de http://www.rust-lang.org/ de Mozilla

Answer 2

Ha habido intentos de crear lenguajes de bajo nivel que usen sistemas de tipo avanzado para hacer que la programación de bajo nivel sea segura. Esos sistemas de tipo a menudo son incluso más avanzados que los de Haskell y permiten cosas como garantizar en el momento de la compilación que se acceda a los punteros de forma segura y que no se acceda fuera de los límites a las matrices.

Uno de estos lenguajes es ATS (Sistema de tipo aplicado) que, además de muchas de las características del sistema de tipo de Haskell, también admite tipos lineales y dependientes.

Answer 3

Recientemente me he topado con algo relacionado:

El lenguaje de programación de hábitos (lambda-the-ultimate.org)

Es un dialecto de Haskell, pero orientado a la programación de sistemas de bajo nivel.

Answer 4

Vea también BitC , un lenguaje que se está desarrollando para construir un sistema operativo seguro con capacidad verificada formalmente.