程序员经验分享-hwhale

真正最小的口齿不清

2023-12-23

要使一种语言成为图灵完备且是 lisp 变体，所需的最小原语集是什么？

看起来像 car、cdr 和一些流量控制以及 REPL 的东西就足够了。如果有这样的清单就好了。

假设只有 3 种数据类型：整数、符号和列表。（就像 picolisp 中一样）


The 拉姆达演算 http://en.wikipedia.org/wiki/Lambda_calculus是图灵完备的。它有一个原语 - lambda。将其转换为 Lisp 语法非常简单。

本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)

lisp

turingcomplete

真正最小的口齿不清 的相关文章

  • 内联定义函数与非内联函数有什么区别？

    我正在读这本书计算机程序的结构和实现 http mitpress mit edu sicp full text book book Z H 4 html在其中一章中 有一些代码用于计算数字的阶乘 define factorial n fac

  • Lisp 中的函数名可以有别名吗？

    就像包裹一样 我使用Emacs 也许 它可以提供某种解决方案 例如 defun the very very long but good name 稍后在代码中没有用处 但名字就像Fn 15或者第一个字母缩写也没有用 是否可以使用类似于包的别

  • 使 clos 对象可在 lisp 中打印

    如果你想让 common lisp 中的 CLOS 对象可打印 可读打印 你如何在不使用除了 print 和 read 之外的任何东西的情况下做到这一点 至少在我的解决方案中 有两个部分可以做到这一点 但是您将需要这个功能 感谢 cl pr

  • Common Lisp 中的属性列表是否引用某些全局状态？

    下面的代码有z作为局部变量 但它的行为就像全局变量一样 defun foo m let z stuff nil push m getf z stuff print z foo 1 foo 2 foo 3 我希望输出是 STUFF 1 STU

  • Lisp 内部引用工作

    口齿不清是如何做到的quote内部工作 例如 quote 1 1 2 似乎相当于 list 1 list 1 2 这意味着它是如何递归地象征 Head 值的 这个功能是内置的吗 Run equal quote 1 1 2 list 1 li

  • Scheme/Racket有枚举操作吗？

    Scheme Racket 是否有相当于 Haskell 中的 a b 表示法的枚举表示法 在 Haskell 中 1 5 计算结果为列表 1 2 3 4 5 for list i in range 1 6 i sequence gt li

  • 在 Lisp 解释过程中，“读者”的任务是什么？

    我想知道 读者 在解释 编译 Lisp 程序期间的目的 或者更准确地说 是 读者 的任务 从我刚刚完成的问题前研究来看 在我看来 读者 特别是本例中的 Clojure 可以被视为 语法预处理器 它的主要职责是读取器宏和原始形式的扩展 所以

  • LISP 中的变量和符号有什么区别？

    从范围上来说 内存中的实际实现 语法 例如 if let a 1 a 是变量还是符号 约尔格的回答指出了正确的方向 让我补充一点 我将讨论与 Common Lisp 类似的 Lisp 作为数据结构的符号 符号是 Lisp 中真实的数据结构

  • 任意类型说明符上的 Defmethod？

    我想做的是 defgeneric fn x defmethod fn x integer 1 Positive integer defmethod fn x integer 1 Negative integer 我想要一个可以与任意类型说明

  • 有没有一种简单的方法可以使用 Common Lisp 中的 Python 库？

    在编写 Common Lisp 代码时我真正怀念的一件事是访问 Python 库 包括标准库和第三方模块 CLPython 提供了 Python 功能的有限子集 这阻止了大多数库的使用 因此这对我来说并不是很有用 我希望能够从 Common

  • Lisp 中的 (定义 (平均 ....))

    我只是在玩scheme lisp 并正在考虑如何纠正我自己的定义average 我不确定如何做一些我认为需要的事情 定义一个接受任意数量参数的过程 计算这些参数 将参数列表传递给 以将它们加在一起 有人有定义的例子吗average 我似乎对

  • 为什么 LISP 中符号名称中的连字符是约定俗成的？

    这个推荐的理由是什么 为什么不与使用下划线的其他编程语言保持一致 我认为 LISP 使用连字符有两个原因 历史 和 因为你可以 History LISP 是一种古老的语言 在早期输入下划线可能会很困难 例如 我用于 LISP 的第一个终端是

  • (cons 'a (cons 'b 'c)) 和 (cons 'a '(b.c)) 之间的 Lisp 区别

    有什么区别 cons a cons b c A B C and cons a b c A B C 我需要使用 cons 创建以下列表 a b c 所以我试图理解 是什么 代表 L E 我有以下内容 cons cons a b c 但它产生

  • 解决斐波那契数列的 Lisp 方法

    我想尝试学习 Lisp 但很快就放弃了 我想我会再试一次 我正在看 求 400 万以下所有偶数斐波那契数的总和 我写了下面的代码 它可以工作 但是很丑陋 其中最主要的是它太慢了 因为它一直在进行简单的递归 当我用 Python 编写这个程序

  • 从 CCL 检索（加载）源代码？

    我打了电话 load code lisp 用CCL 然后不小心删除了code lisp 有什么办法可以找回源代码吗 CCL 在内存中是否有它 这是一个非常特殊的功能 这里只为克洛祖尔CL 该代码在其他地方不起作用 这在 CCL IDE 中对

  • 什么是 S 表达式

    所有 Lisp 开发人员似乎都知道什么是 S 表达式 但有人能为非 Lisp 开发者解释一下这一点吗 已经有一个维基百科条目 https en wikipedia org wiki S expression https en wikiped

  • 我为什么要学习 Lisp？ [关闭]

    就目前情况而言 这个问题不太适合我们的问答形式 我们希望答案得到事实 参考资料或专业知识的支持 但这个问题可能会引发辩论 争论 民意调查或扩展讨论 如果您觉得这个问题可以改进并可能重新开放 访问帮助中心 help reopen questi

  • Python 宏：用例？

    如果 Python 有一个类似于 Lisp Scheme 的宏工具 比如元Python https code google com p metapython 你会如何使用它 如果您是一名 Lisp Scheme 程序员 您会使用宏来做什么

  • 将数字转换为英文字母列表

    我有下面的函数 它将数字输入转换为这些数字的部分翻译的单词输出 使用乘积和商 它将数字的单词表示相加 同时将数字分组 例如 number name 87969087 gt 87 million 969 thousand 87 number

  • Lisp：使用语法糖访问递归哈希

    我正在尝试构建一个函数 或宏 来简化哈希表深处数据的获取和设置 也就是说 哈希中的哈希 哈希中的哈希等 我不认为我可以用宏来做到这一点 而且我不知道如何用 eval 来做到这一点 我希望能够执行以下操作 gethashdeep HEROES

随机推荐

  • 在类构造函数中实例化供应商类

    在我的 CakePHP 2 应用程序中 我有这样的供应商 我需要在我的控制器类中创建此供应商类的实例 所以我将在控制器的不同功能中使用该实例 App import Vendor fancyVendor array file gt fancy

  • Emacs 中的文本转语音

    我不是瞎子 我只是想有一种方法让我的 Windows 机器大声读取缓冲区的内容 以下是基本要求 读取任何英文文本缓冲区 随时暂停阅读并随时恢复 而不是当有人走进我的办公室时等待几分钟等待大缓冲区完成 调整播放时的读回速度 突出显示当前正在阅

  • 特征：矩阵到四元数和后面有不同的结果

    我使用 Eigen 库将矩阵转换为四元数 但是当我将其中一个矩阵转换为四元数并将其烧回时 它变成了另一个矩阵 即单位矩阵 我使用的旋转矩阵是从变换矩阵分解而来的 Eigen Matrix3f R3d R topLeftCorner lt 3

  • 如何使用 WPF 中的资源图标？

    我有一个作为资源嵌入的 ico 文件 构建操作设置为资源 我正在尝试创建一个 NotifyIcon 如何引用我的图标 notifyIcon new NotifyIcon notifyIcon Icon my icon file is cal

  • 理解php中的浮点数

    我知道这些问题可能会被很多人问到 但从我的阅读和测试来看 它让我有点困惑 而且我所做的很多阅读让我更加困惑 因为它非常复杂 有些人似乎对简单的比较有问题 但我自己没有问题 例如 num1 27 64 num2 27 64 if num1 n

  • 重新部署 JRebel 的替代方案 [关闭]

    Closed 这个问题不符合堆栈溢出指南 help closed questions 目前不接受答案 JRebel 允许重新部署新编译的代码 而无需重新启动应用程序 我想知道是否有任何替代方案 免费 这FAQ http zeroturnar

  • angularjs中的transformRequest是什么

    我有一个代码 transformRequest function obj var str for var p in obj str push encodeURIComponent p encodeURIComponent obj p ret

  • partykit：将终端节点箱线图更改为显示平均值和标准差的条形图

    我在 R 中创建了一个回归树 这是代码 tree lt rpart y method anova minsplit 20 minbucket 20 maxdepth 3 data foo plot as party tree termina

  • 使用 CUPS 或其他框架从 iOS/iPad 打印到 Epson TM-T88V 收据打印机

    有谁知道如何获得CUPS运行于iOS 我们正在尝试打印到网络Epson收据打印机 TM T88V 从 iPad 使用CUPS或其他方法 但我们在让 CUPS 在 iOS 上运行时遇到了障碍 我知道这是可以做到的 因为 iPad 应用程序已经

  • Google Maps Android API v2 - 恢复地图状态

    我正在使用 Google Maps Android API v2 构建一个非常简单的地图应用程序 正如预期的那样 当用户离开然后返回应用程序时 他们在位置 缩放等方面所做的任何更改都会随着 Activity 被销毁并重新创建而丢失 我知道我

  • 使用Python将数据写入雪花

    我们可以不使用Python的Snowflake内部阶段直接将数据写入雪花表吗 先在stage中写入 然后对其进行转换 然后将其加载到表中 这似乎是辅助任务 是否可以像RDBMS中的JDBC连接一样一步完成 将数据加载到 Snowflake

  • 带默认参数的 kotlin 重载方法

    这是场景 我得到了以下两种方法 fun foo p1 Int p2 String null fun foo p1 Int p2 Int 0 具体方法如何参考foo 1 如果调用者只有一个参数 则这是一个错误 foo 1 error 错误 Y

  • 无需重启服务器即可查看代码更改

    我们使用 Visual Studio Code 和 DNX 如下所示 启动 Web 服务器的命令行 dnx web 项目 json gt 命令 web Microsoft AspNet Hosting server Microsoft As

  • 安装失败，并显示消息无法使用“cmd package install-create -r -t -S 1647504”创建安装会话

    我在尝试通过 android studio 3 4 1 运行 apk 时收到错误消息 安装失败 并显示消息无法使用 cmd package install create r t S 1647504 创建安装会话 通过卸载现有版本的 apk

  • 我应该在 ssh 公钥中使用我的个人电子邮件吗？

    阅读 Github 的生成 SSH 密钥 https help github com articles generating ssh keys 教程 我在第 2 步 生成新的 SSH 密钥 https help github com art

  • 为什么 python 模块可以在 shell 中工作，但不能在脚本中工作？

    我正在尝试制作两个程序 我想要一台打印我居住城市的当前天气 而我想要另一台从在线帐户获取数据并将其返回 对于这些脚本 我导入 yweather 模块和 requests 模块 当我将它们导入 shell 时没有问题 但是当我运行脚本时它显示

  • 代码顺序和性能

    我想找到哪个更快 结构与数组 因此 我编写了一段 GO 代码 其中将 4 个 int 值 1 2 3 和 4 写入结构体的成员 然后写入长度为 4 的数组 我试图找出写入所需的时间 Case1 首先 我将值写入结构体 然后写入数组 在这里我

  • 为什么顺风找不到我的动态类？

    所以我尝试根据对象数组动态加载类 div item name div 我检查了浏览器上的元素面板 类属性加载正确 但 css 没有 为什么会这样 任何帮助将不胜感激 Tailwind 生成一个仅包含项目中使用的类的 CSS 文件 它无法识别

  • 使用 pecl oauth 为 LTI Outcomes 服务构建主体签名的 oauth xml 请求

    我正在使用 pecl oAuth 库 是否可以构建一个如下所示的正文签名的 oauth 请求 POST http www imsglobal org developers BLTI service handle php HTTP 1 0 H

  • 真正最小的口齿不清

    要使一种语言成为图灵完备且是 lisp 变体 所需的最小原语集是什么 看起来像 car cdr 和一些流量控制以及 REPL 的东西就足够了 如果有这样的清单就好了 假设只有 3 种数据类型 整数 符号和列表 就像 picolisp 中一样

热门标签