lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]

"amb" is a useful operator when you study a language's semantics, but it doesn't care about--nor specify--evaluation order strategy. If you're writing actual programs and you want to control arithmetic complexity, you want way to specify and control evaluation strategies. In this case, it will most likely be a monad; unfortunately, monads are impractically hard to program correctly without a static type-checker.