Joey Hess, “Programming Arduinos with Haskell and NASA’s Copilot”

Haskell’s runtime is too weighty for small embedded devices like the Arduino. NASA to the rescue! Their Copilot project provides a domain specific language embedded in Haskell that targets resource constrained devices. The arduino-copilot project adapts Copilot to the Arduino, allowing Arduino firmwares of moderate complexity to be written in Haskell with ease and type safety, in a Functional Reactive Programming style.

Joey Hess will demonstrate how to use arduino-copilot. Beyond the Arduino, over 350 different embedded boards are waiting in the wings, thanks to the Zephyr project, and Joey will discuss progress toward building a zephyr-copilot as well.

Bio: Joey Hess is the developer of git-annex and other Haskell projects.  He lives in an offgrid cabin in Tennesee which itself runs Haskell. He was a long term developer of the Debian project.

Claude Rubinson is inviting you to a scheduled Zoom meeting.

Topic: Houston Functional Programmers
Time: Feb 16, 2022 07:00 PM Central Time (US and Canada)

Join Zoom Meeting
https://uhd.zoom.us/j/93040352564?pwd=SzRYejUwRnNpMHRYZlphNmM1UFFqdz09

Meeting ID: 930 4035 2564
Passcode: recursion
One tap mobile
+13462487799,,93040352564# US (Houston)
+16692192599,,93040352564# US (San Jose)

Dial by your location
+1 346 248 7799 US (Houston)
+1 669 219 2599 US (San Jose)
+1 669 900 6833 US (San Jose)
+1 720 928 9299 US (Denver)
+1 971 247 1195 US (Portland)
+1 206 337 9723 US (Seattle)
+1 213 338 8477 US (Los Angeles)
+1 253 215 8782 US (Tacoma)
+1 602 753 0140 US (Phoenix)
+1 470 381 2552 US (Atlanta)
+1 646 518 9805 US (New York)
+1 646 558 8656 US (New York)
+1 651 372 8299 US (Minnesota)
+1 786 635 1003 US (Miami)
+1 267 831 0333 US (Philadelphia)
+1 301 715 8592 US (Washington DC)
+1 312 626 6799 US (Chicago)
+1 470 250 9358 US (Atlanta)
Meeting ID: 930 4035 2564
Find your local number: https://uhd.zoom.us/u/ace0y7crOU

Join by SIP
93040352564@zoomcrc.com

Join by H.323
162.255.37.11 (US West)
162.255.36.11 (US East)
115.114.131.7 (India Mumbai)
115.114.115.7 (India Hyderabad)
213.19.144.110 (Amsterdam Netherlands)
213.244.140.110 (Germany)
103.122.166.55 (Australia Sydney)
103.122.167.55 (Australia Melbourne)
149.137.40.110 (Singapore)
64.211.144.160 (Brazil)
69.174.57.160 (Canada Toronto)
65.39.152.160 (Canada Vancouver)
207.226.132.110 (Japan Tokyo)
149.137.24.110 (Japan Osaka)
Meeting ID: 930 4035 2564
Passcode: 874450244

Join by Skype for Business
https://uhd.zoom.us/skype/93040352564