Functional IoT

Connect things by well-typed bridge.

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:

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?


jhc (Haskell)

Rust (similar to ML and C)

What hardware platform will be supported?

ARM Cortex-M


Atmel AVR

How to use?

Training and Meetup

Planning monthly meetup at Tokyo, Japan.

Donate to Functional IoT

Become a Patron!

Who donated on Bitcoin?