Not if the system is strongly normalizing, which most type systems aim for as a design objective: https://en.wikipedia.org/wiki/Normal_form_(abstract_rewriting)

Not if the system is strongly normalizing, which most type systems aim for as a design objective: https://en.wikipedia.org/wiki/Normal_form_(abstract_rewriting) https://en.wikipedia.org/wiki/Normal_form_(abstract_rewritin...