I launched my career on developing embedded devices at Ricoh Company, Ltd.[0], and also learned application design using functional language such like Haskell[1]. I found Metasepi project[2] what is trying to apply strong type to embedded programming. For my first challenging, I developed an embedded Haskell compiler named Ajhc[3], and published some research papers[4].
Today, I choose ATS[5] language as embedded functional language, and found Japan ATS User Group[6] what holds Japanese translations about the language. And I'm implementing these technology on tiny MCU[7] such like ARM Cortex-M series[8] and 8bit AVR[9] for practical use.
Metasepi is very experimental and ambitious proje...