Haskell
一种纯函数式编程语言，以强类型系统和惰性求值著称，支持软件事务内存等高级并发抽象
核心事实
时间轴 (近 90 天)
不同语言对类型概念的表达方式差异巨大：Haskell有类型类和类型族，Rust有trait约束和生命周期，TypeScript有结构化类型和映射类型。
Haskell RTS 提供运行时参数：通过 `-N` 指定能力（capability）数量以启用多核并行，通过 `-A` 调整分配区大小以平衡 GC 频率与内存占用，通过 `-H` 设置堆增长提示。
Haskell的运行时系统（RTS）是GHC编译程序背后的执行引擎，负责调度绿色线程、管理分代垃圾回收以及执行惰性求值。
在HN讨论中，有开发者分享基准测试结果，例如使用Haskell或OCaml编写的数值计算程序，经过优化后性能与C相差无几。
Newtype模式通过创建仅包含单个字段的包装类型（如Rust的`struct UserId(u32)`或Haskell的`newtype UserId = UserId Int`）将底层原始类型与业务语义分离，在编译期防止类型混淆错误。
Haskell的Parsec库是解析器组合子最著名的实现之一，被广泛用于编译器前端和DSL解析。
在Haskell中，解析器类型Parser的典型定义是 newtype Parser a = Parser { runParser :: String -> Either String (a, String) }。
在Haskell中，Kind是类型的类型，描述一个类型构造器需要接受多少个类型参数才能成为一个具体类型。
具体类型（如Int、Bool）的Kind是*（现已更名为Type）。
类型构造器Maybe的Kind是* -> *，Either的Kind是* -> * -> *。
还有 15 条时间轴事件
全部知识事实 (20)
TypeScript的静态类型系统能有效减少运行时错误，提升代码可维护性
75%待验证用Haskell写编译器、摆弄Arduino开发板、可视化复杂数学图案等副项目在99%的情况下不会直接带来收入
70%待验证XMonad是一款用Haskell编写的平铺式窗口管理器
60%待验证不同语言对类型概念的表达方式差异巨大：Haskell有类型类和类型族，Rust有trait约束和生命周期，TypeScript有结构化类型和映射类型。
50%待验证Haskell的运行时系统（RTS）是GHC编译程序背后的执行引擎，负责调度绿色线程、管理分代垃圾回收以及执行惰性求值。
50%待验证Haskell RTS 提供运行时参数：通过 `-N` 指定能力（capability）数量以启用多核并行，通过 `-A` 调整分配区大小以平衡 GC 频率与内存占用，通过 `-H` 设置堆增长提示。
50%待验证在HN讨论中，有开发者分享基准测试结果，例如使用Haskell或OCaml编写的数值计算程序，经过优化后性能与C相差无几。
50%待验证Newtype模式通过创建仅包含单个字段的包装类型（如Rust的`struct UserId(u32)`或Haskell的`newtype UserId = UserId Int`）将底层原始类型与业务语义分离，在编译期防止类型混淆错误。
50%待验证Haskell的Parsec库是解析器组合子最著名的实现之一，被广泛用于编译器前端和DSL解析。
50%待验证在Haskell中，解析器类型Parser的典型定义是 newtype Parser a = Parser { runParser :: String -> Either String (a, String) }。
50%待验证当为Functor定义实例时，编译器会检查目标类型的Kind是否为* -> *；如果传入Kind为*的类型（如Int），编译器会报错。
50%待验证类型构造器Maybe的Kind是* -> *，Either的Kind是* -> * -> *。
50%待验证Haskell中所有类型构造器默认都是柯里化的，支持部分应用，例如Either String的Kind为* -> *。
50%待验证Kind描述的是类型的形状，而类型类描述的是类型的能力，两者处于不同的抽象层级。
50%待验证在Haskell中，Kind是类型的类型，描述一个类型构造器需要接受多少个类型参数才能成为一个具体类型。
50%待验证具体类型（如Int、Bool）的Kind是*（现已更名为Type）。
50%待验证软件事务内存（STM）曾在Clojure和Haskell中流行，它让开发者像操作数据库事务一样操作共享内存，运行时负责冲突解决，无需显式加锁。
50%待验证Haskell 的 blaze-html 库利用类型类约束保证 HTML 结构合法性
50%待验证1.1.3 版本移除了 Kotlin、Rust 和 Haskell 中无效及重复的分隔符（#37039）
50%待验证Result类型（也称Either类型）在Rust、Haskell、Kotlin等语言中已被广泛采用
50%