Slicelang(working, not final, name) is platform independeble general purpose programming language is designing for subject areas which requires extreme hight safe and robust such as military, banking and space (satellite, space station etc) soft. Its cover following aspects of code protection:
- modern type system with abstract types and without type/immutable waterfall
- force use only abstractions
- data centric object system
- force immutable data
- force copy data rather then use ref
- per data guards, input/output guards
- type axioms
- functional way working with collections rather then plain loops
- per function unit test as part of function's spec directly in code
- code prove system
- various code analysers
- automatic code paralellisation
- easy concurent system w/o deadlocks and race conditions
- full type algebra
- extreme DRY standard library
- simple but powerfull versioning system