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

[Henning Thielemann]

On Mon, 29 Mar 2021, Antonio Regidor Garcia wrote:

> Not bussiness oriented, but these two articles are pretty good at explaining what Haskell and similar languages have to offer:
>
> This is brief and centered on Haskell's type system:
>
> https://perl.plover.com/yak/typing/notes.html

>From slide 29 on he gives the example that type inference can point him to 
an infinite loop.

This would not work in Haskell, would it?