Looking at the D-fns code I am writing to build my Co-Dfns compiler. I have to wonder what kind of horror might the old school APLers experience if they examined my source code. Would they freak out at the use of proofs, assertions, and other structural content designed to formally convince the reader that my code is correct? Or would they just freak out at the curly braces?
You might also like...
Speaking at LambdaConf 2024 (May) [Limited Time Discount code]
I'll be speaking at LambdaConf 2024 in May. We haven't finalized the exact talks that I'll be giving (I submitted
Suggestivity and Idioms in APL
Two major principles emerge in APL programming, suggestivity and idioms. I recently encountered a nice illustration of how these two
12 min read
Flat Program Organization: An Email Response
A fellow APLer, Tort, started an interesting email discussion with me, and one of his points was good enough that
7 min read
Thesis Correction: Sec. 3.7, Guard Lifting
I was thankfully informed by Douglas Mennella that the before and after diagrams for section 3.7 of my thesis
1 min read
2023 APL Problem Solving Competition
The 2023 APL Problem Solving Competition is now open! Solve problems in APL for the chance to win cash prizes
1 min read