Re: [avr-gcc-list] using exceptions

[Gabriel Dos Reis]

On Tue, May 1, 2012 at 3:35 PM, Weddington, Eric
<address@hidden> wrote:
>> -----Original Message-----
>> From: address@hidden [mailto:avr-
>> address@hidden On Behalf Of
>> Weddington, Eric
>> Sent: Tuesday, May 01, 2012 2:06 PM
>> To: Bob Paddock; Gabriel Dos Reis
>> Cc: address@hidden
>> 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