Linear Functional Programming Language with Scales
app | ||
src | ||
test | ||
.gitignore | ||
CHANGELOG.md | ||
LICENSE | ||
package.yaml | ||
README.md | ||
scalie.cabal | ||
Setup.hs | ||
stack.yaml | ||
stack.yaml.lock |
scalie
▄████████ ▄████████ ▄████████ ▄█ ▄█ ▄████████
███ ███ ███ ███ ███ ███ ███ ███ ███ ███
███ █▀ ███ █▀ ███ ███ ███ ███▌ ███ █▀
███ ███ ███ ███ ███ ███▌ ▄███▄▄▄
▀███████████ ███ ▀███████████ ███ ███▌ ▀▀███▀▀▀
███ ███ █▄ ███ ███ ███ ███ ███ █▄
▄█ ███ ███ ███ ███ ███ ███▌ ▄ ███ ███ ███
▄████████▀ ████████▀ ███ █▀ █████▄▄██ █▀ ██████████
▀
What is this?
I am developing a linear programming language, it is called scalie.
If you're interested in linear types, read up about it! Maybe you have heard about it before, maybe when someone mentioned Rust.