compile-time-checking

标签

#compile-time-checking

类型检查的非空字符串

Hacker News Top ↗ · 2026-06-26 缓存

本文分享了一种使用 GHC 的 RequiredTypeArguments 进行类型检查的非空字符串的 Haskell 技术，实现了编译时验证，并在大型代码库中获得了约 10% 的构建时间改进。

0 人收藏 0 人点赞