atlas_77 0.4.0

Functional programming language with strong interoperability with Rust
atlas_77-0.4.0 is not a library.
Visit the last successful build: atlas_77-0.7.3

Contributors Forks Stargazers Issues MIT License

About The Project

Atlas77 is a functional programming language with a strong interop with Rust. It is designed to be a high-level language with a strong focus on performance and safety.

Getting Started

Prerequisites

  • Rust Compiler 
    curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

Or directly from their website: Rust

Installation

  1. Install it from Cargo 
    cargo install atlas_77
  2. Use it as a CLI 
    atlas_77 --help
  3. Enjoy!

Usage

Fibonacci Example

let fib: (n: int) -> int = 
  match n
  | 0 ~> 0
  | 1 ~> 1
  \ _ ~> fib(n - 1) + fib(n - 2)

let main: () -> int = fib(10) //> 55

For more examples, please refer to the examples folder

Roadmap

v0.3 "Foundation"

  • v0.3
    • Variable assignments
    • Function declarations
    • Conditional expressions (if-else)
    • Recursion
    • Basic arithmetic operations
    • do..end blocks to allow multiple expressions
    • Basic runtime & memory system
  • v0.3.1
    • Support for string & List[T] types (including indexing and concatenation)
    • Basic CLI support
    • Basic stdio functions
    • match expressions

v0.4 "Keystone"

  • v0.4 "Keystone"
    • Support for struct types
    • Improved runtime & memory system (~80% performance uplift)
    • Support for external functions (Rust interop)
    • Expanded standard library using external functions

Upcoming Features

  • Support for enum types:
    • Base enums (standard integer enums)
    • Advanced enums (enums with associated data)
  • Support for structs with named fields
  • Type Checking:
    • High-Level Intermediate Representation (HLIR)
    • Defining external functions
    • Compile-time traits (e.g., +, -, *, /, &)
    • Type inference
  • New and improved runtime:
    • Garbage collection
    • Memoization
    • Concurrency/parallelism by default for pure functions
  • Interoperability with other languages (e.g., C):
    • Support for loading shared libraries
  • Differentiation between "pure" and "impure" functions:
    • Ability to mark impure functions for side effects
  • Syntax rework for functions:
    • Replace let fib: (n: int) -> int = ... with let fib: (int) -> int = \n -> ... to remove argument names in type definitions.
    • Anonymous functions
    • New Abstract Syntax Tree (AST)
    • New parser

See the open issues for a full list of proposed features (and known issues).

Contributing

Contributions are what make the open source community such an amazing place to learn, inspire, and create. Any contributions you make are greatly appreciated.

If you have a suggestion that would make this better, please fork the repo and create a pull request. You can also simply open an issue with the tag "enhancement". Don't forget to give the project a star! Thanks again!

  1. Fork the Project
  2. Create your Feature Branch (git checkout -b feature/AmazingFeature)
  3. Commit your Changes (git commit -m 'Add some AmazingFeature')
  4. Push to the Branch (git push origin feature/AmazingFeature)
  5. Open a Pull Request

Top contributors:

License

Distributed under the MIT License. See LICENSE.txt for more information.

Contact

Your Name - @Gipson62_8015 - J.H.Gipson62@gmail.com

Project Link: https://github.com/atlas77-lang/Atlas77