Type-Fu Fighting
source link: http://raganwald.com/2013/12/19/type-fu-fighting.html
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
RAGANWALD.COM
Type-Fu Fighting
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)
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK