snowball-lang / snowball

🐱 Anything that can be written in Snowball, will eventually be written in Snowball

Snowball

A fast, high-level programming language 🐱

Snowball provides a high-level, easy-to-use syntax for writing fast, efficient code. It is designed to be easy to learn and use, while still providing the performance of a low-level language.

One example to prove itself

Object-oriented programming, high-level abstractions, and low-level control are all possible with Snowball. Here's a simple example to demonstrate its capabilities:

// Generics and interface bound checks
func print<T: ToString>(x: T) {
  // A simple yet powerful standard library
  std::io::println(x);
}

func main() {
  let mut a; // Mutability safety
  a = 10; // Type safety and type inference
  let b = a; // Borrowing and immutability
  print(b); // Type inference to its best
}

snowball's Issues

Can't call a function that's a variable

"Continue" statment

Add support for unit testing

Fix multiple operators

Rn, the parser breaks with multiple operators such as: 1 + 2 + 3

constant variable declarations

order of generation for llvm ir modules is not correct

Add String, Vector, ... support iteration

Parse operator overloads

Support for all ABIs

extern "C" fn hello();
extern "system" fn hello();
extern "cdecl" fn hello();
extern "win64" fn hello();
extern "sysv64" fn hello();
extern "snowball" fn hello();

Remove this part of code?

snowball/src/types.cc

Line 167 in ca2fd9f

// Int is supposed to represent as i32

Create struct instances

Release builds for macOS arm64

functions repeat when called from global variables

Translate code into an IR builder

Add checking for attribute arguments

Generate parent's functions if they don't exist

Add a ternary operator

virtual tables/functions

Add the `new [name]` CLI command

Add support for mutable arguments

Add name support for `init` CLI command

Return non-pointer as direct value

error: (LLVM internal error) Function return type does not match operand type of return inst!
  ret %"class._$SN&10StringViewCv15436ClsGStA1T4charClsE"* %3, !dbg !86
 %"class._$SN&10StringViewCv15436ClsGStA1T4charClsE" = type { i32, i32, i8* }

Add user-defined function types

This shoudn't be allowed

class MyClass {
  pub:
    let mut a: i32 = self.a;
    MyClass() {
    }
}

or even

class MyClass {
  pub:
    let mut a: i32 = self.b;
    let mut b: i32 = self.a;
    MyClass() {
    }
}

Todo for v1.0.0

Todo

• constant
• Add a preprocesor
• handle if function returns void, it can't be used as variable
• test for all operators
• default return type
• Add readonly variables for classes
• check if class has been initialized
• call public function or private e.g. (pub)function()

Known Bugs

• Check if class function is already defined
• Generics for class functions
• Generics kinda not work when there are arguments.
• Check if namespaces/modules are the same while checking if var/func is private
  • Index node
  • identifier node
• Generic functions 'type "T" doe snot exist!'
• Compiler errors/Warnings don't work

None important

• Add a Any type

In Progress

• Add all operators missing
• Attributes
• Add a generic system
  • Functions
  • Classes
  • Default types
  • Infer types without explicitly typing it
• Modules
  • if library ends with .so, dlopen
  • check entry with a *.json
  • add a System class for I/O
  • add system/local modules support
  • custom variable/selected imports
• Classes
  • Class/static keyword
  • Parse class
  • Parse class
    • Function
      • Support for static
      • Public methods diferentiate from private methods (can have the same name)
    • Variables
      • Support for static
  • Generate
    • Struct type
    • Functions
    • Variables
    • Self variable
  • Call static methods
  • Inheritance
    • generate struct with parent fields
    • Generate parent's functions/variables if they don't exist
    • virtual tables/functions
  • Add new keyword support
  • Add all default override methods

Done ✓

• Variables
• Function mangling
• rework for operators
• global variables
• Function creation
  • Function arguments
• change location for OPTypes struct inside BinOP node
• Comments
  • Normal
  • Multilines
• Function return types
• return statement
  • parse return statemnt
  • generate return stmt
  • check if type of return is equal to function's return type
• Generate class function to scope before generating blocks
• change all compiler error to call macro COMPILER_ERROR
• Perform function calls
  • pass arguments
  • pass self argument if it is a class
  • check if function class is initiated
    • check if function is static
• New keyword
• API
  • Add a new class
    • Add a function to class
  • Add a function
  • Add class/function to global
