Lobsters is a community-driven platform for sharing and discussing links to articles, tutorials, and projects related to technology and programming. Readers can learn about a wide range of topics, from software development and system administration to cybersecurity and artificial intelligence. With user submissions, comments, and voting, Lobsters provides a platform for collaborative learning and knowledge sharing among technology enthusiasts.

Lobsters

A deep exploratory essay on algebraic effects in programming languages, covering what effects are, effect polymorphism, the async 'function coloring' problem, capabilities, dynamic scope, and effect algebra. Uses Rust's unsafe/const/async as concrete examples, discusses the Effekt language, and explores the tension between making side-effects explicit vs. ergonomic. Concludes with observations about applying effects to data structures, the two categories of effects (expressible vs. compiler-magic), and open design questions around implicit arguments and context objects.

PonderingEffects