Might want to take a look at Nimrod (http://nimrod-lang.org/)
* (Mostly) Python-ic syntax (indentation-based)
* Type inferance
* OOP (but only when you want it)
* Good expressivity
* Compiles via c (FAST, easy linking with C libs, no runtime required, prodoces standalone binaries)
* Lean core (Not a "kitchen sink" language, but has good support for FP and OOP)