Hacker News Reader

When is "dynamic dispatch" a business requirement? You clearly are trying to put square pegs in round holes for no reason other than habit.

Passing in a value containing s function isn't hard, but I very rarely want to do it.

> Just consider how extremely hard it is to set up systems of dynamic dispatch in Haskell.

What? Make a record of function values. Done.

You can also go with an existentially qualified type with type class constraints if you just want the moral equivalent of [Show _], say.

I do find types helpful in smoke testing greenfield code where it needs to deal with structured data and references. But definitely the more complex approaches to typing have sharply diminishing returns. The static invariants I start caring about in complex scenarios are more along the lines of contracts or structured concurrency, and I don't want to reason about those with types.