SBCL 启动与停止:从 Shell 到 Lisp 再到核心映像

🚀 启动 SBCL

SBCL,这个强大的 Common Lisp 实现,就像一个通往 Lisp 世界的传送门,让我们可以自由地探索这个充满逻辑和优雅的编程世界。那么,如何开启这段旅程呢?

从 Shell 到 Lisp

最简单的启动方式,就是打开你的终端,输入 sbcl​,然后按下回车键。就像打开一扇通往 Lisp 王国的魔法之门,你将被带到一个充满交互式命令的奇妙世界——REPL(读取-求值-打印-循环)。

$ sbcl
This is SBCL 0.8.13.60, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
* (+ 2 2)

4
* (exit)
$

在 REPL 中,你可以输入 Lisp 表达式,SBCL 会立即计算并返回结果。就像一个忠诚的助手,它随时准备着为你执行你的指令。

Emacs:Lisp 的最佳拍档

如果你是一位 Lisp 爱好者,Emacs 绝对是你不可或缺的伙伴。它不仅是一个强大的文本编辑器,更是一个 Lisp 的完美环境。在你的 .emacs​文件中,设置好 SBCL 的路径和参数,就可以在 Emacs 中轻松地启动 SBCL,并享受编辑、调试和运行 Lisp 代码的无缝体验。

;;; The SBCL binary and command-line arguments
(setq inferior-lisp-program "/usr/local/bin/sbcl --noinform")

Shebang 脚本:Lisp 的魔法咒语

想要让你的 Lisp 程序像其他脚本一样直接运行吗?Shebang 脚本可以实现这个愿望。在你的 Lisp 文件开头添加一行特殊的注释,就可以直接在终端中执行它,就像执行其他脚本一样。

#!/usr/local/bin/sbcl --script
(wirte-line "Hello, World!")

🚪 停止 SBCL

旅程总有结束的时候,我们也需要优雅地退出 Lisp 的世界。

退出:告别 Lisp 王国

在 REPL 中,输入 (exit)​,就像挥动魔法棒,你将回到熟悉的 Shell 环境。

文件结尾:Lisp 的自然结束

在终端中输入 Control-D​,或者当 SBCL 作为管道的一端遇到输入结尾时,它也会自动退出。

保存核心映像:Lisp 的冬眠

SBCL 可以将它的状态保存到一个文件中,就像将一个充满活力的 Lisp 世界封存起来,以便日后重新唤醒。

sb-ext:save-lisp-and-die core-file-name &key toplevel executable [函数]

错误退出:Lisp 的意外旅程

如果在运行过程中遇到错误,SBCL 会自动退出,并提供错误信息,帮助你找到问题所在。

⚙️ 命令行选项

就像魔法师的咒语,命令行选项可以赋予 SBCL 不同的能力,让它按照你的意愿运行。

运行时选项

  • --core corefilename​:保存核心映像。
  • --dynamic-space-size megabytes​:设置动态内存空间大小。
  • --control-stack-size megabytes​:设置控制堆栈大小。
  • --noinform​:禁用启动信息。
  • --disable-ldb​:禁用调试器。
  • --lose-on-corruption​:在检测到内存损坏时退出。
  • --script filename​:运行 Lisp 脚本。
  • --merge-core-pages​:合并核心页面。
  • --no-merge-core-pages​:禁用合并核心页面。
  • --default-merge-core-pages​:使用默认的合并核心页面策略。
  • --help​:显示帮助信息。
  • --version​:显示版本信息。

顶层选项

  • --sysinit filename​:指定系统初始化文件。
  • --no-sysinit​:禁用系统初始化文件。
  • --userinit filename​:指定用户初始化文件。
  • --no-userinit​:禁用用户初始化文件。
  • --eval command​:执行 Lisp 表达式。
  • --load filename​:加载 Lisp 文件。
  • --noprint​:禁用输出。
  • --disabled-debugger​:禁用调试器。
  • script filename​:运行 Lisp 脚本。

📚 初始化文件

