25b7871074
i got used to it, but Jupyter likes 4
2018-07-17 10:49:09 -07:00
14d67dd7c5
in the middle, just want to 2ify my indents...
2018-07-17 10:47:50 -07:00
0029656351
TextJoyType and inscribe command.
...
I took the plunge and added the meta-command "inscribe" to the library.
This is, of course, a very dangerous and powerful command. Use it
wisely.
2018-07-17 10:35:11 -07:00
d9d52fa224
A few more stack effects.
2018-07-16 20:28:53 -07:00
3551b6148b
expectations_of_definition() and some helper infer funcs.
2018-07-16 19:10:16 -07:00
043acd685c
More stack effects, and modify the key bindings.
2018-07-16 18:43:40 -07:00
612d48d8cc
Update docs.
2018-07-16 09:11:25 -07:00
230134e6c2
Make sure we've got all the docs, etc.
2018-07-15 20:43:26 -07:00
cf12b9ce17
Fix bugs
...
Type checking e.g. sum or product.
Any type accepts complex numbers.
Lots of the math functions now just use Number rather than more specific
poly-types.
2018-07-15 20:37:52 -07:00
c4af5682c4
That "fix" wasn't a fix.
...
It broke other stuff. What I really wanted to do was change the stack
effect of 'clear'.
2018-07-15 14:06:10 -07:00
20d87db9d5
Fix up stacks for type checking.
...
Sometimes (e.g. 'clear') the () at the end of the stack was tripping up
the unify() function.
2018-07-15 13:57:11 -07:00
e169c6aae2
Some integration with Type Checking.
...
Now the UI highlights commands and numbers as you move the mouse, numbers
are blue, commands that type-check are green, commands that fail to
type-check are orange and will not be interpreted, and if there is no
stack effect information available for a command it is grey but you can
still attempt to execute it.
You can still evaluate whole expressions by selceting them and
right-inter-clicking before you release the left button, or by putting
the cursor on a line and typing ctrl-enter, which will run the whole
line. These expressions are NOT (yet) type-checked.
2018-07-15 11:48:08 -07:00
0292e8a297
Much globals. Wow.
2018-07-14 20:58:43 -07:00
7899d68bab
Minor cleanup.
2018-07-14 20:55:34 -07:00
ebb731126d
Move load_stack() to StackDisplayWorld.
2018-07-14 20:47:04 -07:00
da03f60dca
Move StackDisplayWorld into world.py
2018-07-14 19:51:31 -07:00
ea11fbebda
Move reset() to text method.
...
Rearrange some other stuff.
2018-07-14 19:34:01 -07:00
8bbf4fc2bf
Correct some typo
...
I accidentally pasted or something.
2018-07-14 19:14:01 -07:00
6fe83256b1
Move init_text() to Text method.
2018-07-14 19:11:49 -07:00
a84966cf9b
Split some code into a utils.py module.
2018-07-14 18:51:22 -07:00
4fb9e1e003
Minor cleanup.
...
Improve the behavior of the World.
2018-07-14 18:41:36 -07:00
9ea0157969
Partial harmonize key commands.
...
Fix bug cut instead of copy.
2018-07-14 18:25:12 -07:00
504981e551
Updated manifest file.
2018-07-14 13:01:43 -07:00
862e0b07a8
It's time to bring in the GUI.
...
Minimalist (not to say Brutalist) UI based on text windows and mouse
chords. Experimental.
2018-07-14 12:45:52 -07:00
691d604bf8
Temporarily ignore the test dir.
...
It's mostly just notes and crap so far.
2018-07-14 12:32:07 -07:00
c83efb2aee
Module dependency graphs.
...
Made with Snakefood and Dot. I'm going to have to come through and clean
these up eventually.
2018-07-14 12:30:45 -07:00
54491f0da2
A little more bit o' docs.
2018-07-14 12:29:25 -07:00
41b39e5977
A bit more docs.
2018-07-14 12:07:49 -07:00
f8829e25fa
A little more documentation.
2018-07-11 07:13:05 -07:00
fcf483af22
Ah, Symbols.
2018-07-11 07:12:14 -07:00
343a2f8459
Unicode in docstring.
2018-07-11 07:11:56 -07:00
0980d1b7c9
ifte as definition; "fork" combinator.
2018-07-11 07:10:54 -07:00
d95b92314e
Clean up.
2018-07-06 14:20:04 -07:00
1862ece03e
Adding support for type checking.
2018-07-06 14:19:36 -07:00
531e215ffd
Another definition for while.
2018-07-06 14:19:00 -07:00
ab8ec6c95d
Minor cleanup.
...
Renamed update() to reify() and reinstated recursive substitution.
2018-07-04 10:37:43 -07:00
4fff827338
Extra logging and another lil test.
2018-06-30 23:20:00 -07:00
ab1f5227ba
Hmm.
...
I think update() should be done better...
2018-06-30 12:59:14 -07:00
4406a6620b
Type inference of Joy expressions.
...
More remains to be done but it seems to work.
2018-06-29 13:19:12 -07:00
6ca59847ab
Gotta update() expression too.
...
If type vars get into the espression you have to keep them in sync with
the unification or you can lose information.
Some combinators can put symbols on the expression, you have to convert
those to type checkers or, as a hack, just look them up and run them.
This lets definitions work(-ish), ...
2018-06-27 22:26:27 -07:00
fc45727008
Minor cleanup.
2018-06-27 19:03:23 -07:00
9ee50a6268
Minor edits.
2018-06-27 16:31:00 -07:00
4321ea874b
don't compose lits
...
It forces the identities of lits to change during relabel().
I think we still have to update() the expression to track changes in the
F function stack effect or we risk losing assoviations between type
variables in the stack effects and type variables in the pending
expression. Hrmmm.
2018-06-26 22:39:06 -07:00
db28989b64
Trying to add a guard to combinators.
...
So they can notice if they're given a stack that doesn't match what
they're expecting.
This seems to work, but I realized that type variables in the pending
expression need to be update()'d too. hmm...
2018-06-26 21:45:58 -07:00
bbc0fae2e9
Minor edits.
2018-06-26 21:44:18 -07:00
56262fc53e
Dropped some HTML docs somehow.
2018-06-26 15:58:18 -07:00
eb739024eb
Type checking, initial work.
2018-06-26 15:23:51 -07:00
705c95ee28
Fix a couple of bug in Kleene Stars.
...
...and some minor cleanup.
2018-06-25 12:43:05 -07:00
41d979b233
A bit more text in the Types notebook.
...
It's still pretty drafty. I'm working on the code and then I'll write up
the last bit of docs.
2018-06-25 11:32:27 -07:00
f1979f35ce
Some more tests.
...
Damn thing seems to be working.
2018-06-25 06:51:12 -07:00
Simon Forman