用于集合论类型的更懒惰二叉决策图

发布: 1个月前 (2025年12月2日 GMT+8 20:37)

1 min read

Source: Hacker News

Article Details

文章 URL: https://elixir-lang.org/blog/2025/12/02/lazier-bdds-for-set-theoretic-types/
评论 URL: https://news.ycombinator.com/item?id=46120603
积分: 7
评论数: 0

Ruby 实现：学习函数式编程最有效的方法之一是将你在面向对象语言中编写的相同特性转换为函数式…

CodeQL 是 GitHub 代码扫描背后的静态分析引擎 https://docs.github.com/code-security/code-scanning/introduction-to-code-scanning/about-code-sca...

文章链接: https://lbjgruppen.com/en/posts/functional-quadtree-clojure 评论链接: https://news.ycombinator.com/item?id=46147341 点数: 12 评论数: 1

背景和最初的问题谁没有在公开场合听过这个问题：“是的，但你的单位有多大？”以及另一种回应...