Hello! Imagine I wrote a program in Haskell and want to use it on a microcontroller device. AFAIK, Haskell programs are first converted to C code and then compiled by gcc. Is it possible (at least theoretically) to write a program in Haskell, then convert it into C and then compile the C program into an executable, which is optimized for the microcontroller? Thanks in advance Dmitri Pissarenko -- Dmitri Pissarenko Software Engineer http://dapissarenko.com
On Tue, 25 Jan 2005, Dmitri Pissarenko wrote:
Is it possible (at least theoretically) to write a program in Haskell, then convert it into C and then compile the C program into an executable, which is optimized for the microcontroller?
I would guess so. Wasn't there someone mentioning here a little while ago some project where they strip most of System.* from the libraries and get something that might be suitable for embedded applications? What was that called? Anyone remember? -- Mark
Mark Carroll wrote:
Wasn't there someone mentioning here a little while ago some project where they strip most of System.* from the libraries and get something that might be suitable for embedded applications? What was that called? Anyone remember?
hOp: http://www.macs.hw.ac.uk/~sebc/hOp/ -- Ben
Ben Rudiak-Gould wrote (on Tue, 25 Jan 2005 at 14:49):
> Mark Carroll wrote: >> Wasn't there someone mentioning here a little while ago >> some project where they strip most of System.* from the libraries and get >> something that might be suitable for embedded applications? What was that >> called? Anyone remember? > hOp: > http://www.macs.hw.ac.uk/~sebc/hOp/ Something pretty impressive built on hOp: http://www.cse.ogi.edu/~hallgren/House/ Page fault handlers written in Haskell! Peter Hancock
On Tuesday 25 January 2005 14:48, Dmitri Pissarenko wrote:
Imagine I wrote a program in Haskell and want to use it on a microcontroller device.
You should take a look at Malcolm Wallace's thesis : ftp://ftp.cs.york.ac.uk/pub/malcolm/thesis.html He worked on using Haskell in embedded computer systems. Cheers, Jérémy.
participants (5)
-
Ben Rudiak-Gould -
Dmitri Pissarenko -
hancock＠spamcop.net -
Jérémy Bobbio -
Mark Carroll