[plt-scheme] Suitability of typed scheme for replacement of c language for microcontrollers

Last year, my student Chris King wrote a prototype of an
Arduino-code-generating compiler for World programs, and wrote some
rudimentary examples.

We dropped the project in favor of more pressing things, but I'm sure
he'd be happy to share what he had.

Shriram

On Sat, Feb 20, 2010 at 10:12 PM, Neil Van Dyke <neil at neilvandyke.org> wrote:
> Seth Burleigh wrote at 02/20/2010 09:20 PM:
>>
>> I am in general interested in programming microcontrollers.
>
> I have an Arduino project that would be nice to do in Scheme, perhaps using
> an existing Scheme->C in front of avr-gcc.  I wasn't thinking that static
> typing is necessary, and I don't need "call/cc" directly, but I am concerned
> about GC (its resource demands, and doing it with real-time constraints).
>
> A related idea I was toying with would be to create a new "#lang" language
> that starts as a transliteration of the Arduino C dialect into sexps, then
> add a more Scheme-y-looking veneer that is entirely syntax transformations
> (still probably keeping static type declaration) and a "define-syntax", then
> see what you still really miss for the things you want to do on the Arduino
> side.
>
> --
> http://www.neilvandyke.org/
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>