Lib.rs

Atlas77

Functional Programming language with a strong interop with Rust, designed to be a functional scripting language.
Explore the docs »

Playground (inexistant) · Report Bug · Request Feature

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.

(back to top)

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!

(back to top)

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

(back to top)

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).

(back to top)

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:

(back to top)

License

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

(back to top)

Contact

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

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

(back to top)