Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Scrap Your Boilerplate

Name: Anonymous 2015-05-01 16:43

12 lines of Agda code is verified red-black tree insertion.
12 lines of Java code would be a class declaration with some getters/setters

Name: Anonymous 2015-05-01 20:52

>>17
Complex numbers are a great example where this doesn't work outside of theoretic examples as the two representations have vastly different strong points. Suddenly changing the performance (or rather, accuracy) characteristics of points to another coordinate system will fuck up everything.

Even though you insist on SICP, you seem to have missed the parts about EXPERT PROGRAMMERS choosing the abstraction level appropriate for their programs. Changing the fucking coordinate system isn't something that just happens unless you love rounding errors.

Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List