Variable types (à la System F) are not templates, though one can think of them as type schemata. A template
After paraphrasing a computation I had found in a paper, I realized I had ruined its performance.
Apple outperforms R in important cases.
Writing an assembler turns out to be an interesting example: one needs to calculate distances between jumps and their target labels, and the target may appear after the label. It turns out that one can write a one-pass assembler using the tardis monad or in Curry, using logic programming.
Arthur Whitney is (in)famous for his laconic style. The following is a memory allocator in C:
next