Dijkstra on functional programming and "calculi" | Heykuki News