- 综合排序
- 最热优先
- 最新优先
- 来自专栏张家辉的树屋
JavaScript: 函数式编程-类型签名
Hindley-Milner 类型签名 类型签名是一个非常常用的系统，我们可以从很多计算机语言系统上看到它的使用，下面来看个栗子： // capitalize :: String -> String 这里我们不关心实现函数过程，我们只关注它的类型签名 在 Hindley-Milner 系统中，函数都写成类似 a -> b 这个样子，其中 a 和 b 是任意类型的变量。 总结 Hindley-Milner 类型签名在函数式编程中无处不在，它们简单易读，写起来也不复杂。但仅仅凭签名就能理解整个程序还是有一定难度的，要想精通这个技能就更需要花点时间了。
1.1K10发布于 2021-02-02 - 来自专栏新智元
LLM带来了「编程末日」？哥本哈根大学CS教授：别做梦了！
另一些方法则需要大量内存或大量时间才能构建程序，比如使用SMT求解器的方法和基于类型的开发形式（例如基于Hindley-Milner类型系统的方法）。
26310编辑于 2025-02-15 - 来自专栏一个会写诗的程序员的博客
Scala类型推导Scala类型推导
|Scala|Haskell,ML| |---------|--------| |局部的(local)、基于流的(flow-based)类型推断|全局化的Hindley-Milner类型推断| 在《Programming Scala实现的一个简单的HindleyMilner推导器: /* * http://dysphoria.net/code/hindley-milner/HindleyMilner.scala
2.9K20发布于 2018-08-20 - 来自专栏Rust 编程
【2023 Week-3】Rust视界周刊 | 你“不应该”使用 Rust 的十大理由
另一个 lifetime 练习[50] 如何避免 Rust 中的边界检查[51] ，reddit 相关讨论[52] rlox: 《Crafting Interpreters》 的 Rust 实现[53] Hindley-Milner how_to_avoid_bounds_checks_in_rust_without_unsafe/ [53] rlox: 《Crafting Interpreters》 的 Rust 实现: https://github.com/mogendi/rlox [54] Hindley-Milner
2.1K30编辑于 2023-03-06 - 来自专栏老九学堂
这是一篇非常具有操作性的程序员初学者攻略。
但仅仅是接触远远不够，你还需要不断继续加深与他们的友谊，并尝试结交新朋友，美而雅的 Ruby 小姑娘，Hindley-Milner 语言家族的掌中宝 Haskell 都是不错的选择。
95060发布于 2018-03-06 - 来自专栏编舟记
函数式编程简介
((x x) y))))))) Lisp、ML以及Haskell的关系 Lisp是动态语言，使用S表达式 ML和Haskell都是静态强类型函数式语言 ML是第一个使用Hindley-Milner
2.1K41发布于 2018-08-17 - 来自专栏一个会写诗的程序员的博客
《Spring Boot极简教程》附录3 编程简史附录3 编程简史名词纪要参考资料
ML使用了Hindley-Milner类型推论算法来推测大多数值的类型，而不需要四处使用注解。ML一般被归为非纯函数式编程语言，因为它允许副作用和指令式编程。
76622发布于 2018-08-20 - 来自专栏一个会写诗的程序员的博客
附录B 编程的本质附录B 编程的本质编程的本质N小结编程简史名词纪要参考资料
ML使用了Hindley-Milner类型推论算法来推测大多数值的类型，而不需要四处使用注解。ML一般被归为非纯函数式编程语言，因为它允许副作用和指令式编程。
89330发布于 2018-08-20 - 来自专栏前端自习课
【JS】394- 简明 JavaScript 函数式编程-入门篇
（我的答案放在文章后面，请先思考完再看） 附录 Hindly Milner 类型签名 之前我们遇到了类似这样的说明： :: String -> Object 这叫类型签名，最早是在 Hindley-Milner
1.4K30发布于 2019-10-30 - 来自专栏前端达人
一篇简明的 JavaScript 函数式编程入门指南
R.curry() // 柯里化 复制代码 附录 Hindly Milner 类型签名 之前我们遇到了类似这样的说明： :: String -> Object 复制代码 这叫类型签名，最早是在 Hindley-Milner
85320发布于 2021-10-08 - 来自专栏猿人谷
怎样写解释器
感兴趣的话可以参考我实现的这个 Hindley-Milner系统，或者 Python 类型推导。
2K70发布于 2018-01-17 - 来自专栏一个会写诗的程序员的博客
第1章 JVM语言家族概览
ML使用了Hindley-Milner类型推论算法来推测大多数值的类型，而不需要四处使用注解。ML一般被归为非纯函数式编程语言，因为它允许副作用和指令式编程。
1.6K31发布于 2018-08-17
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号