vegowotenks/scalie
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Effectful Functional Programming Language with Scales
22 commits 1 branch 0 tags 86 KiB
  • Rust 90.3%
  • Yacc 8.5%
  • Roff 1.2%
Find a file
Exact
VegOwOtenks 7182dfe2a3 Type Checking without constraint generation (duh)
2026-08-13 16:14:30 +02:00
src Type Checking without constraint generation (duh) 2026-08-13 16:14:30 +02:00
tests/parse Some musing on syntax, re-implenting the parser 2026-07-22 19:43:57 +02:00
.gitignore Project setup 2026-03-28 17:18:51 +01:00
build.rs Parsing function definitions 2026-03-28 22:53:59 +01:00
Cargo.lock Parsing function definitions 2026-03-28 22:53:59 +01:00
Cargo.toml Parsing function definitions 2026-03-28 22:53:59 +01:00
README.md Adapt the readme linking and description 2026-07-23 17:12:40 +02:00

README.md

scalie

   ▄████████  ▄████████    ▄████████  ▄█        ▄█     ▄████████ 
  ███    ███ ███    ███   ███    ███ ███       ███    ███    ███ 
  ███    █▀  ███    █▀    ███    ███ ███       ███▌   ███    █▀  
  ███        ███          ███    ███ ███       ███▌  ▄███▄▄▄     
▀███████████ ███        ▀███████████ ███       ███▌ ▀▀███▀▀▀     
         ███ ███    █▄    ███    ███ ███       ███    ███    █▄  
   ▄█    ███ ███    ███   ███    ███ ███▌    ▄ ███    ███    ███ 
 ▄████████▀  ████████▀    ███    █▀  █████▄▄██ █▀     ██████████ 
                                     ▀                           

What is this?

I am developing a effectful programming language, it is called scalie.
If you're interested in algebraic effects, read up about it! Maybe you have heard about it before, maybe when someone mentioned recent innovation in OCaml.