From 708e5d7962209c499ca38f247e864a2f54dbe653 Mon Sep 17 00:00:00 2001
From: Magnus Madsen
- Why Effects? Effects are the next big thing for + Why Effects? Effects are the next big step for statically-typed programming languages. Effects — like types — enable - programmers to structure and understand their programs. Specifically, effects enable + programmers to better structure and understand their programs. Specifically, effects enable modularity, improved program reasoning, new compiler optimizations, and user-defined effects and handlers allow programmers to implement their own control structures.
@@ -86,7 +86,7 @@ class Home extends Component { className="font-weight-bold">traits, higher-kinded types, associated types and effects, structured channel and process-based concurrency, + className="font-weight-bold">structured concurrency, and more.