Skip to content

Latest commit

 

History

History
65 lines (60 loc) · 2.69 KB

index.md

File metadata and controls

65 lines (60 loc) · 2.69 KB

Jacy programming language

Jacy is a WIP experimental project aimed at easily writing low-level and high-level code using modern features.

It is mostly inspired by Rust, other influencers are: Swift, C++, OCaml (from view of Rust), Cyclone.

Features Jacy will/does have power of:

  • Functional programming:
    • Pattern matching
    • Closures (lambdas)
    • Immutable data (forced by default)
    • Algebraic Data Types
    • Parametric polymorphism
    • Affine types
  • Type system:
    • Static
    • Nominal sub-typing
    • Traits (aka type classes)
  • Safety:
    • Borrow checker
    • References are always valid
    • No null
    • No Undefined Behavior