494 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	84a1122ed7	Write cost as a func.	2015-10-06 11:55:15 -04:00
Rob Rix	cc6627bb52	Write cons as a func.	2015-10-06 11:54:42 -04:00
Rob Rix	c0ab03e73d	Compute the cost of the remainder of the stream.	2015-10-06 11:52:56 -04:00
Rob Rix	97b4c59a81	Rewrite the sum to wrap stream construction.	2015-10-06 11:52:13 -04:00
Rob Rix	3cdc9bd745	Simplify the Stream-unconsing.	2015-10-06 11:48:50 -04:00
Rob Rix	5e144553fd	Add a function to compute the cost of the rest of the diff.	2015-10-06 11:48:04 -04:00
Rob Rix	4e6dd07e78	Extract the diff.	2015-10-06 11:46:30 -04:00
Rob Rix	3919a4c093	Interpret free algorithms where we’re computing a diff.	2015-10-06 11:43:17 -04:00
Rob Rix	6e1a7c6794	Memoize a cost for diffs.	2015-10-06 11:41:37 -04:00
Rob Rix	03c5f0b644	Stub diffing in the middle of the graph.	2015-10-06 11:40:54 -04:00
Rob Rix	1d993bb65b	Diff along the right of the edit graph.	2015-10-06 11:40:42 -04:00
Rob Rix	c090fc33d5	Diff along the bottom of the edit graph.	2015-10-06 11:39:34 -04:00
Rob Rix	f442f3594f	Stub in diffing with Matrix.	2015-10-06 11:38:50 -04:00
Rob Rix	88030e217f	Short-circuit degenerate cases.	2015-10-06 11:30:41 -04:00
Rob Rix	8dd605bb54	Add a function computing the cost of a diff.	2015-10-06 11:30:21 -04:00
Rob Rix	b910fdba46	Section header for Syntax.map.	2015-10-06 11:08:39 -04:00
Rob Rix	286ff11f79	Rename iter to iterate.	2015-10-06 11:05:02 -04:00
Rob Rix	8800c57ca7	Oh yeah, method dispatch works too.	2015-10-06 11:04:36 -04:00
Rob Rix	8226285153	Implement iter as a method.	2015-10-06 11:04:14 -04:00
Rob Rix	c0edc77185	Implement iter by case analysis.	2015-10-06 11:03:03 -04:00
Rob Rix	3da765d32b	Identity.	2015-10-06 11:02:22 -04:00
Rob Rix	3d06b533bc	Implement iter over Free.	2015-10-06 11:02:15 -04:00
Rob Rix	24e113d2f0	The hash property on Free is public.	2015-10-06 11:00:47 -04:00
Rob Rix	0be3eeb8e1	Dictionary diffing should recur.	2015-10-06 09:28:30 -04:00
Rob Rix	13939ba7c6	Merge branch 'master' into shortest-edit-script-in-algorithm	2015-10-05 17:56:09 -04:00
Rob Rix	fd397ce958	Merge pull request #57 from github/a-language-in-the-specific-domain-of-diffing ... A language in the specific domain of diffing	2015-10-05 17:55:40 -04:00
Rob Rix	3fb6f24d8b	Diff indexed terms.	2015-10-05 17:30:29 -04:00
Rob Rix	b08a51a360	Abbreviate further.	2015-10-05 17:29:20 -04:00
Rob Rix	071bf6bd6f	Stub in a matrix pairing the elements to be diffed.	2015-10-05 17:27:28 -04:00
Rob Rix	d00da3f90a	Remove evaluation from Algorithm.	2015-10-05 17:26:17 -04:00
Rob Rix	b7b56b1d01	Move the body of evaluation into FreeAlgebra.	2015-10-05 17:25:47 -04:00
Rob Rix	1ef04248cb	Bring the typealiases from Algorithm into FreeAlgorithm.	2015-10-05 17:25:17 -04:00
Rob Rix	3fdda99653	Matrix is a functor.	2015-10-05 17:18:40 -04:00
Rob Rix	0e8b74e830	Matrix has a private fieldwise constructor.	2015-10-05 17:18:35 -04:00
Rob Rix	81b6c172cf	Populate the matrix with a compute function.	2015-10-05 17:12:28 -04:00
Rob Rix	c935e4a3d9	Stub in a matrix of memoized values.	2015-10-05 17:11:56 -04:00
Rob Rix	c1e9d8419c	Merge branch 'master' into shortest-edit-script-in-algorithm	2015-10-05 15:36:32 -04:00
Rob Rix	1c761ba0ab	Merge branch 'master' into a-language-in-the-specific-domain-of-diffing	2015-10-05 15:12:24 -04:00
Rob Rix	ab36a6e36c	Merge pull request #56 from github/free-and-fix ... Free, Fix, and Patch	2015-10-05 15:12:04 -04:00
Rob Rix	9e2b6bd3b4	Document the ByIndex case a bit more.	2015-10-05 14:54:03 -04:00