umajho / dicexp

Dicexp 是一种表示掷骰的表达式。本仓库代码用于对该表达式求值,并作为该表达式的事实标准。
https://umajho.github.io/dicexp/
MIT License
2 stars 0 forks source link

用前缀或后缀区分出接受惰性参数的通常函数 #27

Closed umajho closed 1 year ago

umajho commented 1 year ago

譬如 append/2 的第二个参数、if/3 的第二、三个参数是惰性的。 为避免与其他不含惰性参数的函数相混淆,也许应该用前后缀区分它们。

比如使用 ! 作为后缀,但这么做存在一些问题:

umajho commented 1 year ago

算了,作为完全没有副作用的语言,是否有惰性只是实现上的细节。 非惰性导致的无限循环或者低效应该算作 bug / 可以改进的地方, 在正确实现的情况下有无惰性并不会导致行为的差异。

因此没必要特意区分函数有无参数有惰性。