[Noisebridge-discuss] Discussion Group: Function Programming in Embedded Systems.

[munkeyfreenix batcat]

I  just read a book you can probably find cheap online, i think it was
called Embedded Linux Primer. The book lays it out for you, with kernel
source code, explanations of how to set up a crossdev toolchain, and a whole
bunch of other goodies. plus, the amount you learn about the kernel is
impressive. as always, the computer book stops short of the really valuable
stuff, and doesn't answer all your new questions, but it gets you thinking.
the chapter on the bootloader and boostrap loader was really good too.

cheers.
justin

On Fri, May 22, 2009 at 5:50 AM, Jason Dusek <jason.dusek at gmail.com> wrote:

>  I'd like to put together a discussion group for functional
>  programming in embedded systems.
>
>  A good example of projects in this vein is Atom, for Haskell;
>  many other presentations present the same basic idea. It's
>  something like this:
>
>  .  The system is broken in to little pieces, each of which is
>    associated with some C that will be run on the embedded
>    system.
>
>  .  In a strongly-typed, functional language, rules for
>    composing the little pieces are stated in terms of the type
>    system. These rules are subject to formal verification.
>
>  .  If the pieces turn out to make a mess of the rules, pieces
>    and rules are rewritten. Rinse and repeat.
>
>  .  A verified system is assembled according to the rules.
>
>  I'd like to talk with people who know something about embedded
>  systems to help assess the validity and scope of this
>  approach, using Atom. Naturally, as the Haskell teacher, I am
>  going to work with everyone to make Haskell transparent. I
>  have no insight into embedded systems (no idea how to place
>  code on a device, &c.) and will need some help there.
>
>  Please do write in if you are interested so we can work out a
>  time to meet.
>
> --
> Jason Dusek
>
>
>  |...Atom...|
>
> http://leepike.wordpress.com/2009/05/05/an-atomic-fibonacci-server-exploring-the-atom-haskell-dsl/
> _______________________________________________
> Noisebridge-discuss mailing list
> Noisebridge-discuss at lists.noisebridge.net
> https://www.noisebridge.net/mailman/listinfo/noisebridge-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.noisebridge.net/pipermail/noisebridge-discuss/attachments/20090523/2b948faa/attachment-0003.html>