Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add similarities and differences from Rust section #52

Merged
merged 1 commit into from
Jan 5, 2024
Merged

Add similarities and differences from Rust section #52

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 13 additions & 3 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -64,15 +64,14 @@ Programs are about transforming data into other forms of data. Code is about exp
#### Second level features
- Type inference only within blocks, not in function signatures
- Algebraic Data Types
- Typeclasses
- Traits and Generics
- REPL for connecting to running services and for quick iteration
- Compile to MLIR, WASM and generate C code
- Implemented in Rust

### Anti-features
- No hidden memory allocation
- No garbage collection or destructors
- No runtime running by default
- No hidden control flow or implicit function call
- No global state
- No exceptions
Expand All @@ -87,13 +86,24 @@ Programs are about transforming data into other forms of data. Code is about exp
- No variable shadowing
- No Java-style @Annotations
- No undefined behavior
- No marker traits like Send, Sync for concurrency. The runtime will take care of that.

### Features that are being debated
- Integer type that overflows to bignum
- Missing decimal FP. Needed for financial math
- Zig's comptime
- Check [Fearless FFI](https://verdagon.dev/blog/fearless-ffi)

### Differences with Rust

Concrete take many features from Rust like:
- Traits and generics
- Similar language but we aim to make it simpler

But we want to take a different path with respect to:
- Concurrency. We provide a default runtime with green threads. There is no support for low-level primitives like atomics, mutex and OS threads.
- There is no Sync and Send traits
- Simpler borrow checker
- No lifetimes

## Syntax

Expand Down