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

>>2
Type system:dynamic, nominative and parametric.
Runtime types allow dynamic flexibility with static type speed via type inference.
You can use primitive types and parametric types too.
hierarchical relationships between types are explicitly declared,
concrete types may not subtype each other: all concrete types are final and may only have abstract types as their supertypes.
all values are true objects having a type that belongs to a single, fully connected type graph, all nodes of which are equally first-class as types.
Both abstract and concrete types can be parameterized by other types.Only values, not variables, have types — variables are simply names bound to values.