2 ms·
That could be useful. Does Koka reject a total function that might not always terminate, or trust the author?
by erik_seaberg 5y ago
That could be useful. Does Koka reject a total function that might not always terminate, or trust the author?
- Zababa 5y agoFrom what I understand, Koka relies on inference, so for example a function with a "while" or a recursive call will be marked as "div". I think the goal is to have the precision of Haskell, and even better, but without forcing the use of monads or something like that.