MiniLisp —— Lisp 解释器-低调大师

MiniLisp —— Lisp 解释器

2023-01-13 394

MiniLisp 是个用 1000 行 C 语言写的 Lisp 解释器，其支持：

整数、符号、cons 单元格
全局变量
局部变量
原始函数，例如 +、=、< 或list，
用户定义的函数
宏观系统
垃圾收集器

编译

$ make

MiniLisp 已经在 Linux x86/x86-64 和 64 位 macOS 上进行了测试。代码与体系结构无关，因此应该能够在其他类 Unix 操作系统上编译和运行。

测试

MiniLisp 带有一个全面的测试套件。为了运行测试，给出“test”参数。

$ make test

语言特点

MiniLisp 是传统的 Lisp 解释器。它一次从标准输入中读取一个表达式，对其求值，然后打印出表达式的返回值。这是有效输入的示例。

(+ 1 2)

微信关注我们

原文链接：https://www.oschina.net/p/minilisp

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

每日一博 | 详解 Java 线程问题诊断工具 Thread Dump

摘要：Thread Dump是非常有用的诊断Java应用问题的工具。本文分享自华为云社区《调试排错 - Java 线程分析之线程Dump分析》，作者：龙哥手记。 Thread Dump是非常有用的诊断Java应用问题的工具。每一个Java虚拟机都有及时生成所有线程在某一点状态的thread-dump的能力，虽然各个 Java虚拟机打印的thread dump略有不同，但是大多都提供了当前活动线程的快照，及JVM中所有Java线程的堆栈跟踪信息，堆栈信息一般包含完整的类名及所执行的方法，如果可能的话还有源代码的行数。 Thread Dump特点能在各种操作系统下使用；能在各种Java应用服务器下使用；能在生产环境下使用而不影响系统的性能；能将问题直接定位到应用程序的代码行上； Thread Dump抓取一般当服务器挂起，崩溃或者性能低下时，就需要抓取服务器的线程堆栈（Thread Dump）用于后续的分析。在实际运行中，往往一次 dump的信息，还不足以确认问题。为了反映线程状态的动态变化，需要接连多次做thread dump，每次间隔10-20s，建议至少产生三次 dum...

2023-01-14

350

Apple 的网络浏览器 Safari 所使用的 WebKit 浏览器已经发布了一个值得注意的技术预览更新：添加了实验性 WebCodecs AV1、dav1d 解码器，新版本的 WebKit 引擎已被 Apple 的 Safari Technology 161 Preview 版本采用。 WebKit是开源的 Web 浏览器引擎，它被用于苹果的 Safari 浏览器，其分支 Blink 是由Google主导开发的开源浏览器渲染引擎，Blink 属于Chromium 浏览器内核的一部分。 Safari Technology Preview 161 对 WebKit 添加了实验性 WebCodecs AV1 支持，其编码的软件支持依赖于 libaom。此更新还更改了WebKit 的默认 AV1 解码器，现在使用 VLC 开发的 dav1d 解码器而不是 AOMedia 的 libaom 解码器。Apple 开发人员在对 dav1d 的更改中指出： dav1d 解码器比 libaom 解码器更高效，因此最好使用 dav1d。dav1d 是一个在 WebCore 中链接的库，因此我们在 We...

2023-01-14

488

资源下载

更多资源

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。