> -----Original Message----- > From: avr-gcc-list-bounces+eric.weddington=atmel....@nongnu.org [mailto:avr- > gcc-list-bounces+eric.weddington=atmel....@nongnu.org] On Behalf Of > Weddington, Eric > Sent: Tuesday, May 01, 2012 2:06 PM > To: Bob Paddock; Gabriel Dos Reis > Cc: avr-gcc-list@nongnu.org > Subject: Re: [avr-gcc-list] using exceptions > > > > > There is the Atom subset of Haskell meant for embedding, if you are > > not aware of it: > > > > "Atom is a Haskell DSL for designing hard real-time embedded software. > > At Eaton, we use it for automotive control systems. Based on guarded > > atomic actions, and similar to software transactional memory, Atom > > enables highly concurrent programming without the need for mutex > > locking. In addition, Atom performs compile-time task scheduling and > > generates code with deterministic execution time and constant memory > > use, simplifying the process of timing verification and memory > > consumption in hard realtime applications. Without mutex locking and > > run-time task scheduling, Atom can eliminate the need and overhead of > > RTOSs for many embedded applications." > > -- http://tomahawkins.org/ > > > > You and yours might also find the http://mbeddr.wordpress.com/ project > > of interest. >
So there's this blog report http://leepike.wordpress.com/2009/05/05/an-atomic-fibonacci-server-exploring-the-atom-haskell-dsl/ that links to this blog: http://blog.sw17ch.com/wordpress/?p=111 That describes using Atom to blink an LED on an Arduino. ;-) And this was done back in 2009, no less. So there is already a subset of Haskell being used on an AVR. :-D How interesting! Eric _______________________________________________ AVR-GCC-list mailing list AVR-GCC-list@nongnu.org https://lists.nongnu.org/mailman/listinfo/avr-gcc-list
