https://github.com/imkiva/fluorine-rs
STLC with generics, ADTs, pattern matching, and Rust FFI
https://github.com/imkiva/fluorine-rs
ffi-macros lambda-calculus programming-language rust
Last synced: about 1 year ago
JSON representation
STLC with generics, ADTs, pattern matching, and Rust FFI
- Host: GitHub
- URL: https://github.com/imkiva/fluorine-rs
- Owner: imkiva
- Created: 2020-03-31T10:24:37.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2021-02-28T05:46:16.000Z (over 5 years ago)
- Last Synced: 2025-02-28T08:19:50.705Z (over 1 year ago)
- Topics: ffi-macros, lambda-calculus, programming-language, rust
- Language: Rust
- Homepage:
- Size: 1.95 MB
- Stars: 5
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
fluorine-rs
============
A functional programming language with my personal preference.
## Features
- Trait-based OO
- Generic Types
- Pattern matching
- Rust-like enums
- Optional type hints
- Operator overloading via traits
- Easy-to-use FFI macros
## Examples
- Pattern matching
```fluorine
enum Expr {
Add(Expr, Expr),
Sub(Expr, Expr),
Mul(Expr, Expr),
Div(Expr, Expr),
Lit(Number),
}
let eval = { expr ->
match expr {
Add(l, r) => eval(l) + eval(r),
Sub(l, r) => eval(l) - eval(r),
Mul(l, r) => eval(l) * eval(r),
Div(l, r) => eval(l) / eval(r),
Lit(n) => n,
}
}
// (1 + 8) * 10
let tree = Mul(Add(Lit(1), Lit(8)), Lit(10))
// 90
println(eval(tree))
```
- Traits and Impl
```fluorine
enum Data {
EmptyData,
}
trait Greet {
let greeting: (self, name: String) -> Unit
}
trait Call {
let call: (self, unit: Unit) -> Unit
}
impl Greet for Data {
let greeting = { self, name -> println("hello " + name) }
}
impl Call for T {
let call = { self, _ -> self.greeting("fluorine") }
}
let data = EmptyData();
// hello fluorine
data.call(());
```
- FFI macros
```rust
#[fluorine(Prelude)]
mod prelude_ffi {
use crate::ffi::*;
#[fluorine]
fn hello(name: String) {
println!("hello {}", name);
}
}
```
and in fluorine, just do:
```fluorine
Fs> hello("jobs")
hello jobs
```
## Acknowledge
We would like to thank [JetBrains](https://www.jetbrains.com/?from=mozart++) for sharing free
open-source licences of amazing tools such as [CLion](https://www.jetbrains.com/idea/?from=mozart++).
[
](https://www.jetbrains.com/?from=mozart++)