• R/O
  • HTTP
  • SSH
  • HTTPS

提交列表

标签
No Tags

Frequently used words (click to add to your profile)

javac++androidlinuxc#windowsobjective-ccocoa誰得qtpythonphprubygameguibathyscaphec計画中(planning stage)翻訳omegatframeworktwitterdomtestvb.netdirectxゲームエンジンbtronarduinopreviewer

A categorical programming language


RSS
Rev. 时间 作者
9431641 master 2024-06-30 10:09:30 Corbin

Add a sort of Maxwell's-laws presentation.

I don't personally put much stock in this sort of thing, but Alan Kay
and Douglas Crockford think it's essential.

b0644bd 2024-05-30 11:14:08 Corbin

Clarify some notes.

97a7a3e 2024-05-24 14:09:14 Corbin

jelly: Fix the problematic rule.

539486b 2024-05-24 12:52:47 Corbin

Add jets, resolve type-occurs issue.

I think that we're finally done with the discovery phase of the issue.

eaf6455 2024-05-23 06:55:10 Corbin

Remove a couple old scripts.

b388cf3 2024-05-12 15:26:57 Corbin

bk: Polish extraction and jet listing.

As a result, shared code is emerging.

1fd0c73 2024-05-12 14:49:36 Corbin

Move 2to3 to subcommand of bk.

This was straightforward and an overall (if slight) reduction in code.
The next commit will clean up the nested lambdas and establish a bit
more structure to be shared between commands.

b659b9c 2024-05-12 14:05:05 Corbin

bk: Extract trees from v3 hives.

I'm a tad worried about the _0, _1, etc. encoding, as it doesn't easily
sort without first parsing once we have more than nine parameters. But
that's a problem for the future, because we haven't had even close to
that number of params.

0fd7d47 2024-05-12 13:20:56 Corbin

bk: Switch from CHICKEN to Python 3.

The main motivation is Dulwich; it's so much nicer than libgit2. Click
is also nice too. An important secondary motivation is reducing our
CHICKEN dependencies, because (sadly) we are no longer able to update
our eggs.nix in a seamless fashion. I can't spend my time hacking Nix
expressions that should have been autogenerated.

e482782 2024-05-09 13:58:38 Corbin

Clean up envrc.

It's still kind of specific to my setup, but less so.

4c3ba20 2024-04-27 10:18:15 Corbin

Add rpypkgs; bump zaha.

Didn't mean to bump zaha, really, but it turned out that I was pointing
at my internal git repository, which isn't going to work for anybody
else. Whoops!

cfdc50d 2024-04-27 10:16:51 Corbin

Make a plan.

I wanted to add rpypkgs, but I effectively can't use it yet.

69cffe0 2024-04-27 03:50:06 Corbin

2to3: Fixups.

The output trees are now somewhat respectable. git is still very unhappy
with us, but I don't think I really care.

8b60dc0 2024-04-25 10:34:53 Corbin

Get 2to3.py to build a v3 hive.

I haven't verified that the contents of the hive are correct, and
git-fsck is (unsurprisingly) very unhappy with me. I used a monkey patch
on dulwich to allow creation of refs with question marks in their names,
because I know it's legal on Linux and I don't care about other kernels.

3695ea1 2024-04-24 15:50:56 Corbin

Start hacking up a proper migration for old hives.

The script 2to3.py will read in a v2 hive (JSON) and add it to a v3 hive
(git). In theory it could be a really nice and fancy script, but I think
I'm the only person who needs it.

I do need it, though. I have hundreds of expressions in a v2 hive and
I'm not willing to start from scratch.

cca897f 2024-03-30 02:39:05 Corbin

Maybe solve the (comp dup nil) problem?

530f14a 2024-03-12 06:21:52 Corbin

Include zaha.

5dbcebd 2023-12-22 15:02:53 Corbin

jelly: Parallelize recursion and folds.

This should be cheaper when compiled, although it's not cheaper when
interpreted. It's a matter of cache locality vs number of opcodes.

I'm not yet doing this for tree folds. No real reason.

1edc88b 2023-10-21 13:52:25 Corbin

Try prototyping type inference for algebras.

I'm really *really* thinking about how to avoid having to write out the
types of the carriers, but I'm not quite seeing how to do it. I'm also
trying to avoid writing out the names of elements of signatures, but I
might have to give up.

a7d1038 2023-09-29 07:58:20 Corbin

Enumerate jets for an expr?

I don't like this.

b79c5eb 2023-09-26 10:46:18 Corbin

Successfully insert and fetch a nested AST.

What is left before making a blog post? Probably trails and names, at
least. Modules can wait. Laws can wait. Jets are important, but can be
added later.

ec13b16 2023-09-19 12:57:12 Corbin

Flesh out a basic tree-insertion tool.

This is sufficient to implement a basic set of expressions, but it's
neither enumerable nor tagged, and doesn't have trails.

59169e1 2023-09-19 04:03:15 Corbin

Build a new thing with libgit2 and CHICKEN.

54ea75c 2023-09-12 10:22:43 Corbin

Add a note.

34b5bd0 2023-06-05 03:05:20 Corbin

cammyo: Fix a typo.

c6a0447 2023-04-25 14:39:59 Corbin

Clean up Nix expressions.

6cdc008 2023-04-25 14:00:58 Corbin

Factor the JSON schemata to their own prefix.

Straightforward deduplication, I think.

f47e44b 2023-04-25 13:48:29 Corbin

Become a Nix flake.

I had to use nixos-22.11 because it seems like egg2nix is broken on
nixos-unstable. I'll probably have to care about that in the future.

6a8366e 2023-04-03 15:18:56 Corbin

Print basic descriptions of arrows.

61ff218 2023-03-31 11:44:33 Corbin

Shuffle todo list.