本想三言两语，没想到还是写了不少，担待一下🤝。 
布道这种新范式是主要目的，当然各位佬友能不吝给个 Star​⭐ 就更好了！GitHub - rainforesters/imsure: 好学好用的编程方式 
计算机从最初为了解决计算问题慢慢演进到现在主要解决软件工程问题，即逻辑问题，但我们能操控计算机的工具（语言、范式）依然停留在为解决计算问题而设计的阶段，在面对逻辑问题时由于这种工具与问题的不匹配衍生了《人月神话》里所说的偶然复杂性，就像用勺子砍树，虽然能勉强做到，但非常难用，而我们却从未质疑过工具是不是本来就用错了，荒谬至极。 
从另外一个角度来说，计算机之所以叫“计算机”是因为它最初为了解决计算问题，而现在主要为了解决逻辑问题，那么它应该叫“逻辑机”或“逻辑/计算机”，也应该配有解决逻辑问题的工具才对。 
这就不得不剖析“计算”与“逻辑”的区别： 

计算是步骤、指令，是过程性的，它...