/* ------------------------------------------------------------------------------- 2022.05.28 - On lambda expressions I think it's not wise to add the multiline lambda expressions As is the case with python it would require new alternative syntax. The idea was to imply that the whitespace significant syntax is just inserting '{' '}' ';' automatically and if you decide to write a brace it stops being whitespace significant and you can type everything with semicolons and braces Problem is first of all it's kind of weird to have a completly different syntax in a language to solve something that is a minor inconvenience, second of all it turned out to be kind of bad, maybe if it would be more complicated then it would be ok but it implies that you have to semicolon end a lot of thing unintuitively. Probably single line lambdas should be ok. Currently braces turn off indentation awareness. There might be something you can do by trying to turn that on problem is that complicates parsing a lot cause you have to account for multiple indent styles, which means error messages become bad. ------------------------------------------------------------------------------- 2022.05.30 - On constructors and compound expressions I unified the compound expression syntax (Type){} with function call syntax Type(). It's differentiating on whether you used type. I think there is a benefit to the language not having an idea of overloading the type constructor. You will always know what will happen. Unlike C++ for example. It seems like a minefield that can fuck your mind up. So many corner cases and variants. having the idea of compounds doing one thing is reassuring I think. You can always do a constructor by writing a function with lower case type if you want that. For now I don't thing it should be overloadable. ------------------------------------------------------------------------------- Type resolution cases CONST :: expr - dont need to handle make new symbol val := expr (1) convert untyped to typed default check bounds make new symbol call(default:type = expr) (1) val: type = expr (1) convert untyped to typed based on type make sure expr.type == type check bounds expr == expr (2) expr * expr (2) make sure compatible types, floats with ints are ok(convert to float) if only one of them is typed convert the untyped to typed if both types typed make sure they are the same check bounds !expr make sure correct type return bool compound(expr) call(expr, expr) convert untyped to matching typed check if types match cast(expr: type) convert from untyped to typed convert between typed to other typed check if types compatible Stmt: Return - Expression should match lambda return type Expr: Lambda - Arguments, default values should match type ArrayT - Should match type int and be constant or not at all Call - Arguments should match type @todo [ ] - Arrays with size passed [ ] - Switch [ ] - Values inited to 0 by default [ ] - Emitting #line [ ] - Comma notation when declaring variables thing1, thing2: S32 [ ] - Array of inferred size [ ] - Add single line lambda expressions [ ] - Ternary operator [ ] - Remodel compound from call to {} [ ] - Scope [ ] - Field access rewrite [ ] - Constants embeded in structs should be able to refer to other constants in that namespace without prefix [ ] - Order independent constants in structs [ ] - Fix recursive lambdas in structs [ ] - Fixing access to functions/structs, in C we cant have functons inside of structs / functions so we need to rewrite the tree [ ] - Write up on order independent declarations [ ] - Casting to basic types by call S64(x) [ ] - Default values in structs??? Should compound stmts bring values from default values?? Maybe not? Whats the alternative [ ] - Type aliases :: should probably be strictly typed, but assigning constant values should work @ideas [ ] - Var args using Any array - args: []Any - delete vargs [ ] - [Using] keyword that brings in the struct enviroment into current scope etc. [ ] - Constant arrays that evaluate fully at compile time [ ] - Rust like enum where you associate values(other structs) with keys [ ] - Compound that zeros values - .{} , Compound that assumes defaults from struct definition - {} [ ] - Inject stack traces into the program [ ] - Rewrite constants to embed lambda, types, structs etc. [ ] - Conditional compilation #if @donzo [x] - We need ++ -- operators [x] - Some way to call foreign functions [x] - We are parsing wrong here: (t.str=(&string_to_lex.str)[i]); [x] - Test new operators, add constant eval for them [x] - lvalue, rvalue concept so we cant assign value to some arbitrary weird expression [x] - Passing down program to compile through command line [x] - More basic types [x] - Implementing required operations int128 [x] - Fix casting [x] - More for loop variations [x] - Add basic support for floats [x] - Converting from U64 token to S64 Atom introduces unnanounced error (negates) - probably need big int [x] - Add basic setup for new type system [x] - Access through struct names to constants Arena.CONSTANT [x] - Enums [x] - Make sure pointer arithmetic works [x] - Initial for loop [x] - Enum . access to values [x] - Character literal [x] - Compiling and running a program [x] - Infinite for loop [x] - in new typesystem: Fix calls, fix all example programs [x] - Fix arithmetic operations in new type system [x] - Init statements, different kinds [+=] [-=] etc. [x] - Struct calls [x] - Operators: Bit negation, Not [x] - Default values in calls [x] - Resolving calls with default values [x] - Pass statement [x] - Lexer: Need to insert scope endings when hitting End of file [x] - Resolving calls with named args, with indexed args [x] - Structs [x] - Struct field access [x] - Struct field access with dots while compiling to arrows in c [x] - Typespecs should probably be expressions so stuff like would be possible :: *[32]int [x] - Initial order independence algorithm [x] - Think about compound expressions, unify with calls - maybe Thing(a=1) instead of Thing{a=1} */ #include "base.cpp" #include "base_unicode.cpp" #include "big_int_c3.cpp" #include "compiler.h" #include "lexer.cpp" #include "types.h" // #include "big_int.cpp" #include "new_ast.cpp" #include "new_parse.cpp" #include "typecheck.h" #include "typecheck.cpp" #include "ccodegen.cpp" int main(int argument_count, char **arguments){ // test_big_int(); test_os_memory(); thread_ctx_init(); test_unicode(); test_types(); map_test(); test_array(); test_string_builder(); test_intern_table(); if(argument_count > 1){ Scratch scratch; String name = string_fmt(scratch, "%s.kl", arguments[1]); String c_filename = string_fmt(scratch, "%s.c", arguments[1]); String call = string_fmt(scratch, "clang.exe %s.c -g -o %s.exe && %s.exe", arguments[1], arguments[1], arguments[1]); String result = compile_file(name); FILE *f = fopen((const char *)c_filename.str, "w"); assert(f); fprintf(f, "%.*s", (int)result.len, result.str); fclose(f); system((const char *)call.str); } else{ String result = {}; #if 1 result = compile_file("globals.kl"_s); printf("%s", result.str); result = compile_file("enums.kl"_s); printf("%s", result.str); result = compile_file("order1.kl"_s); printf("%s", result.str); result = compile_file("order2.kl"_s); printf("%s", result.str); result = compile_file("lambdas.kl"_s); printf("%s", result.str); result = compile_file("new_types.kl"_s); printf("%s", result.str); #endif } __debugbreak(); }