Skip to content

Instantly share code, notes, and snippets.

View frenchy64's full-sized avatar

Ambrose Bonnaire-Sergeant frenchy64

362 followers · 22 following
  • Madison, Wisconsin
View GitHub Profile
@frenchy64
frenchy64 / gist:1094850
Created July 20, 2011 12:14
(ns logic-introduction.core
(:refer-clojure :exclude [inc reify ==])
(:use [clojure.core.logic minikanren prelude nonrel match disequality]))
(defn geto [key env value]
"Succeed if type association [key :- value] is found in vector env."
(matche [env]
([[[key :- value] . _]])
([[_ . ?rest]] (geto key ?rest value))))
@frenchy64
frenchy64 / compile_dag.clj
Created July 22, 2011 03:14
(def pm2 (pattern-matrix [(pattern-row [wildcard (pattern false) (pattern true)] :a1)
(pattern-row [(pattern false) (pattern true) wildcard] :a2)
(pattern-row [wildcard wildcard (pattern false)] :a3)
(pattern-row [wildcard wildcard (pattern true)] :a4)]
'[x y z]))
(compile pm2)
;#match.core.SwitchNode[
@frenchy64
frenchy64 / compile.clj
Created July 22, 2011 03:58
(def pm2 (pattern-matrix [(pattern-row [wildcard (pattern false) (pattern true)] :a1)
(pattern-row [(pattern false) (pattern true) wildcard] :a2)
(pattern-row [wildcard wildcard (pattern false)] :a3)
(pattern-row [wildcard wildcard (pattern true)] :a4)]
'[x y z]))
(compile pm2)
@frenchy64
frenchy64 / dag_to_source.clj
Created July 22, 2011 05:11
;; (match [x y z]
;; [_ f# t#] 1
;; [f# t# _ ] 2
;; [_ _ f#] 3
;; [_ _ t#] 4)
(def pm2 (pattern-matrix [(pattern-row [wildcard (pattern false) (pattern true)] :a1)
(pattern-row [(pattern false) (pattern true) wildcard] :a2)
(pattern-row [wildcard wildcard (pattern false)] :a3)
(pattern-row [wildcard wildcard (pattern true)] :a4)]
@frenchy64
frenchy64 / seq_type_matching.clj
Created July 28, 2011 16:14
match.test.core=> (-> (build-matrix [x]
[[1]] 1
[(isa? Object)] 2)
compile
to-clj)
(clojure.core/cond
(<TypePattern: class java.lang.Object > x) 2
(#match.core.VectorPattern[[1], 0] x) (clojure.core/cond
(<LiteralPattern: 1> x0) (clojure.core/cond
@frenchy64
frenchy64 / type_check.clj
Created August 3, 2011 17:45
(deftyped
addInteger
[Integer :> [Integer :> Integer]]
[x y]
(+ x y))
(deftyped
addDouble
[Double :> [Double :> Double]]
@frenchy64
frenchy64 / seq_named.clj
Created August 5, 2011 12:35
match.core=> (-> (build-matrix [x]
[1] 2
[(a)] 1)
compile
to-clj
source-pprint)
(cond
(sequential? x) (cond
(= x nil) 1
:else (throw
@frenchy64
frenchy64 / expand_pattern.clj
Created August 9, 2011 14:07
(defmacro expand-pattern [vars & clauses]
`(-> (build-matrix ~vars ~@clauses)
compile
to-clj
source-pprint))
@frenchy64
frenchy64 / matchor.clj
Created August 12, 2011 12:24
(match [x y]
([1 2] |
[2 3] |
[3 4]) :a0
[10 20] :a1)
@frenchy64
frenchy64 / uniformsyntax.clj
Created August 12, 2011 12:40
(match x
(1 |
2 |
3) :a0
1 :a1)
(match [x y]
([1 2] |
[2 3] |
[3 4]) :a0