The document discusses the ATS programming language. ATS is presented as a safer alternative to C for systems programming due to its use of dependent types, linear types, and optional garbage collection. It can be compiled to run without a runtime on baremetal systems like an Arduino. The author is looking to spread awareness and use of ATS in Japan by starting a user group and showcasing its use for functional IoT programming.
2. Who am I?Who am I?Who am I?Who am I?Who am I?
â http://www.masterq.net/â http://www.masterq.net/â http://www.masterq.net/â http://www.masterq.net/â http://www.masterq.net/
â Self employed software engineerâ Self employed software engineerâ Self employed software engineerâ Self employed software engineerâ Self employed software engineer
â Trade name := METASEPI DESIGNâ Trade name := METASEPI DESIGNâ Trade name := METASEPI DESIGNâ Trade name := METASEPI DESIGNâ Trade name := METASEPI DESIGN
â Founder of Metasepi Projectâ Founder of Metasepi Projectâ Founder of Metasepi Projectâ Founder of Metasepi Projectâ Founder of Metasepi Project
â A Debian Maintainerâ A Debian Maintainerâ A Debian Maintainerâ A Debian Maintainerâ A Debian Maintainer
â 10 years' experience in developing
OS using NetBSD
â 10 years' experience in developing
OS using NetBSD
â 10 years' experience in developing
OS using NetBSD
â 10 years' experience in developing
OS using NetBSD
â 10 years' experience in developing
OS using NetBSD
4. Want the safer language...Want the safer language...Want the safer language...Want the safer language...Want the safer language...
It's the ATS http://www.ats-lang.org/ !It's the ATS http://www.ats-lang.org/ !It's the ATS http://www.ats-lang.org/ !It's the ATS http://www.ats-lang.org/ !It's the ATS http://www.ats-lang.org/ !
â Syntax like MLâ Syntax like MLâ Syntax like MLâ Syntax like MLâ Syntax like ML
â Dependent typesâ Dependent typesâ Dependent typesâ Dependent typesâ Dependent types
â Linear typesâ Linear typesâ Linear typesâ Linear typesâ Linear types
â Without any runtimeâ Without any runtimeâ Without any runtimeâ Without any runtimeâ Without any runtime
â Optional GCâ Optional GCâ Optional GCâ Optional GCâ Optional GC
5. Demo on BareMetal ArduinoDemo on BareMetal ArduinoDemo on BareMetal ArduinoDemo on BareMetal ArduinoDemo on BareMetal Arduino
https://github.com/fpiot/arduino-mega2560-atshttps://github.com/fpiot/arduino-mega2560-atshttps://github.com/fpiot/arduino-mega2560-atshttps://github.com/fpiot/arduino-mega2560-atshttps://github.com/fpiot/arduino-mega2560-ats
6. Demo using RTOS threadsDemo using RTOS threadsDemo using RTOS threadsDemo using RTOS threadsDemo using RTOS threads
https://github.com/fpiot/chibios-atshttps://github.com/fpiot/chibios-atshttps://github.com/fpiot/chibios-atshttps://github.com/fpiot/chibios-atshttps://github.com/fpiot/chibios-ats
11. Disseminate ATS to JapanDisseminate ATS to JapanDisseminate ATS to JapanDisseminate ATS to JapanDisseminate ATS to Japan
â Trying! Trying!â Trying! Trying!â Trying! Trying!â Trying! Trying!â Trying! Trying!
12. Try1: Japan ATS User GroupTry1: Japan ATS User GroupTry1: Japan ATS User GroupTry1: Japan ATS User GroupTry1: Japan ATS User Group
http://jats-ug.metasepi.org/http://jats-ug.metasepi.org/http://jats-ug.metasepi.org/http://jats-ug.metasepi.org/http://jats-ug.metasepi.org/
â In a parody of http://jaws-ug.jp/â In a parody of http://jaws-ug.jp/â In a parody of http://jaws-ug.jp/â In a parody of http://jaws-ug.jp/â In a parody of http://jaws-ug.jp/
â Translate ATS docs into Japaneseâ Translate ATS docs into Japaneseâ Translate ATS docs into Japaneseâ Translate ATS docs into Japaneseâ Translate ATS docs into Japanese
â Push the Facebook like button, now!â Push the Facebook like button, now!â Push the Facebook like button, now!â Push the Facebook like button, now!â Push the Facebook like button, now!
13. Try2: Functional IoTTry2: Functional IoTTry2: Functional IoTTry2: Functional IoTTry2: Functional IoT
http://fpiot.metasepi.org/http://fpiot.metasepi.org/http://fpiot.metasepi.org/http://fpiot.metasepi.org/http://fpiot.metasepi.org/
â Wrestling mat languages fight onâ Wrestling mat languages fight onâ Wrestling mat languages fight onâ Wrestling mat languages fight onâ Wrestling mat languages fight on
â Functional programming on tiny chipâ Functional programming on tiny chipâ Functional programming on tiny chipâ Functional programming on tiny chipâ Functional programming on tiny chip
â Chip: AVR, MSP430, ARM Cortex-Mâ Chip: AVR, MSP430, ARM Cortex-Mâ Chip: AVR, MSP430, ARM Cortex-Mâ Chip: AVR, MSP430, ARM Cortex-Mâ Chip: AVR, MSP430, ARM Cortex-M
â Language: Ajhc, ATS, Rustâ Language: Ajhc, ATS, Rustâ Language: Ajhc, ATS, Rustâ Language: Ajhc, ATS, Rustâ Language: Ajhc, ATS, Rust
â Which language becomes the
champion for system programming?
â Which language becomes the
champion for system programming?
â Which language becomes the
champion for system programming?
â Which language becomes the
champion for system programming?
â Which language becomes the
champion for system programming?