Cardano:形式化规范和haskell代码

我关注cardano有半年时间了,但我很少在reddit,论坛或者电报里看到讨论cardano的haskell代码写的怎么样。
我本人长期使用haskell,看了cardano的部分论文,规范。同时仔细研究了cardano的形式化规范的代码。我个人感觉:整体的代码质量非常高。所以我准备写一系列的专栏文章来介绍cardano的共识和账本的规范和相应的haakell代码。我重点分析haskell代码。

可能是因为你没有在技术群的关系,你可以在技术群讨论Haskell代码的相关话题

https://t.me/CardanoCommunityTechSupport

我在国内,用不了电报。
我的文章也只会发在知乎,不会发在这里。