The language officially has a name: Lux (stylized as "lux").

1 files changed, 0 insertions, 153 deletions

diff --git a/test2.lang b/test2.lang
deleted file mode 100644
index 13fabc59a..000000000
--- a/test2.lang
+++ /dev/null
@@ -1,153 +0,0 @@
-(import java.lang.System)
-(require "./another" as another)
-
-(definterface Function
-  (: apply (-> [java.lang.Object] java.lang.Object)))
-
-(defclass Tuple0 [])
-(defclass Tuple1 [[java.lang.Object _0]])
-(defclass Tuple2 [[java.lang.Object _0] [java.lang.Object _1]])
-
-(defclass Variant [[java.lang.String tag] [java.lang.Object value]])
-
-(def (++ xs ys)
-  (case xs
-    #Nil
-    ys
-
-    (#Cons x xs*)
-    (#Cons x (++ xs* ys))))
-
-(def (template elems)
-  (case elems
-    #Nil
-    elems
-
-    (#Cons head tail)
-    (case head
-      (#Form (#Cons (#Ident "~") (#Cons unquoted #Nil)))
-      (#Cons unquoted (template tail))
-
-      (#Form (#Cons (#Ident "~@") (#Cons spliced #Nil)))
-      (#Cons (#Ident "++") (#Cons spliced (template tail)))
-
-      _
-      (#Cons head (template tail))
-      )))
-
-(defmacro (' form)
-  (case form
-    (#Cons form* #Nil)
-    (case form*
-      (#Form elems)
-      (#Quote (#Form (template elems)))
-
-      _
-      (#Quote form*)
-      )))
-
-## Utils
-(def (fail* message)
-  (#Failure message))
-
-(def (return* state value)
-  (#Ok state value))
-
-(def (fail message)
-  (lambda [state]
-     (#Failure message)))
-
-(def (return value)
-  (lambda [state]
-     (#Ok state value)))
-
-(def (bind m-value step)
-  (lambda [state]
-     (let inputs (m-value state)
-          (case inputs
-            (#Ok ?state ?datum)
-            (step ?datum ?state)
-            
-            _
-            inputs))))
-
-## Ideally, this is what I want...
-## (exec [yolo lol
-##        #let [foo bar]
-##        #when foo]
-##   (meme yolo foo))
-
-(defmacro (exec tokens)
-  (case tokens
-    (#Cons (#Tuple steps) (#Cons return #Nil))
-    (if (= 0 (mod (length steps) 2))
-      (fold (lambda [inner pair]
-               (case pair
-                 [label computation]
-                 (` (bind (~ computation)
-                          (lambda [(~ label)] (~ inner))))))
-            return
-            (as-pairs steps))
-      (#Text "Oh no!"))))
-
-## Program
-(def (main args)
-  (case (' ((~ "TROLOLOL")))
-    (#Form (#Cons (#Text text) #Nil))
-    (:: (:: System out) (println text))
-    ))
-
-#(
-  (defmacro (::+ pieces)
-    (case pieces
-      (#Cons init #Nil)
-      init
-
-      (#Cons init (#Cons access others))
-      (' (::+ (:: (~ init) (~ access)) (~@ others)))
-      ))
-
-  (def (main args)
-    (if true
-      (let f (lambda [x] (lambda [y] (x y)))
-           (let g (lambda [x] x)
-                (::+ System out (println (f g "WE'VE GOT CLOSURES!")))))
-      (:: (:: System out) (println "FALSE"))))
-
-  (def (main args)
-    (if true
-      (case (++ (#Cons "Pattern" #Nil) (#Cons "Matching" #Nil))
-        (#Cons "Pattern" (#Cons second #Nil))
-        (do (:: (:: System out) (println "Branch #1"))
-          (:: (:: System out) (println second)))
-
-        (#Cons first (#Cons second #Nil))
-        (do (:: (:: System out) (println "Branch #2"))
-          (:: (:: System out) (println first))
-          (:: (:: System out) (println second))))
-      (:: (:: System out) (println "FALSE"))))
-
-  (def (main args)
-    (case (template (#Cons (#Cons (#Symbol "~@") (#Cons (#Symbol "Pattern") #Nil)) #Nil)
-                    ## (#Cons (#Cons (#Symbol "~") (#Cons (#Symbol "Pattern") #Nil)) #Nil)
-                       )
-      (#Cons word #Nil)
-      (do (:: (:: System out) (println "Branch #1"))
-        (:: (:: System out) (println word)))
-
-      (#Cons (#Symbol op) spliced)
-      (do (:: (:: System out) (println "Branch #2"))
-        (:: (:: System out) (println op)))
-      ))
-
-  (def (main args)
-    (case (' "YOLO")
-      (#Text text)
-      (:: (:: System out) (println text))))
-
-  (def (main args)
-    (case (' ((~ "TROLOLOL")))
-      (#Form (#Cons (#Text text) #Nil))
-      (:: (:: System out) (println text))
-      ))
-  )#