Haskell 生态系统的技术愿景
Haskell Foundation 的技术领导委员会已成功完成组建!
过去几周,我们一直在讨论我们的愿景和策略,现在已全面投入运作。
我们将积极制定我们认为需要资助和执行的倡议与提案。为此,我们需要公司、承包商和志愿者提供帮助。每个人都可以参与,无论是非正式地提出想法、自己撰写具体提案,还是寻找能够支持或资助倡议的实体。
我们尽量让社区提案流程保持轻量。然而,我们认为公平和参与至关重要,尤其是在涉及资助时,因此,任何撰写提案的人都应知悉,我们会开放讨论空间,让社区发表意见,甚至提出反提案。随着我们积累经验并获得反馈,这一流程可能会演变。
以下是我们的愿景。欢迎随时与我们联系!
TLC 的共同愿景
我们相信 Haskell 非常出色,并且能为每个人提供独特的价值,因为它处于人类技艺与机器自动化的一个有趣交汇点:
- 它适合人类
Haskell 生态系统的技术愿景
- 工具如此直观,以至于你不必不断寻求支持
只有当我们坚持 unix 原则,才能做到这一点,我们将其总结为:
- 编写只做一件事并把它做好的程序
- 编写能协同工作的程序
- 编写可扩展的程序
文档应该读起来令人愉悦,由人编写,为人服务。
安全且可信赖的生态系统的愿景
安全和信任不会偶然建立。一旦信任失去,往往就无法挽回地失去了。
为了保护我们的社区资产和声誉,我们需要:
- 在语言生态系统中拥有最快的事件响应时间
- 让渗透测试人员定期检查我们的基础设施
- 让最终用户了解漏洞和缓解措施
- 构建稳健的密码学库栈
- 加固我们的供应链
我们应进一步支持利用或扩展 Haskell 语言优势的尝试,以促进安全设计和架构的实际应用,例如信息流控制或强制访问控制。我们也在关注依赖类型和 liquidhaskell 的相关工作。
稳定性的愿景
如果我们能用最新的 GHC 编译 10 年前的 Haskell 软件,而无需任何源代码更改,会怎样?
虽然这似乎是一个不可能实现的目标……但踏上这段旅程无论如何都会让我们更接近一个稳健、稳定且可预测的生态系统。
沿途我们需要回答的问题是:
- 用户如何选择退出破坏性更改?
- 我们能保持支持窗口开放多久?
- 我们如何让升级体验更好?
不仅需要在 GHC 和核心工具上的投入,还可能支持社区努力维护稳定的包集或协调生态系统升级、让 cabal 在复杂用例中更符合人体工程学、带头并支持稳定性政策,以及收集关于生态系统哪些部分导致频繁变动的数据。
我们希望 Haskell 不仅是快速发展初创公司的选择,也是不希望其工作流或软件栈受干扰的大型或保守公司的选择。稳定性将惠及这两类用户,降低成本与摩擦,并为 Haskell 树立作为一门拥有可预测生态系统的现代语言的声誉。
繁荣的开源生态系统的愿景
以上所有内容都是为了支持我们所热爱的 Haskell 开源生态系统。我们致力于开源、其价值观及其社交层面。协作是我们相互交流与启发的方式。
我们希望支持所有让这个生态系统保持活力的维护者和志愿者,其中许多人不为人知,在世界另一端的一个周六晚上尽自己的一份力。
我们写代码是因为我们热爱交付产品。但我们也写代码,是因为我们想社交、