Sometimes functions are not enough.
Calculating a greedy algorithm for an optimization problem, functionally.
Why reason *about* algorithms, when you can reason *with* them?
People of PL is a series of interviews with PL researchers. In today’s post, John Wickerson chats with Derek Dreyer, who is Faculty at the Max Planck Institute for Software Systems (MPI-SWS), and Honorarprofessor of Computer Science, Saarland University.
ICFP 2020 will be virtual, combining a mirrored technical program—all technical talks will appear twice, 12 hours apart—with a synchronous set of keynote talks and social events. This post says more about it. Be sure to register by August 8!