Bento Box Lang

LISP macros
Standard imperative syntax
Extensive math library
Complex and Rational numbers
native machine types for math
As fast as C
GPU and Distributed computing capability
LLVM based
Calling C functions directly
Multiple dispatch
Unicode UTF-8
Type-bound operators
types are runtime objects
Runtime type inference
Open Source
Lightweight Green threads/coroutines
GC is incremental with no pauses
Shell capabilities and REPL
Multidimensional arrays
True module system and textual #inclusion
Reflection and access to intermediate bytecode
Can be embedded inside C code with a single header

Julia dynamic types are not forced.
http://docs.julialang.org/en/latest/manual/types/
Type Declarations

The :: operator can be used to attach type annotations to expressions and variables in programs. There are two primary reasons to do this:

As an assertion to help confirm that your program works the way you expect,
To provide extra type information to the compiler, which can then improve performance in some cases