functional-programming - Curry-Howard 的同构可以在哪些编程语言上实现？
问题描述
除了来自 Haskell（毕竟 Haskell 是以 Haskell Curry 命名的），或者像 Agda、Idris 或 Coq 这样的学术语言，当前的编程语言，特别是那些有一些实际应用的语言，都可以用来编写程序那将与证明同构？
解决方案
推荐阅读
- java - 通过 build.gradle 文件告诉 IntelliJ 为 javac 设置 -parameters 标志
- java - Prometheus jmx-exporter 是否热重载配置文件？
- javascript - 节点 Imap 获取子文件夹内容
- node.js - 过滤文档数组以返回匹配查询 Mongodb 的值
- css - Ionic 4：操作表 css 问题
- r - 使用 sparklyr 时无法在本地 Spark 连接中加载 .csv 数据
- ios - 对 uicontrol 的 nextresponder 感到困惑
- typescript - 如何根据 TypeScript 中的其他类型使对象属性可选？
- c++ - 是否有没有“标准错误”的 C++ 方言？
- vue.js - 我必须怎么做才能使用 vue.js 从 element-ui 导入树才能使用倾斜槽？