文件名称:nekoboard-hs:在 Haskell Copilot 中为 Arduino 编写的自定义键盘固件
文件大小:4KB
文件格式:ZIP
更新时间:2024-08-01 01:40:00
C++
nekoboard-hs 在 Haskell 为 Arduino 编写的自定义键盘固件。 用法 Haskell 和 C 之间的桥梁在于 。 阅读并从该文件开始添加您的高级固件逻辑。 基本上,它对数据streams (有点类似于惰性列表)进行操作,每次调用 Copilot step()函数时都会离散地到达。 可以组合流,例如采用两个流并在每个时间步产生两个流的总和的流。 然后编写一个规范,将触发器分配给Stream Bool s。 C 部分在 。 理想情况下,这仅包含原始 IO 和绝对最少的可靠(即经过良好测试的)代码。 Haskell 端可以访问任何导出的(即非静态)符号:函数、全局变量、全局数组。 您还必须在 C 端提供触发器:只要违反 Copilot 规范的某些条款,就会调用这些函数。 它们正在处理固件计算的输出,理想情况下它们很小、简单且专注。 多亏了 ,Copilot 代码被
【文件预览】:
nekoboard-hs-master
----copilot-spec.hs(250B)
----copilot.c(29B)
----sketch.cpp(637B)
----.gitignore(28B)
----copilot.h(29B)
----Makefile(593B)
----README.md(3KB)