我终于可以骄傲地说：直接从源码分析出程序完整的数据流向图谱，现在成为可能了！

在线预览： https://rainforesters.github.io/imsure-analyzer/

这个图谱表达了程序完整的功能/业务逻辑，它们都含在数据流向里面。这就是我所说的网状结构的自动状态机，现在终于可以直观展现在大家面前了。

这个天方夜谭的想法此刻终于落地成为现实，若没有声明式语法和 imsure，这个念头我压根不会想，是这种看似怪异的语法让这变为了可能，现在终于可以舒心一笑。

回顾，有很多不解、质疑、甚至谩骂，辛酸是有的，但更多还是自己的原因。因为很多时候文字的表达能力很苍白，之前我很难用文字把它美丽的样子诉说给大家，每个人脑海中都是它各种怪异的样子，现在它美丽的样子终于可以直观展现给大家了。

经历反思、自我质疑、和不断自我博弈后，因为能清晰洞见它的美，所以我还在坚持，更因为在日常工作中的真实实践，它所展现的强壮、坚韧的稳定性和可维护性，带来的收益完全足以抵消语法的不便，让我有底气坚定这是正确的方向。我依然认为从算术方法到方程式方法是正确的选择。

下面是我们一个充斥复杂业务功能和许多“奇妙”需求的真实项目，时至今日依然可以轻易地继续添加或修改各种功能，维护难度与项目创建的第一天毫无分别，从未重构，也从不需要重构。因为把任何两个类型关联起来就像画条线一样简单，也根本不必担心会破坏任何已有的连线，就像一个韧性十足的弹性球，揉不烂、搓不坏。（曾想把图谱渲染为更理想的 3D 球状，但视角切换不利于全局观察，就此作罢，大家可以脑补）

我知道，肯定会有指责声音出现，我接受，但请理性发言，不要谩骂，不要阴阳怪气。今天是儿童节，祝大家开心快乐，儿童的纯真，我想是最可贵，最令人向往的……

备注：若这显得凌乱，是布局算法的问题，你可以把它想象为一个 3D 球。（我真不擅长这个布局算法，示例里的布局我也不甚满意，幸好还可以使用高亮关联）