Towards Secure IoT Programming in Haskell

on YouTube ↗22m

" summary

Haski is an embedded DSL in Haskell that generates C for Zephyr OS, claiming to let developers write Lustre-style synchronous stream programs in Haskell and avoid C pitfalls. It compiles mutually recursive monadic streams (via mfix/recursive do) into a C step function, lowers pattern-matching to switch statements, and enforces lightweight information-flow control with labelled streams (label/unlabel) at Haski compile time. The demo smart‑house controller talks over BLE and runs on Zephyr; integration with the OS callback API is currently manual.

AI-written summary · about

" chapters (6)

1. 0:00Introduction
2. 3:21Demo
3. 6:46Alexa
4. 9:42Code Walkthrough
5. 14:32Information Flow Control
6. 17:45Overview

" related talks

• 38mBuilding Secure Systems in HaskellDeian Stefan · Strange Loop 2016
• 14mImpressions of ZuriHac, and Why We Love (and Hate) HaskellRyan Brewer · ZuriHac 2025
• 01h 26mHaskell Language ServerZubin Duggal · 2023 GHC Contributors' Workshop
• 46mPainless software development with HaskellPawel Szulc · Lambda World Cádiz 2019
• 23mKeynote: Zephyr & IoT SecurityGeoff Thorpe · Embedded Linux Conference + OpenIoT Summit Europe 2016
• 15mHACCLE: Metaprogramming for Secure Multi-Party ComputationTiark Rompf, Roopsha Samanta, Donghang Lu, Aniket Kate, Yuyan Bao, Benjamin Delaware, Qianchuan Ye, Kirshanthan Sundararajah, Christopher Wagner, Nouraldin Jaber, Jeremiah Blocki, Raghav Malik, Christina Garman, Fei Wang, Mohammad Hassan Ameri, Alexander Seto, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Milind Kul · GPCE 2021
• 22mHaskell Tools, Compilers, Libraries and Community ProjectsJasper Van der Jeugt · ZuriHac 2026
• 01h 26mReflections on Haskell@MetaSimon Marlow · 2025 Haskell Ecosystem Workshop