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

Henning Thielemann lemming at henning-thielemann.de
Mon Mar 29 17:13:45 UTC 2021

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?

More information about the Haskell-Cafe mailing list