就像一个魔法师的笔记本,初始化文件记录着 SBCL 启动时的初始设置。

系统初始化文件

默认位置:$SBCL_HOME/sbclrc​ 或 etc/sbclrc​。

用户初始化文件

默认位置:$HOME/.sbclrc​。

🪝 初始化和退出钩子

就像魔法师的预言和告别仪式,初始化和退出钩子在 SBCL 启动和退出时执行特定的操作。

  • sb-ext:*init-hooks*​:在系统初始化后,或者从保存的核心映像启动时,以不确定的顺序执行的函数列表。
  • sb-ext:*exit-hooks*​:在 SBCL 退出时,以不确定的顺序执行的函数列表。

总结

SBCL,就像一个通往 Lisp 世界的魔法之门,让我们可以自由地探索这个充满逻辑和优雅的编程世界。通过各种启动和停止的方式,以及灵活的命令行选项和初始化文件,我们可以定制 SBCL,使其成为我们探索 Lisp 世界的最佳伙伴。

参考文献

  1. SBCL Documentation
  2. SBCL GitHub Repository
  • Lisp
    38 引用 • 13 回帖 • 1 关注

相关帖子

欢迎来到这里!

我们正在构建一个小众社区,大家在这里相互信任,以平等 • 自由 • 奔放的价值观进行分享交流。最终,希望大家能够找到与自己志同道合的伙伴,共同成长。

注册 关于
请输入回帖内容 ...

