VM aimed at statically typed code

I want my future game to execute scripts (written in my own small language) which are to be distributed in compiled form. Also, I can infer types for all variables, so I think it will make sense to choose a VM tailored for static code execution.

I do not want to distribute the compiler to compile the scripts on the fly, and I also do not want to have much hassle building scripts for all supported platforms.

Desired properties:

* execute statically typed code
* while having a ``dynamic'' type
* easy support for string operations: concatenation, substring slices (start offset, length),
* easy support for lists and hashes that map strings to ``dynamic'' values
* good hassle-free FFI as the scripts are going to use library functions I provide in the C code
* open source of course

Preferred properties:

* JIT

VMs I have looked into:

* CLR - microsoft shit, bloated, do not want
* JVM - same shit, annoying to distribute
* Parrot - hard to compile to, no static typing
* CPython - no static typing, slow,
* PyPy - slow,
* LuaJIT - no static typing
* LLVM - incredibly hard to use

I lean towards compiling to LLVM bitcode though. What would you choose?

* execute statically typed code
* while having a ``dynamic'' type

kill yourself my man

http://moarvm.org/
http://hhvm.com/

>>3
PHP? No thank you!

VM aimed at my anus

>>2
Dynamic type is great when you deal with heterogeneous dictionaries and lists. And you deal with them often, because it convenient. (if not, you are an idiot)

>>3
Thank you! I shall look into these VMs.

>>6
no, you're an idiot..

And I want a pinku bento box. How about we want in one hand and shit in the other and see which hand glad up faster.

* easy support for string operations: concatenation, substring slices (start offset, length),

VAX.

>>11

VAX.

DUBS.