What is Functional IoT?
The Internet of Things (or IoT for short) refers to uniquely identifiable objects and their virtual representations in an Internet-like structure. Imagine IoT devices are:
- connected to the internet
- developed in a short time
- storing personal data
- secure
- more intelligence
- inexpensive
C language can design the IoT devices such like that? No, can't. We need the language that is good for system programming with strong type, to develop IoT device more safety more drastic approach.
The Functional IoT is a wrestling mat that strongly typed languages fight on, to become the champion of system programming language.
Demo video
What language will challenge?
ATS (ML)
jhc (Haskell)
Rust (similar to ML and C)
What hardware platform will be supported?
ARM Cortex-M
- Spec: 32-bit, RAM-size 1KiB~256KiB
- Debugger: ST-LINK/V2 (detail), CMSIS-DAP (detail)
- Boards: FSM-55, mbed LPC1768, STM32F4DISCOVERY
TI MSP430
- Spec: 16-bit, RAM-size 128B~66KiB
- Debugger: eZ-FET
- Boards: MSP-EXP430FR5969
Atmel AVR
- Spec: 8-bit, Harvard architecture, RAM-size 64B~16KiB
- Debugger: AVR Dragon (detail)
- Boards: Arduino Uno
How to use?
ATS programing on Arduino (Atmel AVR)
ATS programing on msp430 (TI MSP430)
ATS programing on mbed (ARM Cortex-M)
ATS programing on ChibiOS/RT
ATS programing on Chopstx
Training and Meetup
Planning monthly meetup at Tokyo, Japan.
Donate to Functional IoT
1MLv5r1mCKb8W7qJGgPCTqT5qx5156ChQJ
Who donated on Bitcoin?
License
- The project icon: Copyright (C) 2007 Hugo Fernandes All Rights Reserved. Licensed under a Creative Commons Attribution-ShareAlike 2.0 Generic License.
- This page header photo: Copyright (C) 2008 Emran Kassim All Rights Reserved. Licensed under a Creative Commons Attribution 2.0 Generic License.