• 很久没上jdon了，回来看了下，回过贴，提到一个词：非冯诺依曼。（尽管我是JAVA向的，但我热衷的还是函数和逻辑式。在我每次的探索中，总发现指令一直是约束程序员思维的东西，但我每次都否定不了，正因为冯诺依曼体系。发现这一点后，我到达了新天地——非冯诺依曼体系。以下用“冯”代表冯诺依曼体系，“非冯”代
  • 都知道三大编程范式吧？面向过程（像C语言）、面向对象（Java）、函数式（Haskell）。但今天要讲的是个冷门但超厉害的第四范式——逻辑编程！ 举个栗子：如果你曾经被对象之间复杂的双向引用关系逼疯过（比如A对象有个属性指向B对象，B又有个
  • 逻辑编程(又称关系范式)的突出优势是什么？因为该死的美学，逻辑编程简直太美了，他们自然的声明胜过于函数式编程中的任何宝石。逻辑编程使用搜索，这样能够就不会被算法细节牵着鼻子走，如果你还没有尝试过Prolog，关系编程简直无法让人想象。 学习关系范式最重要原 icon
  • 我们将看到逻辑编程能做的最令人兴奋的事情之一是实现CQRS模式。Eve语言将CQRS这个理想的设计模式变成了现实。 你知道Eve是一种逻辑编程语言吗？Eve是基于Dedalus ，这是一个Datalog的扩展数据记录 ，Datalog是基于Prolog的逻 icon