Skip to content

A Programming Language. Like C with Generics and some quality of life features.

Notifications You must be signed in to change notification settings

adam-bates/quill-lang

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Quill Programming Langauge

Note: the compiler is a work-in-progress. Not everything is implemented yet.

Iteration on c. Aiming for quality-of-life improvements, keeping a lean language, and removing c weirdness.

Some notable differences from c:

  • Data is immutable by default. Mutable data is marked as mut.
  • Namespacing: io::println("hello")
  • Generics: HashTable<String, int>
  • Type-inferencing: let x = true;
  • for-each loops: foreach n in 0..10
  • Standard library supplies fat strings, fat arrays, optionals, result types, and much more.
  • No macros, no metaprogramming. Sorry, not sorry!

Examples

Hello world

import std/io;

void main() {
    io::println("Hello, world!");
}

Fibonacci

import std;
import std/conv;
import std/io;

void main() {
    // std::args is type std::Array<std::String>
    // it contains the arguments passed in to the program (ie. argc, argv in c)
    let args = std::args;

    // parse cli arg as uint8
    if args.length != 2 {
        let prog = args.data[0];
        CRASH `Usage: {prog} [integer]`;
    }
    let res = conv::parse_uint8(args.data[1]);

    let n = std::assert_ok<uint8>(res);

    foreach i in 0..n {
        io::println(`fib({i}) = {nth_fib(i)}`);
    }
}

uint64 nth_fib(uint8 n) {
    if n <= 1 {
        return 1;
    }

    let mut a = 1;
    let mut b = 2;
    let mut tmp = a;

    foreach i in 2..n {
        tmp = a;
        a = b;
        b = tmp + a;
    }

    return b;
}

Fizzbuzz

import std;
import std/conv;
import std/ds;
import std/io;

void main() {
    let args = std::args;

    if args.length != 2 {
        let prog = args.data[0];
        CRASH `Usage: {prog} [integer]`;
    }

    std::Result<uint> res = conv::parse_uint(args.data[1]);

    // instead of std::assert_ok<uint>res)
    if !res.is_ok {
        CRASH `Error parsing integer: {res.err}`;
    }
    uint n = res.val;

    // each iteration reuses a std/ds::StringBuffer
    // that way building the string has minimal allocations
    let mut out = ds::strbuf_default();
    foreach i in 1..=n {
        defer ds::strbuf_reset(&out); // maintains capacity
    
        if i % 3 == 0 { ds::strbuf_append_str(&out, "Fizz"); }
        if i % 5 == 0 { ds::strbuf_append_str(&out, "Buzz"); }

        if out.length == 0 { ds::strbuf_append_uint(&out, i); }

        ds::strbuf_append_char(&out, '\n');
        io::print(ds::strbuf_as_str(out));
    }
}

Why does this exist?

For fun, learning, and because it's the langauge I want to use.

It will probably never be ready for you or others to use, and that's ok. If you like what you see here, I recommend checking out Zig and C3. Both of which also attempt to iterate on C with modern features, a lean grammar, and still allowing full control of your program.

Using the language

For now, there is only a barebones compiler which outputs generated c files. I'll improve the tooling later.

Download this repo, then build the compiler using:

make

You can run the repo's tests using:

make test

The hello-world example can be run using:

make example-hello

About

A Programming Language. Like C with Generics and some quality of life features.

Resources

Stars

Watchers

Forks