Interactive Playground

You can immediately experiment with the Effekt language, without installing it.

Below you can find an editor, which is enabled by clicking “edit” on the right. Please be aware that the changes are not saved unless you create a sharable URL by clicking on the “share” button.

import list
import option

interface Greet { def sayHello(): Unit }

def helloWorld() = try {
  do sayHello()
} with Greet {
  def sayHello() = { println("Hello!"); resume(()) }
}

helloWorld()

Warning: Be sure to inspect any Effekt code that is shared with you before executing it as it is possible to run arbitrary, potentially harmful, JavaScript code.