;; This is a comment

;; Definitions are global and unordered
(def list/empty ())

;; Functions are single argument curried lambdas
(def id (fn x x))
(def const (fn x _ x))

;; Application is also curried
(def swap (fn f x y (f y x)))

;; New forms can be constructed using macros
(macro defn ...)   ; implementation elided
(defn compose f g x (f (g x)))

;; Quotes can be used for special symbols
(def "a name with spaces in it" ...)

;; Pound is syntax sugar for applying a macro to the whole file
#(package demo)

;; Everything after this point is provided as a library
;; and not as part of the language

;; Imports are defined in package.m
#(import nat)

;; Natural numbers are defined in nat.m
(def inc (+ 1))
(def dec ((swap -) 1))

;; Lists are defined in list.m
(defn sum list
  (fold list 0 +))

;; If expressions are macros defined in bool.m
(defnrec factorial x
  (if (= x 0) 1
    (* x (factorial (dec x)))))

;; Processes are used for IO
(defrec echo
  (do
    (x (read-line stdin))
    (_
      (run-async
        (write-line stdout x)
        (write-line (file-out (string "out.log")) x)))
    (_ echo)))

;; Data types are defined in data.m
(defdata point x y)
(def origin (point 0 0))