feat: Add type checker implementation, AST definitions, and initial benchmark scripts.

Author: ProgrammerKR

benchmarks/fibonacci.prox

@@ -1,14 +1,14 @@
 // benchmarks/fibonacci.prox
 // Stress Test: Recursion & Function Calls
 
-fun fib(n) {
+func fib(n) {
     if (n < 2) return n;
     return fib(n - 1) + fib(n - 2);
 }
 
 print("Starting Fib(30)...");
-start = clock();
-res = fib(30);
-end = clock();
+let start = clock();
+let res = fib(30);
+let end = clock();
 print("Result: " + res);
 print("Time: " + (end - start));

benchmarks/loop_math.prox

@@ -4,14 +4,14 @@
 const ITERATIONS = 10000000;
 print("Starting Loop Math...");
 
-start = clock();
-sum = 0;
-i = 0;
+let start = clock();
+let sum = 0;
+let i = 0;
 while (i < ITERATIONS) {
     sum = sum + i;
     i = i + 1;
 }
-end = clock();
+let end = clock();
 
 print("Sum: " + sum);
 print("Time: " + (end - start));

benchmarks/string_concat.prox

@@ -4,14 +4,14 @@
 const ITERATIONS = 20000;
 print("Starting String Concat...");
 
-start = clock();
-s = "";
-i = 0;
+let start = clock();
+let s = "";
+let i = 0;
 while (i < ITERATIONS) {
     s = s + ".";
     i = i + 1;
 }
-end = clock();
+let end = clock();
 
 print("String Length: " + len(s));
 print("Time: " + (end - start));

src/compiler/parser/ast.c

@@ -323,6 +323,11 @@ Stmt *createVarDeclStmt(const char *name, Expr *init, bool is_const, int line,
   stmt->as.var_decl.name = strdup(name);
   stmt->as.var_decl.initializer = init;
   stmt->as.var_decl.is_const = is_const;
+  stmt->as.var_decl.type.kind = TYPE_UNKNOWN;
+  stmt->as.var_decl.type.name = NULL;
+  stmt->as.var_decl.type.returnType = NULL;
+  stmt->as.var_decl.type.paramTypes = NULL;
+  stmt->as.var_decl.type.paramCount = 0;
   return stmt;
 }
 

src/compiler/type_checker.c

@@ -436,8 +436,19 @@ void initTypeChecker(TypeChecker *checker) {
     checker->currentScope = NULL;
     beginScope(checker); // Global Scope
 
-    // Define Builtins?
-    // defineSymbol(checker, "print", ...);
+    // Define Builtins
+    
+    // clock() -> Float
+    TypeInfo clockType = createType(TYPE_FUNCTION);
+    clockType.returnType = (TypeInfo*)malloc(sizeof(TypeInfo));
+    *clockType.returnType = createType(TYPE_FLOAT);
+    defineSymbol(checker, "clock", clockType);
+
+    // len(str) -> Float
+    TypeInfo lenType = createType(TYPE_FUNCTION);
+    lenType.returnType = (TypeInfo*)malloc(sizeof(TypeInfo));
+    *lenType.returnType = createType(TYPE_FLOAT);
+    defineSymbol(checker, "len", lenType);
 }
 
 bool checkTypes(TypeChecker *checker, StmtList *statements) {