酷语言COOLang

有没有一款语言，它能直观地表达数学语义而不失严谨？

有没有一款语言，它能流畅地表达自然语言而不显繁琐？

有没有一款语言，它能利用经验求解而又允许具体情况具体分析？

有没有一款语言，它能由果溯因而不迷失在推理过程中？

或许，以前没有，但，现在有了！！

COOLang（酷语言），一款面向约束与对象的第五代编程语言（Constraint and Object Oriented Language），实现了这些设想！！

1 如何直观地表达数学语义而不失严谨？

直接用数学表达式作为函数名，将函数中待求解的未知变量用$修饰即可。

​

然后我们酱紫调用这个函数↓

​

可能有朋友会说，虽然允许用表达式命名挺好，但感觉这个酷语言就是逊啦，连个正负号都还要我们帮电脑区分，一点也不简洁。不过熟悉酷语言的人（我和我的朋友。。。。）都知道肯定是有解决办法的，这里先留一个小悬念。

2 如何流畅地表达自然语言？

直接按自然语言的语法来书写，但要将变量用小括号括起来：

​

可能有朋友又会问：支持中文