Functional Algorithm Design, Part 2
Sometimes functions are not enough.
Functional Algorithm Design, Part 1
Calculating a greedy algorithm for an optimization problem, functionally.
Functional Algorithm Design, Part 0
Why reason *about* algorithms, when you can reason *with* them?
A Small Matter of Programming
Will machine learning automate programming out of existence, as it is doing for many other professions?
How to Design Co-Programs
We accept that data structure determines program structure. But we should not forget that it is not just the input data that may be structured: output data may be structured too, and both may determine program structure.
