Functional programming on 8-bit Arduino! (with ATS language)

Functional programming on 8-bit Arduino! (with ATS language)

No GC. No malloc. With Dependent type and Linear type! It's written with ATS language http://www.ats-lang.org/. The source code is found at https://github.com/fpiot/arduino-ats/blob/master/demo/lcd_ats/DATS/main.dats.

http://www.nicovideo.jp/watch/sm24680530