Functional IoT

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?

• Build Status ATS programing on Arduino (Atmel AVR)
• Build Status ATS programing on msp430 (TI MSP430)
• Build Status ATS programing on mbed (ARM Cortex-M)
• Build Status ATS programing on ChibiOS/RT
• Build Status ATS programing on Chopstx

Training and Meetup

Planning monthly meetup at Tokyo, Japan.

Donate to Functional IoT

Become a Patron!

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.