• R/O
  • HTTP
  • SSH


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

Rev. 时间 作者
0bc7131 2022-03-02 11:00:55 Corbin

Add :! command to REPL for evaluating elements.

I should probably add typechecking, because it also will try to evaluate

729412c 2022-03-01 10:39:55 Corbin

jelly: Optimize a few odd and even functions.

7a7bc08 2022-02-28 14:56:40 Corbin

Better optimization of primitive recursion.

Along with the rules for `not`, this change allows for optimizing

(comp succ (pr t not))

into (pr f not), effectively turning nat/is_even into nat/is_odd.

726b99a 2022-02-28 14:35:50 Corbin

Fix dispatch for a couple methods.

Making these into methods on S-expressions feels a little strange, but
I'm relatively confident that there's no empirical basis for those
feelings. It's not even a hunch, just a feeling.

0cb2292 2022-02-28 13:57:22 Corbin

Call jelly from RPython.

That was a headache, but it appears to work.

c49055b 2022-02-28 08:56:34 Corbin

Catch infinite types during extraction.

ec83ede 2022-02-28 08:18:51 Corbin

Typecheck functors with holes.

It might feel a little hacky to allow non-exectuable arrow subclasses,
but I'm thinking of it this way: execution is only one thing an arrow
can do, and symbolic logic doesn't end after arrows are built.

68e7344 2022-02-27 20:59:44 Corbin

Fix more type issues.

I think that we're basically ready to try typechecking functors.

f895919 2022-02-27 13:21:36 Corbin

Get the typechecker to emit reasonable output.

c08887f 2022-02-26 13:48:39 Corbin

Implement a not-yet-translated typechecker.

0fc20e6 2022-02-24 12:37:51 Corbin

Add many docstrings (trails?) to the hive.

5c95140 2022-02-23 17:38:02 Corbin

Stub a possible cammy-weave implementation.

cc80fa3 2022-02-23 16:31:12 Corbin

Port cammy-frame to RPython.

Spent more time debugging cammylib than on the main entrypoint. I
suppose that this means that cammylib is reasonably factored.

f36a6db 2022-02-21 08:24:56 Corbin

Refactor canonicalization.

eab907e 2022-02-21 05:18:29 Corbin

Get substitution to work at the REPL.

7a65a2a 2022-02-18 14:32:04 Corbin

Split cammy-run into cammy-draw and pieces.

The parser and arrow-builder are now in their own module, so that both
cammy-draw and cammy-repl can use them. cammy-draw is finally around the
proper size, carrying proper responsibilities.

1f5c0f0 2022-02-17 10:51:25 Corbin

Refactor RPython Cammy modules.

We will be implementing several tools in RPython, so we need to share
the code while still keeping the Nix expressions clean and minimal. I
don't want to rebuild the JIT when I'm only changing the REPL.

9b941f6 2022-01-09 14:32:00 Corbin

Add several monads and comonads.

bbf57a6 2021-12-31 09:51:14 Corbin

Save some notes.

57c6a09 2021-11-27 05:18:14 Corbin

Start building basic literate tools.

8aa3899 2021-11-25 08:51:22 Corbin

cammy-run: LBYL optimizations for JIT.

Removes spurious NaN checks from JIT'd code, but makes demos slower.

2e72e24 2021-11-24 13:50:27 Corbin

Factor f-lt compositions.

bd63be8 2021-11-15 13:47:25 Corbin

hive: Basic 2D signed distance functions.

Circles and metaballs.

3da098e 2021-11-14 15:05:24 Corbin

movelist: Clean up clause ordering.

It was getting unmaintainable. Instead of ordering them for djinn, we
should just add condi to upstream miniKanren.

e8c828e 2021-11-14 15:05:13 Corbin

frame: Comment out debugging messages.

120cf18 2021-11-14 15:03:49 Corbin

Refactor demos.

1afe554 2021-11-14 05:52:34 Corbin

cammy-run: Multiple JIT drivers.

5e592f7 2021-11-14 02:23:00 Corbin

demo/mandelbrot: Use bounded unfolds instead of application.

a7b8dba 2021-11-13 14:38:58 Corbin

Implement bounded unfolds.

e701bc5 2021-11-13 14:38:30 Corbin

cammy-run: Add lists.