This document discusses using functional programming languages for embedded systems and low-level code. It mentions that Haskell can be used to write NetBSD kernel drivers, ATS2 can write code for 8-bit systems like an Arduino, and the goal of the Metasepi project is to re-write Linux kernel drivers in ATS2 to benefit from dependent and linear types. The document also notes that people at PPL 2015 wearing a specific T-shirt can explain how to install the ATS2 language.

1. Embedded Functional Programming
A) We can write NetBSD kernel
driver using Haskell language.
B) We can write any code running on
8-bit using ATS2 language.
Arduino Uno LCD
main.dats
lcd.sats
lcd.dats
arduino.sats
avr-libc
avr-prelude
Hardware
C
ATS
GPIO
GPIO functions
GPIO interface
LCD interface
LCD functions
Haskell heap
Intel chipsetNetbook
hardware
HD Audio Speaker
Ajhc
runtime
hdaudioIntr
Constructor
s_alloc()
GC
Haskell
C language
Use
Pool
Entry Exit
ContextContextContext
Interrupt iret
Return
Allocate
ThunkThunkThunk
by Kiwamu Okabe @ RIKEN AICS

2. Embedded Functional Programming
C) We will largely re-write Linux kernel driver using ATS2 language, and
also enforce dependent types and linear types in Linux kernel code.
The project is
called “Metasepi” !
At PPL 2015, some persons with this T-shirt
can explain installation of ATS2 language.