chore: update native function names

Author: nos1dot618

README.md

@@ -40,18 +40,20 @@ Booleans and If-Then construct built entirely using Lambda Expressions.
 true: Bool = \x: Any. \y: Any. x
 false: Bool = \x: Any. \y: Any. y
 
-if_then: Any = \condition: Any.
-    \then_clause: Any. \else_clause: Any.
-        (condition then_clause else_clause)
+if: Any = \condition: Any.
+    \thenClause: Any. \elseClause: Any.
+        (condition thenClause elseClause)
 
-(print (if_then true "True" "False"))
-(print (if_then false "True" "False"))
+boolToString: Bool = \bool: Bool. (if bool "true" "false")
+
+(print (boolToString true) "\n")
+(print (boolToString false) "\n")
 ```
 
 ```console
-$ ./cmake-build-debug/lbd -f ./examples/if_then.lbd
-True
-False
+$ ./cmake-build-debug/lbd -f  ./examples/conditional_branching.lbd
+true
+false
 ```
 
 Shapes Demo
@@ -64,30 +66,28 @@ pi: Float = 3.14
 square: Float -> Float = \x: Float. (mul x x)
 
 -- Define function to calculate area of circle
-area_of_circle: Float -> Float = \r: Float.
+areaOfCircle: 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)
+volumeOfCylinder: Float -> Float -> Float = \r: Float.
+	  \h: Float. (mul (areaOfCircle r) h)
 
 -- Calculate the volume of a cylinder
-(print "Volume of cylinder is: ")
-(print (volume_of_cylinder 5.0 10.0))
+(print "Volume of cylinder is: " (volumeOfCylinder 5.0 10.0) "\n")
 ```
 
 ```console
 $ ./cmake-build-debug/lbd -f ./examples/shapes.lbd
-Volume of cylinder is:
-785.000000
+Volume of cylinder is: 785.000000
 ```
 
 Fibonacci
 
 ```haskell
 fibonacci: Any = \num: Float.
-    (if_zero (cmp 0 num) 0
-        (if_zero (cmp 1 num) 1
+    (null (cmp 0 num) 0
+        (null (cmp 1 num) 1
             (add (fibonacci (sub num 1.0)) (fibonacci (sub num 2.0)))))
 
 (print (fibonacci 10))

docs/SIGNATURE.md

@@ -6,23 +6,23 @@ add: Float -> Float -> Float
 sub: Float -> Float -> Float
 mul: Float -> Float -> Float
 cmp: Float -> Float -> Float
-if_zero: Float -> A -> B -> A|B
+null: Float -> A -> B -> A|B
 sort: List<Float> -> List<Float>
-parse_float: String -> Float
+parseFloat: String -> Float
 
 -- List module
 list: Any... -> List
-list_size: List -> Float
-list_get: List -> Float -> Any
-list_remove: List -> Float -> Any
-list_append: List -> Any -> Void
+listSize: List -> Float
+listGet: List -> Float -> Any
+listRemove: List -> Float -> Any
+listAppend: List -> Any -> Void
 map: (A -> B) -> List<A> -> List<B>
 transpose: List<List> -> List<List>
 zip: List<List> -> List<List>
-foldr: (A -> B -> B) -> List<A> -> B -> B
+foldRight: (A -> B -> B) -> List<A> -> B -> B
 
 -- IO module
-slurp_file: String -> String
+slurpFile: String -> String
 lines: String -> List<String>
 split: String -> String -> List<String>
 ```

editor-plugins/emacs/lbd-mode.el

