[Haskell-cafe] detecting infinite loop with type inference (Was: Why Haskell?)

Antonio Regidor Garcia chikitosan at gmail.com
Mon Mar 29 20:02:38 UTC 2021

El Mon, Mar 29, 2021 at 07:30:41PM +0200, Jaro Reinders escribió:
> The reason is that sort always returns the empty list, independently
> of the input list, so the type of the input list is not constrained.

Actually, it only returns the empty list for the empty list. For other lists, it never returns.

More information about the Haskell-Cafe mailing list