effekt-lang.org

What It Is

Effekt is a research-grade programming language, and its official website clearly warns users to “use at your own risk.” It is still under rapid development, may contain many bugs, and is likely to change in the future. Rather than being positioned as a general-purpose production language, it serves as a platform for language-design experiments around algebraic effects, effect handlers, and type-and-effect systems.

Core Capabilities

Its standout capability is lexical/algebraic effect handlers: developers can define advanced control-flow structures such as exceptions, generators, and backtracking search as libraries, then return to the effect call site via resume. Effekt also provides static effect safety, where function types indicate unhandled effects, and a program can only be executed once all effects have been handled. For higher-order functions, Effekt proposes contextual effect polymorphism, reducing the annotation burden found in traditional effect polymorphism. From an engineering perspective, the compiler is implemented in Scala, can compile to JavaScript, and runs via Node.js. It supports a REPL, an online Playground, and a basic LSP extension for VSCode.

Pricing and Barriers to Use

The review text does not mention commercial pricing. Installation is mainly done via npm install -g @effekt-lang/effekt, with dependencies on Java 11+, Node.js 16+, and npm. Specific versions can also be installed through GitHub releases. There are additional considerations on Windows and Linux, such as PowerShell signing restrictions and the need to configure effekt.sh on Linux.

Pros and Cons

The advantages are its focused language features, with clear examples and explanations of effect handlers, effect safety, and contextual effect polymorphism. The documentation covers getting started, a language tour, concepts, case studies, implementation, and papers, providing ample research material. The drawbacks are that the project is still in the research stage, with no clear information on stability, compatibility, production support, ecosystem size, or commercial services.

Who It’s For

It is suitable for programming language researchers, type-system learners, teachers, students, and developers who want to experiment with algebraic effects and advanced control-flow abstractions. It is not suitable for production systems that require long-term stability, a mature ecosystem, or commercial SLAs.

Access in China

The review text does not provide information on access from mainland China. Since it depends on external resources such as npm, GitHub, Visual Studio Marketplace, and YouTube, the actual experience may be affected by network conditions. However, this cannot be determined from the text alone, so it should be considered unknown.