@@ -36,10 +36,10 @@
 
 ;; Font lock
 (defconst lbd--keywords
-  '("true" "false" "if_then" "pair" "first" "second" "use"
-    "print" "add" "sub" "mul" "cmp" "if_zero" "sort" "parse_float"
-    "list" "list_size" "list_get" "list_remove" "list_append" "map" "transpose" "zip" "foldr"
-    "slurp_file" "lines" "split")
+  '("true" "false" "if" "pair" "first" "second" "use"
+    "print" "add" "sub" "mul" "cmp" "null" "sort" "parseFloat"
+    "list" "listSize" "listGet" "listRemove" "listAppend" "map" "transpose" "zip" "foldRight"
+    "slurpFile" "lines" "split")
   "Language keywords for lbd-mode.")
 
 (defvar lbd-font-lock-keywords

examples/aoc-24/day-01/part_01.lbd

@@ -2,18 +2,18 @@
 
 use "examples/std.lbd"
 
-content: String = (slurp_file "examples/aoc-24/day-01/input.txt")
+content: String = (slurpFile "examples/aoc-24/day-01/input.txt")
 entries: List = (lines content)
 
 -- TODO: Add support for un-named Lambda Expressions
-tmp: String -> Any = \x: String. (rot_2 split "   " x)
+tmp: String -> Any = \x: String. (rotate2 split "   " x)
 cols: List = (transpose (map tmp entries))
 
 -- TODO: Reassigning does not work
-tmp2: List -> Any = \x: List. (map parse_float x)
+tmp2: List -> Any = \x: List. (map parseFloat x)
 lists: List = (map sort (map tmp2 cols))
 
-tmp3: List -> Float = \x: List. (abs (sub (list_get x 0) (list_get x 1)))
+tmp3: List -> Float = \x: List. (abs (sub (listGet x 0) (listGet x 1)))
 add2: Float -> Float -> Float = \x: Float. \y: Float. (add y x)
-res: Float = (foldr add2 0 (map tmp3 (zip lists)))
+res: Float = (foldRight add2 0 (map tmp3 (zip lists)))
 (print "Answer: " res "\n")

examples/aoc-24/day-01/part_02.lbd

@@ -4,23 +4,23 @@
 
 use "examples/std.lbd"
 
-content: String = (slurp_file "examples/aoc-24/day-01/input.txt")
+content: String = (slurpFile "examples/aoc-24/day-01/input.txt")
 entries: List = (lines content)
 
-tmp: String -> Any = \x: String. (rot_2 split "   " x)
+tmp: String -> Any = \x: String. (rotate2 split "   " x)
 cols: List = (transpose (map tmp entries))
 
-tmp2: List -> Any = \x: List. (map parse_float x)
+tmp2: List -> Any = \x: List. (map parseFloat x)
 lists: List = (map tmp2 cols)
 
-eq2: Float -> Float -> Float = \x: Float. \y: Float. (if_then (eq y x) 1 0)
+eq2: Float -> Float -> Float = \x: Float. \y: Float. (if (eq y x) 1 0)
 add2: Float -> Float -> Float = \x: Float. \y: Float. (add y x)
 
-count: List -> Any -> Float = \xs: List. \x: Any. (foldr add2 0 (map (eq2 x) xs))
+count: List -> Any -> Float = \xs: List. \x: Any. (foldRight add2 0 (map (eq2 x) xs))
 
-l0: List = (list_get lists 0)
-l1: List = (list_get lists 1)
+l0: List = (listGet lists 0)
+l1: List = (listGet lists 1)
 
-tmp3: List -> Float = \xs: List. (mul (list_get xs 0) (list_get xs 1))
+tmp3: List -> Float = \xs: List. (mul (listGet xs 0) (listGet xs 1))
 
-(print "Answer: " (foldr add2 0 (map tmp3 (zip (list l0 (map (count l1) l0))))) "\n")
+(print "Answer: " (foldRight add2 0 (map tmp3 (zip (list l0 (map (count l1) l0))))) "\n")

examples/conditional_branching.lbd

@@ -0,0 +1,11 @@
+true: Bool = \x: Any. \y: Any. x
+false: Bool = \x: Any. \y: Any. y
+
+if: Any = \condition: Any.
+    \thenClause: Any. \elseClause: Any.
+        (condition thenClause elseClause)
+
+boolToString: Bool = \bool: Bool. (if bool "true" "false")
+
+(print (boolToString true) "\n")
+(print (boolToString false) "\n")

examples/if_then.lbd

@@ -1,16 +1,16 @@
 a: List = (list)
 (print "list: " a "\n")
 
-(list_append a "Hello")
+(listAppend a "Hello")
 (print "list: " a "\n")
 
-(print "list size: " (list_size a) "\n")
+(print "list size: " (listSize a) "\n")
 
-(list_append a "World")
+(listAppend a "World")
 (print "list: " a "\n")
-(print "list[1]: " (list_get a 1) "\n")
+(print "list[1]: " (listGet a 1) "\n")
 
-(list_append a "Foo")
+(listAppend a "Foo")
 (print "list: " a "\n")
-(list_remove a 2)
+(listRemove a 2)
 (print "list: " a "\n")

examples/list.lbd

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

examples/math_demos.lbd

@@ -0,0 +1,2 @@
+true
+false