Sun, 08 Jul 2018 18:33:01 +0100 |
Tony Garnock-Jones |
New approach to partial evaluation
|
changeset |
files
|
Sun, 08 Jul 2018 11:38:41 +0100 |
Tony Garnock-Jones |
merger
|
changeset |
files
|
Sun, 08 Jul 2018 11:34:51 +0100 |
Tony Garnock-Jones |
Another confused and ultimately broken stab at partial evaluation
|
changeset |
files
|
Sun, 01 Jul 2018 11:47:44 +0100 |
Tony Garnock-Jones |
Minor refinement: pull out extend-env/global.
|
changeset |
files
|
Sat, 30 Jun 2018 12:17:45 +0100 |
Tony Garnock-Jones |
Remove the old (!) ApplyCached experiment.
|
changeset |
files
|
Sat, 30 Jun 2018 11:00:30 +0100 |
Tony Garnock-Jones |
Strangely, pe.rkt's `parse` doesn't use its `env`. Remove it.
|
changeset |
files
|
Sat, 30 Jun 2018 10:36:32 +0100 |
Tony Garnock-Jones |
Avoid printing closure environments, for ergonomic debugging
|
changeset |
files
|
Thu, 28 Jun 2018 14:46:15 +0100 |
Tony Garnock-Jones |
Minor improvements to pe.rkt
|
changeset |
files
|
Thu, 28 Jun 2018 11:35:58 +0100 |
Tony Garnock-Jones |
Modernize pe.scm --> pe.rkt, using match, struct etc.
|
changeset |
files
|
Fri, 26 Feb 2016 04:54:19 -0500 |
Tony Garnock-Jones |
Add missing 'allocate metaprotocol.
|
changeset |
files
|
Fri, 26 Feb 2016 04:21:12 -0500 |
Tony Garnock-Jones |
Variations on cola.rkt
|
changeset |
files
|
Fri, 26 Feb 2016 04:05:19 -0500 |
Tony Garnock-Jones |
Slight tweak to 'delegated; simple exercise of cola.rkt structures
|
changeset |
files
|
Fri, 26 Feb 2016 04:04:39 -0500 |
Tony Garnock-Jones |
Fix long-standing bug in cola.rkt.
|
changeset |
files
|
Sun, 07 Oct 2012 22:29:10 -0400 |
Tony Garnock-Jones |
Experiments with x86_64 syscalls from assembler on OS X 10.6.
|
changeset |
files
|
Tue, 07 Feb 2012 11:34:20 -0500 |
Tony Garnock-Jones |
merger
|
changeset |
files
|
Tue, 07 Feb 2012 11:33:38 -0500 |
Tony Garnock-Jones |
Notes
|
changeset |
files
|
Sat, 08 Oct 2011 15:36:03 -0400 |
Tony Garnock-Jones |
Sketch of dependencies
|
changeset |
files
|
Thu, 08 Sep 2011 13:12:12 -0400 |
Tony Garnock-Jones |
vau-cps, and tweaks
|
changeset |
files
|
Tue, 30 Aug 2011 18:14:08 -0400 |
Tony Garnock-Jones |
First sketch of a COLA-style object model in Racket
|
changeset |
files
|
Fri, 26 Aug 2011 16:31:14 -0400 |
Tony Garnock-Jones |
Kernel-like interpreter (see js-vau)
|
changeset |
files
|
Sat, 18 Jun 2011 22:36:54 -0400 |
Tony Garnock-Jones |
Add <mapping> interface.
|
changeset |
files
|
Sat, 18 Jun 2011 22:36:26 -0400 |
Tony Garnock-Jones |
Add Snoc -> Cons coercion.
|
changeset |
files
|
Sat, 18 Jun 2011 22:36:10 -0400 |
Tony Garnock-Jones |
I forgot to change the default language behaviour.
|
changeset |
files
|
Sat, 18 Jun 2011 22:24:53 -0400 |
Tony Garnock-Jones |
Fix metaprotocol; introduce <maybe>
|
changeset |
files
|
Sat, 18 Jun 2011 22:24:12 -0400 |
Tony Garnock-Jones |
Add more printers.
|
changeset |
files
|
Sat, 18 Jun 2011 18:24:56 -0400 |
Tony Garnock-Jones |
Split out metaterms/metapatterns
|
changeset |
files
|
Sat, 18 Jun 2011 17:47:23 -0400 |
Tony Garnock-Jones |
First somewhat-working attempt
|
changeset |
files
|
Sat, 18 Jun 2011 13:22:40 -0400 |
Tony Garnock-Jones |
Checkin before planned gross mutilation
|
changeset |
files
|
Fri, 17 Dec 2010 16:44:29 -0500 |
Tony Garnock-Jones |
Update to use namespace-anchors for metalevel eval
|
changeset |
files
|
Wed, 15 Sep 2010 16:48:24 -0400 |
Tony Garnock-Jones |
Add list?, list-of, and any/c, for preliminary experiments with pe of
|
changeset |
files
|
Sat, 17 Jul 2010 16:30:07 +1200 |
Tony Garnock-Jones |
Notes on how everything collapses into... self
|
changeset |
files
|
Sat, 17 Jul 2010 13:12:48 +1200 |
Tony Garnock-Jones |
Modules should be named by the importer, not self-named
|
changeset |
files
|
Sun, 27 Jun 2010 11:57:53 +1200 |
Tony Garnock-Jones |
Add R4 TODO
|
changeset |
files
|
Sun, 27 Jun 2010 11:53:58 +1200 |
Tony Garnock-Jones |
Notes on parts-of-speech/namespaces; experiment with leading dot for field selectors
|
changeset |
files
|
Thu, 10 Jun 2010 21:58:13 +1200 |
Tony Garnock-Jones |
Thoughts on stream-fusion, and steps toward a datatype macro
|
changeset |
files
|
Thu, 10 Jun 2010 21:57:27 +1200 |
Tony Garnock-Jones |
Minor rethink of how metamessages are sent
|
changeset |
files
|
Thu, 10 Jun 2010 21:27:45 +1200 |
Tony Garnock-Jones |
Further examples. The stream examples don't seem to fuse well.
|
changeset |
files
|
Thu, 10 Jun 2010 21:27:21 +1200 |
Tony Garnock-Jones |
Updates for mzscheme 4's immutable pairs
|
changeset |
files
|
Mon, 31 May 2010 23:58:18 +1200 |
Tony Garnock-Jones |
Support comma-expressions, and make the rules for vertical argblocks tighter.
|
changeset |
files
|
Mon, 31 May 2010 23:57:34 +1200 |
Tony Garnock-Jones |
Untabify
|
changeset |
files
|
Mon, 31 May 2010 21:25:32 +1200 |
Tony Garnock-Jones |
Fix location of error messages due to unexpected characters
|
changeset |
files
|
Mon, 31 May 2010 21:24:52 +1200 |
Tony Garnock-Jones |
Remove redundant position nonterminal.
|
changeset |
files
|
Mon, 31 May 2010 20:51:52 +1200 |
Tony Garnock-Jones |
Add "load" to boot.r4
|
changeset |
files
|
Sun, 30 May 2010 12:16:23 +1200 |
Tony Garnock-Jones |
Rename ! and !! to ? and ??
|
changeset |
files
|
Sun, 30 May 2010 12:12:11 +1200 |
Tony Garnock-Jones |
Change argument order to iterate
|
changeset |
files
|
Sun, 30 May 2010 12:11:56 +1200 |
Tony Garnock-Jones |
Implement meta-objects, meta-sends, user pattern matching core.
|
changeset |
files
|
Sun, 30 May 2010 11:50:57 +1200 |
Tony Garnock-Jones |
Clean up debug-printing
|
changeset |
files
|
Sun, 30 May 2010 11:06:31 +1200 |
Tony Garnock-Jones |
Working naive interpreter.
|
changeset |
files
|
Thu, 27 May 2010 22:37:49 +1200 |
Tony Garnock-Jones |
Every block is a scope for letrecs, so need to preserve all block boundaries.
|
changeset |
files
|
Thu, 27 May 2010 22:37:20 +1200 |
Tony Garnock-Jones |
No wildcard imports (for now).
|
changeset |
files
|
Thu, 27 May 2010 22:06:46 +1200 |
Tony Garnock-Jones |
Rename boot2.r4 to boot.r4
|
changeset |
files
|
Thu, 27 May 2010 21:54:22 +1200 |
Tony Garnock-Jones |
r4
|
changeset |
files
|
Tue, 25 May 2010 08:09:57 +1200 |
Tony Garnock-Jones |
Notes and incomplete work.
|
changeset |
files
|
Tue, 13 Apr 2010 14:57:25 +1200 |
Tony Garnock-Jones |
Answer some value rather than void
|
changeset |
files
|
Tue, 06 Apr 2010 08:11:57 +1200 |
Tony Garnock-Jones |
Bidirectional generator for MzScheme.
|
changeset |
files
|
Fri, 14 Aug 2009 10:15:46 +0100 |
Tony Garnock-Jones |
Notes on data/codata interpretee/interpreter menu/inject
|
changeset |
files
|
Tue, 11 Aug 2009 01:47:29 +0100 |
Tony Garnock-Jones |
Trivial precedence parser
|
changeset |
files
|
Tue, 11 Aug 2009 01:47:09 +0100 |
Tony Garnock-Jones |
Notes on AST for OMeta and eTNG pattern language
|
changeset |
files
|
Sat, 08 Aug 2009 15:21:23 +0100 |
Tony Garnock-Jones |
Some examples of the new backtracking matcher in operation.
|
changeset |
files
|
Sat, 08 Aug 2009 15:21:03 +0100 |
Tony Garnock-Jones |
Finish implementing the pattern-matching/parsing technique.
|
changeset |
files
|