Tech »  What Codata, Control Flow, and Logic Teach Us About Programming