32334 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	d12c95e296	Insert in row-major order.	2015-10-06 14:11:26 -04:00
Rob Rix	e178745c56	Cache the costs for the rest of the graph at each vertex.	2015-10-06 13:33:38 -04:00
Rob Rix	6c8ce1bcb2	Append, don’t subscript. ... Subscripting only replaces, never appends.	2015-10-06 13:29:43 -04:00
Rob Rix	a9349c33dc	Port the SES example from the paper.	2015-10-06 13:27:06 -04:00
Rob Rix	48a0935d5c	Use the little API for deletion fixtures.	2015-10-06 13:26:44 -04:00
Rob Rix	69d42e121c	Port insertion/deletion in the middle.	2015-10-06 13:25:56 -04:00
Rob Rix	9761ba3d98	Port insertion/deletion at head.	2015-10-06 13:25:27 -04:00
Rob Rix	b23a8ac6f7	Rename copy to roll so we can actually call it from within the tests.	2015-10-06 13:25:09 -04:00
Rob Rix	1473d5648b	Port the pure insert/delete tests.	2015-10-06 13:22:54 -04:00
Rob Rix	0d8c080f35	Add a little API for diffs.	2015-10-06 13:22:37 -04:00
Rob Rix	5a86df7a8d	Assert equality using Assertions.assert.	2015-10-06 13:16:43 -04:00
Rob Rix	cd2faed7ce	Add a typealias for diffs.	2015-10-06 13:16:32 -04:00
Rob Rix	ea09799e58	import Assertions.	2015-10-06 13:16:23 -04:00
Rob Rix	b3e6a92224	The tests link against Assertions.framework.	2015-10-06 13:16:15 -04:00
Rob Rix	8825a92ec7	Include Assertions in the workspace.	2015-10-06 13:16:05 -04:00
Rob Rix	1c4a880b09	Add Assertions as a submodule.	2015-10-06 13:13:53 -04:00
Rob Rix	286b91a88d	Add a wrapper function to compute the SES.	2015-10-06 13:12:53 -04:00
Rob Rix	1ecafbff43	Import Doubt testably.	2015-10-06 13:10:45 -04:00
Rob Rix	648945fee0	FreeAlgorithm.evaluate() calls out to SES.	2015-10-06 13:09:17 -04:00
Rob Rix	d2b3f16cfc	Document SES.	2015-10-06 13:08:17 -04:00
Rob Rix	90b404b3ee	Extract the SES function.	2015-10-06 13:05:49 -04:00
Rob Rix	6cef3b9884	Matrix is public.	2015-10-06 13:00:07 -04:00
Rob Rix	bdabcc5c24	Matrix.values is private.	2015-10-06 13:00:01 -04:00
Rob Rix	e4689b9102	Fix hashing is public.	2015-10-06 12:59:13 -04:00
Rob Rix	c35e31ad4a	Define the Term fixtures using Fix.	2015-10-06 12:58:07 -04:00
Rob Rix	daf5f8ed9e	Add a typealias for the Term fixtures.	2015-10-06 12:57:48 -04:00
Rob Rix	900d364057	Link to @patrickt’s tutorials on recursion schemes.	2015-10-06 12:53:30 -04:00
Rob Rix	675d355b96	Document iterate.	2015-10-06 12:47:33 -04:00
Rob Rix	67d35078d8	Call a Term a Term.	2015-10-06 12:25:40 -04:00
Rob Rix	cce1ed61aa	Document FreeAlgorithm.init.	2015-10-06 12:24:58 -04:00
Rob Rix	511ef4d1a1	Document that out-of-bound indices are safe.	2015-10-06 12:20:58 -04:00
Rob Rix	25f29c328c	Document Matrix a little.	2015-10-06 12:19:59 -04:00
Rob Rix	cb33717fb9	🔥 Syntax.reduce.	2015-10-06 12:17:51 -04:00
Rob Rix	69b8028750	🔥 Term.swift.	2015-10-06 12:17:38 -04:00
Rob Rix	b1af1a63a4	🔥 Diff.swift.	2015-10-06 12:17:14 -04:00
Rob Rix	4f95704c97	Remove an obsolete fixme.	2015-10-06 12:16:37 -04:00
Rob Rix	c322386cb4	Recur in dictionary diffing.	2015-10-06 12:16:19 -04:00
Rob Rix	ebca63b01e	Recur in SES.	2015-10-06 12:15:48 -04:00
Rob Rix	e14c5a7f9d	FreeAlgorithm doesn’t need equals or recur when A: Equatable & B: FreeConvertible.	2015-10-06 12:15:28 -04:00
Rob Rix	36c8fa03c9	FreeAlgorithm doesn’t need recur when B: FreeConvertible.	2015-10-06 12:15:08 -04:00
Rob Rix	1fcba3fca0	recur actually has to return Diff. ... `B` will only be identified with `Diff` when `B: FreeConvertible`.	2015-10-06 12:12:47 -04:00
Rob Rix	131ae72f1a	Note that we can’t call recur in the Recursive strategy. ... Paradox.	2015-10-06 12:09:18 -04:00
Rob Rix	ac0b142a40	Recur through a parameter pairing Terms.	2015-10-06 12:07:56 -04:00
Rob Rix	f30ebc8cdb	Diff/Term typealiases are public.	2015-10-06 12:03:58 -04:00
Rob Rix	d020d17f60	Note that we need to recur in SES.	2015-10-06 12:01:39 -04:00
Rob Rix	6a11a88dea	Compute the best diff to continue with.	2015-10-06 12:01:14 -04:00
Rob Rix	eb2b242d3a	Extract the nominated next diff into a temporary.	2015-10-06 11:58:36 -04:00
Rob Rix	28d5612c44	Use costOfStream to implement cons.	2015-10-06 11:57:37 -04:00
Rob Rix	1ac2f8d8c0	Add a function to compute the cost of the rest of the graph.	2015-10-06 11:57:04 -04:00
Rob Rix	d7c36a30c9	Remove here.	2015-10-06 11:55:55 -04:00