新的 Haskell 开发者在理解 Kind 系统（语言类型层次结构的核心部分）时会遇到困难。构建一个基于网络的工具，通过交互式示例可视化 Kind、类型及其关系。免费提供，并提供可选的付费教程。从基本的视觉效果开始，然后扩展到高级功能。风险在于，如果 Haskell 的用户群保持小众，采用率会很低。
Haskell Kind 系统可视化工具
开发一个为初学者可视化 Haskell Kind 系统的工具。面向新的 Haskell 开发者。
为什么是现在
随着 Haskell 的普及，初学者需要更好的工具来理解其复杂的类型系统。
- 做给谁
- 初级 Haskell 开发者
- 商业模式
- 免费增值
- 投入量级
- 几周