Skip to content
/ slicelang Public

slicelang's working drafts, code examples, standard library, lang design general stuff

Notifications You must be signed in to change notification settings

bga/slicelang

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

8 Commits
 
 
 
 
 
 

Repository files navigation

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
Slicelang has also other modern features:
  • automatic code paralellisation
  • easy concurent system w/o deadlocks and race conditions
  • full type algebra
  • extreme DRY standard library
  • simple but powerfull versioning system

About

slicelang's working drafts, code examples, standard library, lang design general stuff

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published