> -----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 Bob > Paddock > Sent: Tuesday, May 01, 2012 1:34 PM > To: Gabriel Dos Reis > Cc: avr-gcc-list@nongnu.org > Subject: Re: [avr-gcc-list] using exceptions > > > a subgroup > > of students (under my direction) has set up to write a > > compiler for a subset > > of Haskell targetting AVR. This is quite an exciting research > project. > > 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.
Cool! Thanks for the links, Bob! :-) Eric _______________________________________________ AVR-GCC-list mailing list AVR-GCC-list@nongnu.org https://lists.nongnu.org/mailman/listinfo/avr-gcc-list