Linear Functional Programming Language with Scales
Find a file
2025-08-18 20:33:28 +02:00
app feat[dev]: import Prelude 2025-08-15 10:28:13 +02:00
src feat[core]: Function Property: Argument modification 2025-08-17 18:19:00 +02:00
test fix[test]: Don't test read/show instances for more than a second 2025-08-18 20:33:28 +02:00
.gitignore stack project setup 2025-08-11 15:53:56 +02:00
CHANGELOG.md stack project setup 2025-08-11 15:53:56 +02:00
LICENSE stack project setup 2025-08-11 15:53:56 +02:00
package.yaml feat[stack]: dependency juggling 2025-08-17 18:29:16 +02:00
README.md doc: Readme 2025-08-12 15:11:49 +02:00
scalie.cabal feat[stack]: dependency juggling 2025-08-17 18:29:16 +02:00
Setup.hs stack project setup 2025-08-11 15:53:56 +02:00
stack.yaml feat: Ability to specify integer definitions 2025-08-12 10:20:54 +02:00
stack.yaml.lock stack project setup 2025-08-11 15:53:56 +02:00

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.