4 ms·
I really would like to street-fight with TAPL and Purely Functional Data Structures. Imagine a different world where competitive programming is about proving th
by runeblaze 3y ago
I really would like to street-fight with TAPL and Purely Functional Data Structures. Imagine a different world where competitive programming is about proving theorems in Coq and people play with finger trees instead of segment trees.
- throwaway81523 3y agoI'll have you know that Pugs, the first implementation of Perl 6, was written as a result of Audrey Tang reading TAPL and then getting interested in Haskell. Audrey was at that time known as Autrijus but she later underwent a sex change. I guess I'm no longer allowed to joke "this is what Perl 6 does to people".