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?
I was wondering, is it possible to integrate haskell’s powerful type system into a
Share
Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
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?
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.