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 …


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


Print Share Comment Cite Upload Translate Updates
APA

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/

MLA
" » Type-Fu Fighting." Reginald Braithwaite | Sciencx - Thursday December 19, 2013, https://www.scien.cx/2013/12/19/type-fu-fighting/
HARVARD
Reginald Braithwaite | Sciencx Thursday December 19, 2013 » Type-Fu Fighting., viewed ,<https://www.scien.cx/2013/12/19/type-fu-fighting/>
VANCOUVER
Reginald Braithwaite | Sciencx - » Type-Fu Fighting. [Internet]. [Accessed ]. Available from: https://www.scien.cx/2013/12/19/type-fu-fighting/
CHICAGO
" » Type-Fu Fighting." Reginald Braithwaite | Sciencx - Accessed . https://www.scien.cx/2013/12/19/type-fu-fighting/
IEEE
" » Type-Fu Fighting." Reginald Braithwaite | Sciencx [Online]. Available: https://www.scien.cx/2013/12/19/type-fu-fighting/. [Accessed: ]
rf:citation
» Type-Fu Fighting | Reginald Braithwaite | Sciencx | https://www.scien.cx/2013/12/19/type-fu-fighting/ |

Please log in to upload a file.




There are no updates yet.
Click the Upload button above to add an update.

You must be logged in to translate posts. Please log in or register.