有没有一款语言,它能直观地表达数学语义而不失严谨?
有没有一款语言,它能流畅地表达自然语言而不显繁琐?
有没有一款语言,它能利用经验求解而又允许具体情况具体分析?
有没有一款语言,它能由果溯因而不迷失在推理过程中?
或许,以前没有,但,现在有了!!
COOLang(酷语言),一款面向约束与对象的第五代编程语言(Constraint and Object Oriented Language),实现了这些设想!!
1 如何直观地表达数学语义而不失严谨?
直接用数学表达式作为函数名,将函数中待求解的未知变量用$修饰即可。
然后我们酱紫调用这个函数↓
可能有朋友会说,虽然允许用表达式命名挺好,但感觉这个酷语言就是逊啦,连个正负号都还要我们帮电脑区分,一点也不简洁。不过熟悉酷语言的人(我和我的朋友。。。。)都知道肯定是有解决办法的,这里先留一个小悬念。
2 如何流畅地表达自然语言?
直接按自然语言的语法来书写,但要将变量用小括号括起来:
可能有朋友又会问:支持中文