推荐标签 标签

  • 倾城之链
    23 引用 • 66 回帖 • 137 关注
  • Postman

    Postman 是一款简单好用的 HTTP API 调试工具。

    4 引用 • 3 回帖 • 3 关注
  • 又拍云

    又拍云是国内领先的 CDN 服务提供商,国家工信部认证通过的“可信云”,乌云众测平台认证的“安全云”,为移动时代的创业者提供新一代的 CDN 加速服务。

    21 引用 • 37 回帖 • 545 关注
  • Git

    Git 是 Linux Torvalds 为了帮助管理 Linux 内核开发而开发的一个开放源码的版本控制软件。

    209 引用 • 358 回帖
  • Facebook

    Facebook 是一个联系朋友的社交工具。大家可以通过它和朋友、同事、同学以及周围的人保持互动交流,分享无限上传的图片,发布链接和视频,更可以增进对朋友的了解。

    4 引用 • 15 回帖 • 453 关注
  • API

    应用程序编程接口(Application Programming Interface)是一些预先定义的函数,目的是提供应用程序与开发人员基于某软件或硬件得以访问一组例程的能力,而又无需访问源码,或理解内部工作机制的细节。

    77 引用 • 430 回帖 • 2 关注
  • 单点登录

    单点登录(Single Sign On)是目前比较流行的企业业务整合的解决方案之一。SSO 的定义是在多个应用系统中,用户只需要登录一次就可以访问所有相互信任的应用系统。

    9 引用 • 25 回帖
  • WiFiDog

    WiFiDog 是一套开源的无线热点认证管理工具,主要功能包括:位置相关的内容递送;用户认证和授权;集中式网络监控。

    1 引用 • 7 回帖 • 587 关注
  • OAuth

    OAuth 协议为用户资源的授权提供了一个安全的、开放而又简易的标准。与以往的授权方式不同之处是 oAuth 的授权不会使第三方触及到用户的帐号信息(如用户名与密码),即第三方无需使用用户的用户名与密码就可以申请获得该用户资源的授权,因此 oAuth 是安全的。oAuth 是 Open Authorization 的简写。

    36 引用 • 103 回帖 • 9 关注
  • V2Ray
    1 引用 • 15 回帖 • 1 关注
  • golang

    Go 语言是 Google 推出的一种全新的编程语言,可以在不损失应用程序性能的情况下降低代码的复杂性。谷歌首席软件工程师罗布派克(Rob Pike)说:我们之所以开发 Go,是因为过去 10 多年间软件开发的难度令人沮丧。Go 是谷歌 2009 发布的第二款编程语言。

    497 引用 • 1387 回帖 • 283 关注
  • 旅游

    希望你我能在旅途中找到人生的下一站。

    90 引用 • 899 回帖
  • 周末

    星期六到星期天晚,实行五天工作制后,指每周的最后两天。再过几年可能就是三天了。

    14 引用 • 297 回帖
  • 心情

    心是产生任何想法的源泉,心本体会陷入到对自己本体不能理解的状态中,因为心能产生任何想法,不能分出对错,不能分出自己。

    59 引用 • 369 回帖
  • 房星科技

    房星网,我们不和没有钱的程序员谈理想,我们要让程序员又有理想又有钱。我们有雄厚的房地产行业线下资源,遍布昆明全城的 100 家门店、四千地产经纪人是我们坚实的后盾。

    6 引用 • 141 回帖 • 585 关注
  • 链书

    链书(Chainbook)是 B3log 开源社区提供的区块链纸质书交易平台,通过 B3T 实现共享激励与价值链。可将你的闲置书籍上架到链书,我们共同构建这个全新的交易平台,让闲置书籍继续发挥它的价值。

    链书社

    链书目前已经下线,也许以后还有计划重制上线。

    14 引用 • 257 回帖
  • V2EX

    V2EX 是创意工作者们的社区。这里目前汇聚了超过 400,000 名主要来自互联网行业、游戏行业和媒体行业的创意工作者。V2EX 希望能够成为创意工作者们的生活和事业的一部分。

    17 引用 • 236 回帖 • 325 关注
  • SSL

    SSL(Secure Sockets Layer 安全套接层),及其继任者传输层安全(Transport Layer Security,TLS)是为网络通信提供安全及数据完整性的一种安全协议。TLS 与 SSL 在传输层对网络连接进行加密。

    70 引用 • 193 回帖 • 432 关注
  • C

    C 语言是一门通用计算机编程语言,应用广泛。C 语言的设计目标是提供一种能以简易的方式编译、处理低级存储器、产生少量的机器码以及不需要任何运行环境支持便能运行的编程语言。

    85 引用 • 165 回帖 • 1 关注
  • Latke

    Latke 是一款以 JSON 为主的 Java Web 框架。

    71 引用 • 535 回帖 • 786 关注
  • Kafka

    Kafka 是一种高吞吐量的分布式发布订阅消息系统,它可以处理消费者规模的网站中的所有动作流数据。 这种动作(网页浏览,搜索和其他用户的行动)是现代系统中许多功能的基础。 这些数据通常是由于吞吐量的要求而通过处理日志和日志聚合来解决。

    36 引用 • 35 回帖
  • CloudFoundry

    Cloud Foundry 是 VMware 推出的业界第一个开源 PaaS 云平台,它支持多种框架、语言、运行时环境、云平台及应用服务,使开发人员能够在几秒钟内进行应用程序的部署和扩展,无需担心任何基础架构的问题。

    5 引用 • 18 回帖 • 167 关注
  • ngrok

    ngrok 是一个反向代理,通过在公共的端点和本地运行的 Web 服务器之间建立一个安全的通道。

    7 引用 • 63 回帖 • 624 关注
  • 创业

    你比 99% 的人都优秀么?

    84 引用 • 1399 回帖 • 1 关注
  • Java

    Java 是一种可以撰写跨平台应用软件的面向对象的程序设计语言,是由 Sun Microsystems 公司于 1995 年 5 月推出的。Java 技术具有卓越的通用性、高效性、平台移植性和安全性。

    3187 引用 • 8213 回帖
  • Lute

    Lute 是一款结构化的 Markdown 引擎,支持 Go 和 JavaScript。

    25 引用 • 191 回帖 • 16 关注
  • TextBundle

    TextBundle 文件格式旨在应用程序之间交换 Markdown 或 Fountain 之类的纯文本文件时,提供更无缝的用户体验。

    1 引用 • 2 回帖 • 47 关注