feat: add rudimentary support for interpreter

Author: nos1dot618

CMakeLists.txt

@@ -1,5 +1,5 @@
 cmake_minimum_required(VERSION 4.0)
-project(lambda_discipline)
+project(lambda-discipline)
 
 set(CMAKE_CXX_STANDARD 20)
 
@@ -17,10 +17,17 @@ add_library(fe STATIC
 
 add_library(intp STATIC
     ${CMAKE_SOURCE_DIR}/src/intp/types.cpp
+    ${CMAKE_SOURCE_DIR}/src/intp/interpreter.cpp
+    ${CMAKE_SOURCE_DIR}/src/intp/builtins.cpp
 )
 
-add_executable(lambda_discipline ${CMAKE_SOURCE_DIR}/src/main.cpp)
-target_link_libraries(lambda_discipline PRIVATE fe intp)
+add_executable(lbd
+    ${CMAKE_SOURCE_DIR}/src/main.cpp
+    ${CMAKE_SOURCE_DIR}/src/cmd.cpp
+    ${CMAKE_SOURCE_DIR}/src/repl.cpp
+)
+
+target_link_libraries(lbd PRIVATE fe intp)
 
 # TODO: Add build tests
 # EXAMPLE: add_executable(lexer_test ../tests/lexer_test.cc)

README.md

@@ -7,4 +7,18 @@ cmake ..
 make
 ```
 
-> TODO: Add build instructions for Windows as well.
+## Usage
+
+```bash
+usage: lbd [options]
+
+options:
+-f, --file <filename>   Specify input source file to run
+-h, --help              Show this help message and exit
+-d, --debug             Enable debug mode
+-r, --repl              Run in interactive REPL node
+```
+
+> TODO: Add build instructions for Windows as well.
+
+> TODO: Add small script to print all TODOs and there Loc.

examples/ifthen.lbd

@@ -0,0 +1,9 @@
+true: Bool = \x: Any. \y: Any. x
+false: Bool = \x: Any. \y: Any. y
+
+ifthen: Any = \condition: Bool -> Any -> Any -> Any.
+	\then_clause: Any. \else_clause: Any.
+	(condition then_clause else_clause)
+
+(print (ifthen true "True" "False"))
+(print (ifthen false "True" "False"))

examples/math_demos.lbd

@@ -0,0 +1,6 @@
+fibonacci: Any = \num: Float.
+    (if_zero (cmp 0 num) 0
+        (if_zero (cmp 1 num) 1
+            (add (fibonacci (sub num 1.0)) (fibonacci (sub num 2.0)))))
+
+(print (fibonacci 10))

examples/pair.lbd

@@ -0,0 +1,9 @@
+pair: Any = \x: Any. \y: Any. \fn: Any. (fn x y)
+
+first: Any = \x: Any. \y: Any. x
+second: Any = \x: Any. \y: Any. y
+
+p1: Any = (pair 1.0 2.0)
+
+(print (p1 first))
+(print (p1 second))

examples/shapes.lbd

@@ -0,0 +1,17 @@
+-- Define Pi as constant
+pi: Float = 3.14
+
+-- Define function to calculate square
+square: Float -> Float = \x: Float. (mul x x)
+
+-- Define function to calculate area of circle
+area_of_circle: Float -> Float = \r: Float.
+    (mul pi (square r))
+
+-- Define function to calculate volume of cylinder
+volume_of_cylinder: Float -> Float -> Float = \r: Float.
+	\h: Float. (mul (area_of_circle r) h)
+
+-- Calculate the volume of a cylinder
+(print "Volume of cylinder is: ")
+(print (volume_of_cylinder 5.0 10.0))

examples/std.lbd

@@ -1,8 +1,10 @@
+-- TODO: Support for `use`
+
 -- booleans and conditions
 true: Bool = \x: Any. \y: Any. x
 false: Bool = \x: Any. \y: Any. y
 
-ifthen: Any = \condition: Any.
+if_then: Any = \condition: Any.
     \then_clause: Any. \else_clause: Any.
     (condition then_clause else_clause)
 
@@ -14,4 +16,4 @@ second: Any = \x: Any. \y: Any. y
 
 -- misc
 float_eq: Float -> Float -> Bool = \x: Float. \y: Float.
-    (ifzero (cmp x y) true false)
+    (if_zero (cmp x y) true false)

examples/test.lbd

@@ -0,0 +1,17 @@
+-- Define Pi as constant
+pi: Float = 3.14
+
+-- Define function to calculate square
+square: Float -> Float = \x: Float. (mul x x)
+
+-- Define function to calculate area of circle
+area_of_circle: Float -> Float = \r: Float.
+    (mul pi (square r))
+
+-- Define function to calculate volume of cylinder
+volume_of_cylinder: Float -> Float -> Float = \r: Float.
+	\h: Float. (mul (area_of_circle r) h)
+
+-- Calculate the volume of a cylinder
+(print "Volume of cylinder is: ")
+(print (volume_of_cylinder 5.0 10.0))

include/lbd/cmd.h

@@ -0,0 +1,18 @@
+#pragma once
+
+#include <iostream>
+#include <optional>
+#include <string>
+
+namespace cmd {
+    struct Options {
+        std::optional<std::string> filepath;
+        bool show_help = false;
+        bool repl = false;
+        bool debug = false;
+    };
+
+    void print_help(std::ostream &os, const std::string &program_name);
+
+    Options parse_args(int argc, char **argv, const std::string &program_name);
+}

include/lbd/fe/ast.h

@@ -1,6 +1,5 @@
 #pragma once
 
-#include <iostream>
 #include <lbd/fe/loc.h>
 #include <lbd/intp/types.h>
 #include <string>
@@ -36,6 +35,8 @@ namespace fe::ast {
         intp::types::Type arg_type;
         std::unique_ptr<Expression> expr;
         loc::Loc loc;
+        /// Maybe, this is redundant
+        /// TODO: Remove after checking
         intp::types::CompoundType lmd_expr_type; // Lambda Expression Type
 
         void print(std::ostream &os, size_t indent) const;