Control structures in programming languages: from goto to algebraic effects Original Article Hacker News Discussion