Metasepi team meeting

Table of contents

• Slide
• Demo video (ATS programming demo on Arduino Uno + LCD)
• Scene Photographs

We had “Metasepi team meeting #19” at Open Source Conference 2014 Tokyo/Fall. I explained ATS2 demo application running on Arduino Uno hardware at the meeting.

I think you know the Arduino Uno. It has following specification.

• Microcontroller: ATmega328 (Harvard architecture 8-bit RISC)
• Flash Memory: 32 kB
• SRAM: 2 kB
• Clock Speed: 16 MHz

The Arduino architecture is hard for functional programming, with following reason.

• We can’t use smart pointer on the Harvard architecture.
• 16-bit address bus is bad for smart pointer.
• 2 kB memory is too small for GC or malloc heap.
• We can’t construct any dynamics values without malloc heap.

However, ATS2 language is easy to write code for the architecture, and the ATS2 functional program running on it is safe using dependent type and linear type. Also ATS2’s linear type realizes safe programming without any GC and any malloc. We believe this ATS2 characteristics is good to design IoT devices.

The demo application source code is found at https://github.com/fpiot/arduino-ats. Let’s discuss safer IoT future at Arduino Forum. De-gesso.

Slide

Demo video (ATS programming demo on Arduino Uno + LCD)

Scene Photographs