I mean what he describes is literally the same thing as haskell. Just untyped.