Backcalls

Backcalls are used for unnesting callbacks. They are defined using arrows pointed to the left as the last parameter by default filling in a function call. All the syntax is mostly the same as regular arrow functions except that it is just pointing the other way and the function body does not require indent.

x <- f
print "hello" .. x

Compile

Fat arrow functions are also available.

<= f
print @value

Compile

You can specify a placeholder for where you want the backcall function to go as a parameter.

(x) <- map _, [1, 2, 3]
x * 2

Compile

If you wish to have further code after your backcalls, you can set them aside with a do statement. And the parentheses can be omitted with non-fat arrow functions.

result, msg = do
  data <- readAsync "filename.txt"
  print data
  info <- processAsync data
  check info
print result, msg

Compile