Ambrose Bonnaire-Sergeant frenchy64
frenchy64
/ gist:1094850
Created
July 20, 2011 12:14
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (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
/ compile_dag.clj
Created
July 22, 2011 03:14
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (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
/ compile.clj
Created
July 22, 2011 03:58
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (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
/ dag_to_source.clj
Created
July 22, 2011 05:11
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ;; (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
/ seq_type_matching.clj
Created
July 28, 2011 16:14
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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
/ type_check.clj
Created
August 3, 2011 17:45
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (deftyped | |
| addInteger | |
| [Integer :> [Integer :> Integer]] | |
| [x y] | |
| (+ x y)) | |
| (deftyped | |
| addDouble | |
| [Double :> [Double :> Double]] |
frenchy64
/ seq_named.clj
Created
August 5, 2011 12:35
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| match.core=> (-> (build-matrix [x] | |
| [1] 2 | |
| [(a)] 1) | |
| compile | |
| to-clj | |
| source-pprint) | |
| (cond | |
| (sequential? x) (cond | |
| (= x nil) 1 | |
| :else (throw |
frenchy64
/ expand_pattern.clj
Created
August 9, 2011 14:07
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (defmacro expand-pattern [vars & clauses] | |
| `(-> (build-matrix ~vars ~@clauses) | |
| compile | |
| to-clj | |
| source-pprint)) |
frenchy64
/ matchor.clj
Created
August 12, 2011 12:24
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (match [x y] | |
| ([1 2] | | |
| [2 3] | | |
| [3 4]) :a0 | |
| [10 20] :a1) |
frenchy64
/ uniformsyntax.clj
Created
August 12, 2011 12:40
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (match x | |
| (1 | | |
| 2 | | |
| 3) :a0 | |
| 1 :a1) | |
| (match [x y] | |
| ([1 2] | | |
| [2 3] | | |
| [3 4]) :a0 |