[Haskell-cafe] Python is lazier than Haskell

[Albert Y. C. Lai]

On 11-04-27 05:30 AM, Henning Thielemann wrote:
> I like to apply for the quote of the week. :-)
>
> "If Haskell is great because of its laziness,
> then Python must be even greater,
> since it is lazy at the type level."

Using Data.Dynamic, Haskell has a story for laziness at the type level, too.

Haskell has:
value-level lazy, can opt-out
type-level lazy, can opt-in
continuations, can opt-in

Python has:
value-level eager, no choice
type-level lazy, no choice
no continuations, no choice

If Python type laziness were that great, why isn't it rich in type-level 
programs? Has anyone even added numbers in Python at the type level?