Ultimate Pea

不知道是否有编程语言结合易经的相关研究资料

### 历史研究（参见维基百科）： > 17世纪末，德国哲学家及数学家[莱布尼茨](https://zh.wikipedia.org/wiki/%E8%8E%B1%E5%B8%83%E5%B0%BC%E8%8C%A8)在法国传教士[白晋](https://zh.wikipedia.org/wiki/%E7%99%BD%E6%99%89)的介绍之下，得到[邵雍](https://zh.wikipedia.org/wiki/%E9%82%B5%E9%9B%8D)的伏羲先天六十四卦〈方圆四分四层图〉，认为与他所创的[二元运算](https://zh.wikipedia.org/wiki/%E4%BA%8C%E5%85%83%E9%81%8B%E7%AE%97)（[二进制](https://zh.wikipedia.org/wiki/%E4%BA%8C%E9%80%B2%E5%88%B6)）相符合，赞扬备至。后来演进成[布尔代数](https://zh.wikipedia.org/wiki/%E5%B8%83%E5%B0%94%E4%BB%A3%E6%95%B0)。 ### 想法： 周易卦象主象形之用，错综对等关系似乎仅限代数关系，而无法表达程序的演化关系。希望可以抛转引玉。：） 编程语言中有两个组成部分：表达计算的方法以及表达数据的方法，Lambda演算与冯诺依曼计算机体系都提出可以合二为一，因此我们要探究如何用周易表达结构性数据以及演算。 ### 表达数据： 目前主流编程语言中的数据类型仅限于inductive types with products and sums 我们可以用阴阳、五行、八卦、六十四卦分别代表sum的不同分支，每一爻代表分支内部的元素顺序，例如 data List A = Nil | Cons A (List A) 则可表示为：列=入A而 阴 阳...

我在向vscode官方团队建议加入这个功能，大家请帮忙个投票（点击大拇指👍图标），谢谢！链接：https://github.com/microsoft/vscode/issues/152005 I submitted a feature to vscode for adding this feature. Please upvote the issue by clicking the thumbs up 👍 button. Thank you! Link: https://github.com/microsoft/vscode/issues/152005

竖写确实很雅观，但目前的编辑器，比如vscode好像不支持竖写？

This might not be an improvement because the compiled version is more similar to the A-Normal Form, which is easier for compilation.

@LingDong- Thank you very much for your swift response. I will try to see if it is feasible to implement it. I will follow up here when I have more...

Sorry, this project is taking me longer than expected. I will update here when I have some progress on this issue. Please feel free to comment or make suggestions in...

cf #613

It took me a while to figure out. It seems that research community hasn't agreed upon on how to bring dependent types into actual programming languages. However, since there are...

Thanks for the information. Contrary to the title, I intend 豫言 to be a prototype for a commercially practical programming language (in Chinese) that doesn't have dependent types. Proof assistants...