纯粹的无类型lambda演算是一个强大的概念.然而,构建用于实际使用的机器或解释器通常被描述为(接近)不可能.我想调查一下.理论上可以建立一个相对快速的无类型lambda演算机器吗？
相对较快,我通常意味着可以在类似数量的资源(门,操作,物理空间,电力使用等)内,对类似范围的任务进行现代图灵式架构的比较.
我对机器的实现和架构层没有任何限制,只是它必须在某种程度上在物理上和某种程度上可实现.对如何处理IO也没有限制.
关于基于lambda演算的计算机体系结构的可行性了解多少？
涉及类似理由的问题:
鉴于这个Ruby数组:
[1, 2, 3, 4, 5]
像这样迭代它的最简单方法是什么？
[[1,2], [2,3], [3,4], [4,5]]
或这个？
[[1,2,3], [2,3,4], [3,4,5]]
我已经使用cmake编译了glfw3和包含的示例,并且没有问题.写我的第一个项目.作为opengl和glfw的新手,对C和cmake没有经验,我很难理解示例构建文件,甚至要在我的项目中使用哪些链接和/或编译器参数.
假设我现在只有一个文件夹和一个文件boing.c.我怎么编译它？
简单的运行gcc -lglfw3 -lm -lGL -lGLU boing.c给出了一个未定义引用的墙,从sin和atan2开始,然后是各种gl和glfw的东西.我错过了什么？
我将如何编写makefile？是否有cmake模板或样本,我只是不明白如何使用或适应？有没有人知道使用glfw3的开源项目(或更好,一个小例子或模板) - 所以我可以环顾四周？
当我想在某个时候进入多平台时,我猜cmake会是最好的.但是我如何在没有太多麻烦的情况下获得编译**的东西,所以我可以开始学习一些教程..？
我是一个使用32位Ubuntu raring的温和的菜鸟.现在就使用Vim.
我(setq split-width-threshold 100)在我的dotspacemacs/user-config, 中设置，以便在窗口足够宽时使各种缓冲区水平拆分。这适用于 magit 状态等。
然而，编译日志缓冲区似乎无视这一点，总是在底部打开。
我怎样才能使编译缓冲区坚持split-width-threshold？或者，如何让它始终水平拆分？
我对 emacs 和 spacemacs 都很陌生。
我在几台计算机上使用相同的Vim配置.他们正在运行不同的Vim构建,我没有root访问权限.因此,我想检查vimrc中的功能支持,以便我可以避免运行不受支持的插件.
有没有办法检查Vim脚本中是否支持可选的Vim功能？在我遇到的情况下,我想检测相对较新的浮动支持.