Hi all, TGIF! And since it is friday, I started thinking on some alternatives to program PIC processors... I don't know how many of you are familiar with the PIC family of microcontrollers http://www.microchip.com/. They are RISC controllers with a wide range of complexity, starting on 8-bit and up to 32-bit, but the architecture is basically the same: - RISC - Register based (from 20-16k general purpose registers) - Limited hardware call stack. While studying Haskell, the functional bug bit me and I realized that this architecture is somewhat not well suited for traditional compilers. I suddenly started thinking on how one could implement some kind of declarative language that could easy the programming of those beasts. One of the approaches I thought was to use a block based programming (like Simulink), defining "atomic" operations that would be wired together. Do you think a compiler for this "block language" could this be implemented in Haskell? What about using the Arrow monads? Best Regards -- Rafael Gustavo da Cunha Pereira Pinto Electronic Engineer, MSc.