我有一个运行xinu的beagle bone black和在虚拟机上运行的VM中设置的开发环境.到目前为止,我已经能够在Xinu编写Hello world shell命令.所以我对xinu和beagle bone有一个基本的想法.我想将Cbor和COAP库移植到BBB.我只是复制include文件夹中的.c和.h文件以及"make"和"make install"吗?或者有更好/更复杂的方式吗?
我们的编程语言实践考试中给出了以下问题,我很难理解其工作原理.有人能告诉我代码流是什么吗?我用球拍跑了,知道答案是什么.看起来第一个lambda函数将另外两个函数作为参数.但那么输入在哪里 (lambda (x) 2)并(lambda (y) 3)传递给?
(((lambda (x y) (x y))
(lambda (y) (lambda (y x) (x (x y))))
(lambda (x) (lambda (x y) (x (y x)))))
(lambda (x) 2)
(lambda (y) 3))
这个问题的答案是3.
我很擅长计划,现在正在学习基础知识.我明白在(+ 1 2)+中就像一个函数接受两个输入并返回输出.我的测验有一个问题(+ (-(*))4 5).根据DrRacket的说法,答案是8,但我很难理解为什么会这样.所以我需要帮助理解给定表达式如何计算为8.
我正在使用agda进行编程语言基础的练习考试,它有以下问题:
您将获得以下Agda声明:
data Even : N ? Set where
ezero : Even 0
esuc : { n : N } ? Even n ? Even (2+ n)
Run Code Online (Sandbox Code Playgroud)
假设已导入标准自然数库.回答以下的问题:
a)什么类型的ezero?
b)是否有任何类型的条款Even 1?
c)有多少个类型Even 2?列出他们
d)描述一个潜在的问题,如果我们改变esuc的返回类型Even (n+2)而不是Even (2+n).
我们没有提供解决方案手册.这个问题似乎很基本,但我不确定这些问题.我认为前三个的答案是:
一套
b)没有类型的条款偶数1
c)一个类型的偶数2
d)不知道
对这些问题的回答以及简要说明将受到高度赞赏.谢谢