• add optimizations
• Let user choose in 32/64 bits numbers
• alloca should not really be in the enviroment
• Unit testing
  • Add test keyword
  • Parse test statement
  • check for -t argument
  • add TestingContext class
  • Generate test statement
  • Execute tests
  • return result variable as int
  • Add things like assert
• Add a Void type
• Int class
  • Different types of integers
• String class
• Some "built in type" constructors are not found (sometimes)
• change commands to separated folder/file
  • compile
  • build
  • unit testing

Add all operators missing

Support for deleted functions

Todo for v1.0.0

Todo

• constant
• #68
• handle if function returns void, it can't be used as variable
• test for all operators
• default return type
• #177
• Check if class has been initialized
• For loops
  • Iterator-loops support
  • #122
• #72
• #66
• #65
• #213
• #204
  • #206
• #186
• #60
• #58
• Loop flow
  • #70
  • #71
• #69
• #34
• #37
• #63
• #162
• #74
• #160
• Interfaces
  • #88
  • #89
  • #90
  • #96
  • #97
  • #98
  • #102
  • #119
  • #120
• #75
• Macro implementations
  • #115
  • #64
  • #79
  • #82
  • #84
  • #134
• #38
• #130
• #173
• #33
• #32
• #55
• #76
• #77
• #56
• Check module boundaries
  • #85
  • #86
• Add a generic system
  • Functions
  • Classes
  • Default types
  • Infer types without explicitly typing it
• Modules
  • #145
  • #91
  • add a System class for I/O
  • add system/local modules support
  • #87
• Classes
  • Class/static keyword
  • Parse class
    • Function
      • Support for static
    • Variables
  • Generate
    • Struct type
    • Functions
    • Variables
    • Self variable
  • Call static methods
  • #25
    • #26
    • #27
    • #24
  • Add new keyword support
  • Add all default override methods
• Variables
• Function mangling
• global variables
• Function creation
  • Function arguments
  • #116
  • #146
    • #149
    • #148
• Comments
  • Normal
  • Multilines
• Function return types
• return statement
  • parse return statement
  • generate return stmt
  • check if the type of return is equal to the function's return type
• Perform function calls
  • pass arguments
  • pass self-argument if it is a class
  • Check if function class is initiated
    • Check if function is static
• New keyword
• API
  • Add a new class
    • Add a function to class
  • Add a function
• add optimizations
• Let user choose in 32/64 bits numbers
• Add a Void type
• Int class
  • Different types of integers
• String class
• change commands to separated folder/file
  • compile
  • build
  • unit testing
• CHeck if class items can be accessed from private contexts
• Handle override virtual functions
• #31
• #114
• Non-pointer class instances
• Structs
  • Define and use structs
  • #57
• Documentation generator
  • #110
  • #111
  • #112
  • #170
  • #167
  • #172
  • #113
• #181
• #183
• Enums
  • #187
    • #188
  • #189
  • #192
• #217

Known Bugs

• #80
• #81
• #83
• #94
• #95
• #100
• #106
• #109
• #117
• #118
• #123
• #184
• #124
• #125
• #127
• #176
• #126
• #140
• #150
• #153
• #157
• #190
• #215

None Important

• #99
• #78
• #105
• #101
• #180

generate struct with parent fields

Support for the `export` attribute

Default arguments for macros

Implement a JIT

Break statement

Check for symbol overrides

this shoudn't work:

let x = 2;

fn x() {

}

pub fn main() i32 {
    let x: x = x;
}

`self` parameter should be a reference to a pointer

Show generic in mangled name and in name

Appropriate file name extensions for the output (depending on the output type and OS)

Add diverging functions

Finish vector class

Check if function returns on all paths, not just generated ones

Generate class variables with values

Check for attributes

e.g. there can't be "inline" and "no_inline" at the same time

also no_mangle and export.

better output for build and test CLI

Inheritance

Make string a class

IF FUNCTION IS INSIDE A MODULE, SET THE MODULE TO CONTEXT AND SET IT'S SCOPES, THIS IS VERY IMPORTANT.

very important!!!

snowball/src/generator/expr/expr-call.cc

Lines 140 to 142 in 66ccb8a

	// TODO: IF FUNCTION IS INSIDE A MODULE,
	// SET THE MODULE TO CONTEXT AND SET IT'S SCOPES,
	// THIS IS VERY IMPORTANT.

Expression macros

Add install from source instructions

git clone https://github.com/snowball-lang/snowball
cd snowball
sh ./build_scripts/release.sh
sudo make install -j100

unban user emm312 on discord server

^

Finish string class