😕 Frequently asked questions

This page lists frequently asked questions about the design. It often redirects to the other pages on the site.

What is the goal of this initiative?

See the Charter.

Who is working on it?

See the Charter.

How do other languages approach similar problems?

• Dagger is an example of a dependency injection framework in Java.
• .NET AsyncLocal
• Racket parameters
• Implicit arguments are supported in Coq, Agda, and Scala.
  • They can mean very different things in different languages.
  • Scala 2 vs 3
• See Effect system on Wikipedia.
  • Koka programming language
  • Effekt