编程语言与软件工程2018arxiv.org
在 OCaml 中实现 Rust 风格的资源管理
Rust-style resource management in OCaml
进阶 · 约 60 分钟读完前置知识：OCaml 基础、类型系统、Rust 所有权模型
导读
这篇论文探讨了如何在 OCaml 中引入类似 Rust 的资源管理机制，即通过线性/唯一所有权类型系统在语言层面实现确定性的资源释放，而无需依赖运行时的垃圾回收或手动管理。文章讨论了在函数式语言中实现 Rust 风格所有权语义的设计方案与权衡。
HN 关注点：在已有 GC 的函数式语言中引入 Rust 式所有权管理是否值得，以及它与 Haskell 线性类型提案等同类工作的异同。
HN 评论精选
这几条评论里：质疑 1 补充 1 亲历 1
补充补充关联工作：Haskell 也在推进线性类型，并好奇两者实现差异
Haskell 也有一个正在推进的线性类型实现（GHC 提案 #111）。有人知道这两个实现之间的主要区别吗？线性类型在 OCaml 中会比在 Haskell 中工作得更好吗？
steve-chavez查看英文原文
Haskell has also an ongoing implementation of linear types https://github.com/ghc-proposals/ghc-proposals/pull/111. Anyone know what are the major differences between these two implementations? Will linear types work better for OCaml than for Haskell?
质疑质疑：GC 语言是否有必要引入 Rust 式所有权管理的额外复杂性
为什么要给一门有垃圾回收的函数式语言强加 Rust 资源管理在语法和语义上的负担呢？
Ono-Sendai查看英文原文
Why would you want to burden a GC'd functional language with the syntactical and semantic requirements of Rust's resource management?
亲历亲历分享：ReasonML 体验不错，但担心生态势头和 JS 互操作
稍微相关的话题：有人在用 ReasonML 吗？我目前用得挺开心，但还有些犹豫，因为不确定它的社区势头（包生态等）能否持续，而且与 JS 的互操作感觉还是有点笨拙（虽然部分是 BuckleScript 的问题）。
spraak查看英文原文
Tangentially related: has anyone been exploring ReasonML? I am enjoying it so far, but still hesitant because I'm not sure if its momentum (in the community with packages, etc) will sustain, and the interop into JS feels still somewhat clunky (though that is partly BuckleScript)
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2018Hacker News 讨论帖131 分 · 57 评
同领域还值得读
Google 的软件工程（2017）
Software Engineering at Google (2017)
介绍了 Google 的软件工程实践，包括其单一代码库（monorepo）、几乎全部开发在主干进行而非分支、代码审查、构建系统 Blaze、协议缓冲区等工具与流程，并讨论了频繁重…
编程语言与软件工程2017 · 1,127 分 · 465 评 · 引用 15入门 · 约 45 分钟编辑精选Peter Naur：编程作为理论构建 (1985)
Peter Naur – Programming as Theory Building (1985)
Peter Naur 1985 年的经典论文《Programming as Theory Building》提出：编程的本质不是写代码或文档，而是在程序员头脑中构建对程序及其运行…
编程语言与软件工程2016 · 629 分 · 74 评入门 · 约 45 分钟编辑精选SciPy 1.0：Python 科学计算的基础算法
SciPy 1.0: fundamental algorithms for scientific computing in Python
这篇发表于 Nature Methods 的论文介绍了 SciPy 1.0——Python 科学计算生态的基石库，涵盖其核心算法模块（优化、积分、插值、线性代数等）、软件架构与社…
编程语言与软件工程2020 · 387 分 · 98 评入门 · 约 45 分钟编辑精选Lisp 的历史（1979）
History of Lisp (1979)
这是 Lisp 发明者 John McCarthy 于 1979 年为 HOPL（编程语言史）会议撰写的回顾文章，讲述 Lisp 的起源、设计动机与早期演进，文中也涉及 if 表…
编程语言与软件工程2018 · 352 分 · 44 评入门 · 约 45 分钟编辑精选使用 NumPy 进行数组编程
Array Programming with NumPy
这篇 Nature 文章介绍 NumPy 的数组编程模型及其在科学计算中的核心作用：以 ndarray 为中心，通过向量化操作让 Python 高效处理多维数组。
编程语言与软件工程2020 · 318 分 · 134 评入门 · 约 40 分钟编辑精选