:<>（冒号小于大于）在 ats 中是什么意思
What does :<> (colon less-than greater-than) mean in ats
刚刚在书 "introduction to programming in ats" 的依赖类型阶乘部分遇到这个符号 :<>：https://ats-lang.github.io/DOCUMENT/INT2PROGINATS/HTML/x3215.html
之前好像没有解释。我的假设是它与单个冒号相同 :
这种奇怪的语法用于表示函数是纯函数，即调用时不会产生任何影响。
刚刚在书 "introduction to programming in ats" 的依赖类型阶乘部分遇到这个符号 :<>：https://ats-lang.github.io/DOCUMENT/INT2PROGINATS/HTML/x3215.html
之前好像没有解释。我的假设是它与单个冒号相同 :
这种奇怪的语法用于表示函数是纯函数，即调用时不会产生任何影响。