Qutum 
Qutum, which means quantum, is a concise and powerful programming language.
Project is hosted here.
Features
Syntax and Semantics
- Quite concise
- Pure functional without side effect
- Pure object oriented
- Closure and currying
- Named and default parameter
- Partly non-strict and lazy evaluation
- No null nor nil
- Structural type
- Multiple type without name conflict
- Static type
- Type inference
- Polymorphic generic type
- Multiple dispatch
- Memory safety
Runtime and Compiler
- C backend
- C# backend
- Lua backend
- Aggressive memory management
- Customizable garbage collection
- Integer optimization
- Tail recursion elimination
- Declarative concurrency
A bootstrap compiler including interpreter is under development, you could try an old incomplete graphical demo on HTML5.
License
Code license of Qutum is GNU General Public License version 3.
Content license of Qutum is Creative Commons 3.0 BY-SA.
No warranty of anything done by Qutum, any license is allowed for codes written in Qutum.
Copyright
Copyright 2008-2020 Qianyan Cai.