Are types checked statically?

[list+org dot sourceware dot kawa at io7m dot com]

Hello!

I'm looking for a scripting language that can be embedded into a Java
program (ideally via the JSR223 API, but this is not a hard
requirement). However, one of my requirements is static type checking
and that tends to limit the options somewhat. As someone who enjoys
functional programming, I was quite pleased to learn that Kawa existed!
However, I can't quite make out from the information on the site
whether or not the types are checked at compilation time or not. I 
appreciate that the distinction is somewhat subtle if "compilation
time" actually means "when the script is loaded by the running program".

M

Attachment: pgpOLKrL4LfMK.pgp
Description: OpenPGP digital signature