This content originally appeared on raganwald.com and was authored by Reginald Braithwaite
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)
This content originally appeared on raganwald.com and was authored by Reginald Braithwaite
Reginald Braithwaite | Sciencx (2013-12-19T00:00:00+00:00) Type-Fu Fighting. Retrieved from https://www.scien.cx/2013/12/19/type-fu-fighting-2/
Please log in to upload a file.
There are no updates yet.
Click the Upload button above to add an update.