athos

(letfn [(kons [x y]
          (cons x y))]
  (kons 1 nil))

(defmacro letfn1 [name args & form]
  (let [fbody (butlast form)
        body (last form)]
    `(letfn [(~name ~args ~@fbody)]
       ~body)))

athos

(ns analyze)

(defmulti expr->clj-obj class)

(defmethod expr->clj-obj :default [x] x)

(defn exprs->clj-obj [xs]
  (vec (map expr->clj-obj xs)))

(def EVAL        clojure.lang.Compiler$C/EVAL)

athos

sig Digit {}
one sig One, Two, Three, Four extends Digit {}

sig Cell {content: one One + Two + Three + Four}

sig Group {
  cells: set Cell
} {
  no disj c, c': cells | c.content = c'.content
}

athos

open util/ordering [Array]

sig Num {}
sig Array {
  at: Num -> one Num
}

pred update(a, a': Array, i, v: Num) {
  a'.at = a.at ++ i -> v
}

athos

(defn defn-reader [body]
  (let [name (symbol (name (first (keys (dissoc (meta body) :tag)))))
        args (read-string (:tag (meta body)))]
    `(defn ~name ~args ~(seq body))))

(.bindRoot #'default-data-readers {'defn #'defn-reader})

#defn ^:fact ^"[x]"
[
  if (= x 0)

athos

(ns letrec
  ;; add [org.clojure/tools.macro "0.1.1"] to :dependencies if you use Leiningen,
  ;; or download it from https://github.com/clojure/tools.macro
  (:use [clojure.tools.macro :only [macrolet]]))

(defmacro letrec [bindings & body]
  (let [fnames (map first bindings)
        fname->label (zipmap fnames (range))
        fsym (gensym)
        max-nargs (reduce #(max %1 (count %2)) 0 (map second bindings))

athos

(use 'syntactic-closure.core)

(define-syntax aif
  (sc-macro-transformer
    (fn [[_ test then else] env]
      (quasiquote
        (let [it ~(make-syntactic-closure env nil test)]
          (if it
            ~(make-syntactic-closure env '[it] then)
            ~(make-syntactic-closure env nil else)))))))

athos

(defmacro hash-map-by-names [names]
  (zipmap (map keyword names) names))

(def x 100)
(def y 200)

(let [y 2
      z 3]
  (hash-map-by-names [x y])) ; {:y 2, :x 100}

athos

user=> (def freq (frequencies (map #(count (str %)) (keys (ns-publics 'clojure.core)))))
#'user/freq
user=> (doseq [[l n] freq] (printf "%2d %s\n" l (apply str (repeat n \*))))
 1 *******
 2 ****************
 3 ****************************
 4 **********************************************************************
 5 *******************************************************
 6 ********************************************************
 7 ****************************************************************

athos

(ns reader-test)

(alter-var-root #'*default-data-reader-fn* (fn [_] cons))

#defn(fibs [n]
  #letfn([#f([a b] #lazy-seq(#cons(a, #f(b, #+(a, b)))))]
    #take(n, #f(0, 1))))

; #fibs(10) => (0 1 1 2 3 5 8 13 21 34)