地窖中的 Lisp

创作者

显示单位

描述

Dependent types 为程序员提供了一种编写可以计算类型的代码的方法。反过来，类型级别的计算可能依赖于值，从而允许各种强大的编程模式。此外，即使类型表现出丰富的动态语义，类型检查仍然是一个纯粹的编译时操作。

本文介绍的 Deputy 系统是一种基于 Clojure 的 dependently-typed 编程语言，具有归纳数据类型。它作为一个实验工具，用于探索基于 Lisp 的 REPL 驱动的交互式开发工作流程的影响，不仅在编程时，而且在类型检查期间。因此，该系统被开发为一个 Clojure 库，这意味着宿主语言在类型级别的“编程”时仍然可用。

文件

deputy-els.pdf

文件 (701.7 kB) 名称 | 大小 | 下载所有 ---|---|--- deputy-els.pdf md5:c7e20b60481890431fb0a4546dc12d71 | 701.7 kB | 预览 下载

附加细节

相关作品

Is compiled by Other: 2677-3465 (ISSN) 引用 仅显示: literature (0) dataset (0) software (0) unknown (0) 对本版本的引用 搜索引用 搜索 23 浏览量 3K 下载量 显示更多细节 所有版本 | 此版本 ---|--- 浏览量 总浏览量 | 23 | 23 下载量 总下载量 | 3,172 | 3,172 数据量 总数据量 | 2.9 GB | 2.9 GB 关于如何收集统计信息的更多信息....

版本

外部资源

索引于

关键词和主题

关键词

详情

DOI 10.5281/zenodo.15424968 DOI 徽章

DOI

10.5281/zenodo.15424968

Markdown

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.15424968.svg)](https://doi.org/10.5281/zenodo.15424968)

reStructuredText

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.15424968.svg
 :target: https://doi.org/10.5281/zenodo.15424968

HTML

<a href="https://doi.org/10.5281/zenodo.15424968"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.15424968.svg" alt="DOI"></a>

Image URL

https://zenodo.org/badge/DOI/10.5281/zenodo.15424968.svg

Target URL

https://doi.org/10.5281/zenodo.15424968

资源类型 会议论文 发布者 Zenodo 会议 The 18th European Lisp Symposium (ELS'25), Zurich, 19-20 05 2025 语言 英语

权利

许可

引用

风格 APA APA Harvard MLA Vancouver Chicago IEEE

导出

JSON JSON JSON-LD CSL DataCite JSON DataCite XML Dublin Core XML MARCXML BibTeX GeoJSON DCAT Codemeta Citation File Format 导出

技术元数据

创建于 May 15, 2025 修改于 May 15, 2025 跳到顶部

关于

博客

帮助

开发者

贡献

资助方

由 CERN Data Centre 和 InvenioRDM 提供支持

本网站使用 Cookie。请访问 我们如何使用 Cookie 了解更多信息。 接受所有 Cookie 只接受必要的 Cookie