Everybody was type-fu fighting

Compiling fast as lightning

In fact it was a little bit frightening

But their code had early binding

They were funky ML men from funky CAML town

They were chopping classes up and they were chopping classes down

It’s the ancient Curry’s art, in Haskell but not Dart

It’s a reconstructed Lisp, without the unsafe bits

Everybody was type-fu fighting

Compiling fast as lightning

In fact it was a little bit frightening

But their code had early binding

There was funky R. Hindley and little R. Milner

He said “Here comes the big boss, Simon Peyton-Jones”

Signatures we used to write by hand, have vanished from our land

Type inference made me skip, a parametric polymorphic trip

Everybody was type-fu fighting

Compiling fast as lightning

In fact it was a little bit frightening

But their code had early binding

(repeat)…

Make sure you have early binding

Type-fu fighting, compiling fast as lightning

(inspiration courtesy of hypstr)