My take on the simplified version of the Koka language.
Haskell + stack
Clone this repo and then run the following command inside it:
stack install
kwoka-exe filename [options]
- -debug - Pretty print program with inferred types to file
- -help - Print short manual
effect Hello
{
Hello() :: String
}
fn makeGreeting(name)
{
Hello() ^ " " ^ name
}
fn main()
{
handle<Hello>(makeGreeting("General Kenobi."))
{
return(x) => PutStrLn(x),
Hello() => resume("Hello there!")
}
}