samedi 16 avril 2016

Is there a way to test termination in Haskell using existing libraries?

There are some libraries in Haskell for testing properties or for unit tests, etc. But I have yet to find one that allows for testing termination/nontermination of a function.

Of course you can't simply test if an expression terminates because of the Halting problem. But I could have a guess on the upper bound of how long the function takes to evaluate and if the function doesn't end in that time, the test would fail as the function was (likely) not going to terminate.

Is there a library that allows for testing termination like this?

Aucun commentaire:

Enregistrer un commentaire