On Tue, May 1, 2012 at 3:35 PM, Weddington, Eric <eric.wedding...@atmel.com> wrote: >> -----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
Thanks to both of you. -- Gaby _______________________________________________ AVR-GCC-list mailing list AVR-GCC-list@nongnu.org https://lists.nongnu.org/mailman/listinfo/avr-gcc-list