[Date Prev][Date Next][Thread Prev][Thread Next]
- Subject: Re: A lua version of "amb"
- From: Fabien <fleutot+lua@...>
- Date: Tue, 21 Feb 2012 10:42:32 +0100
"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.