Name Boolean ops.

So they don't overshadow the defs for the short-circuiting combinators.

Error type (not just a string.)

This is mostly for fun, but I bet it comes in handy, eh?

At the very least, it's a nice catalog of the possible errors that the
basic Joy system might encounter.

type alias JoyFunction

Format.

inscribe, definitions.

Initialize dict with defs.

Just sqr for now, but it shows that it works.

I would like to return Results from add_def but it makes using foldl
slightly tricky,  not a lot, just slightly, and my brainpower is low at
the mo'.

Look up words in the dictionary.

If they are not built-in, which means you can't "shadow" built-ins with
"inscribe", which may or may not turn out to be what we want?

Thread the dictionary through the call stack.

Empty string is not an unknown word.

Gotta keep a Dict around.

Logical ops.

Left- and Right-shift.

Comparison ops.

loop

branch

dip

i

truthy

I have to check into this: the Python version has "bool" and no
"truthy".

swap

stack, swaack

pop

first, rest

dup

cons

clear, concat

Minor cleanup.

Type alias JList

Refactor pop_int.

I don't like passing the stack through isnt_int but that let's you chain
with andThen.

There's probably a clever or idiomatic way to not do that and couple the
stack to the result without passing it through the type checker function
but I don't know what it is right now, and this works.

Binary Math Ops

I don't think andThen helps here?

I can add integers!

Parsing working.

Modeled on the OCaml code.

A start on Joy types.

In Elm.

Use Python as SHELL in Makefile.

It's a simple task, but I'm not up on my CLI tools, so I went with
Python instead of sh.  The split command doesn't have '-p' switch on
Ubuntu.  (I'm using Ubuntu on this laptop because it can correctly
configure the WiFi and the laptop has no ethernet port.)

minor cleanup

minor cleanup

Rename joy_to_ast to parser.

Working on the docs.

The nbconvert tool has different behaviour now, so the HTML versions of
the notebooks look different.

Minor work on the new site.

I'm moving away from OSDN, there have been a few technical issues
recently.

Bold.

Minor edits.

the BinInt zero vanished?

Minor edits.

Working on README, put defs in joy.py

I'm on an Ubuntu system right now and the split command doesn't have the
'-p' switch.  :(   I wasn't happy with that janky solution anyway.

minor edits

Minor edits.

Messing around with GNU Prolog.

I have it broken up into three stages: a parser that reads a string from
stdin and emits (Prolog) AST to stdout; an interpreter of sorts that
reads AST from stdin, evaluates it, and then emits the AST of the stack
on stdout; and a printer that reads AST on stdin and prints Joy-ish code
to stdout.

I say Joy-ish because currently math is not evaluated and results of
math appear as expressions, not values.

This is because GNU Prolog doesn't have unbounded integers (it's numbers
are machine integers) so literals that are larger than the machine word
are converted into atoms!  To keep things simple, I made all ints into
atoms, but then you can't evaluate them: '1'+'2' is not '3' (it might be
'12' though.)

So I print them out at expressions:

    $ echo "1 2 3 4 [+ sub /] i" | ./joy_to_ast | ./thun | ./printer

    (1 div (2-(4+3)))

You could almost feed that to, say, Python to evaluate, eh? Or dc with
proper formatting?  (man dc; "Desk Calculator".)

Anyway, it's a start.  The Prolog interpreter is more for things like
type checking and inference, optimizing, compiling, etc.  Symbolic stuff
that's a PITA to express in other languages.  (The old type inference
code in Python was pages long, in Prolog it's just the thun/3 & thun/4
predicates themselves.  At least so far.  There are things we will want
to do eventually that might be a PITA to express in Prolog, eh?

Compile on Ubuntu.

Make it compatible with Xerblin.

Minor edits.

Minor cleanup.

i combinator.

On a lark I implemented it in recursive style, but I'm not going to keep
it that way.  I have to implement next_term() first and then I'll
uncomment i_joy_combinator().

concat

cons

minor cleanup

first

rest

rest CANNOT_TAKE_REST_OF_EMPTY_LIST

swap

Check for error after cons'ing term.

pop_any()

dup

stack function.

pop()

Move pop_list().

No reason to pass expression to function.

pop_list()

Kind of a misnomer, you have to take the tail() of the stack yourself.
This function only returns the list from TOS.

Minor cleanup.

Swaack and error macro.

Use clear, set up for swaack.

Clear.

Did i not commit this?

A start on the joy() interpeter.

Minor cleanup.

Catch unbalanced brackets.

Minor cleanup.

Only allocate strings once.

That for loop in hash_fragment() is the gnarliest I've ever written.

Combine tokenizer and parser.

I'm pretty happy with this. It's iterative rather than recursive so you
won't blow out the call stack if you want to parse a million brackets
(intermediate results are stored on (another) little stack.)  It scans
the string and builds lists and sublists as it goes, without wasting
cons cells.

Thread error handling through tokenizer.

It turns out the error machinery was working...

So I was memset'ing the hash table and string table /after/ setting up
the left- and right-bracket tokens! So then when I tried to print the
token list and ht_lookup() dutifully set the error code when it couldn't
find the strings in the hash table, the system properly quit printing
and halted.  D'oh!  That was a subtle one.  Obvious in hindsight.

Fold parser code into joy_types.c

Add some docs, minor cleanup.

It seems to be working.

It took all expletive-deleted day but I finally nailed it down.  In the
end the last bug was I was decrementing a stack pointer /after/ trying
to load the item at the (empty) top of the stack.  Classic.

I still need to make it not re-allocate strings that it has already
interned, but beyond that I think it's fine.

tokenate() and reverse_list_in_place()

Use symbols for tokens for brackets.

Try a different tack on the parser.

Almost working parser.

Minor cleanup.

Some printing to see the machinery in action.

Joy parser in NCC.

A start on error handling.

Double hashing w/ extra bits of hash.

A start on a hash table for symbols.

Joy in UVM NCC code.

A bunch of stuff.

Minor cleanup.

Use defines to abstract font choice.

Clunky but now you only have to change the font name four time in one
place rather than N times in N places, eh?

Writing C again for the first time in ages (this and the Joy
interpreter) the using the preprocessor is like stone-age
meta-programming, from the lens of lisp it's like, "you do what to your
source code?".

A different font.

It's easy enough to substitute a different font in the call to
Imagemagick's `convert` tool, but in the case of pixel fonts, it will
scale them, so you're not getting a proper bitmap of the pixels, you're
getting a kind of screenshot of the pixels.

I want to make a different machinery for bitmapped pixel fonts, and I
want to make a simple DEFINE-based way to pick them without having to
edit your source code,  e.g. #define font_data font_PublicPixel_22_data
yeah?

After that, simple affine transforms for fake 3D..

Wu-ish lines.

Mostly working Wu-ish algorithm.

Minor cleanup.

Cicada bg, needs work.

Not as pretty as I'd hoped.

Putting a pin in Wu lines for tonight.  I'll lick it in the morning when
I'm fresh.