• 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. 时间 作者
140ee01 2022-10-23 00:23:18 Corbin

Don't render empty trails.

Saves a bit of screen space.

a61be0e 2022-10-18 10:31:27 Corbin

Many animations work in Honey!

deco-circles, red-ellipse, and max-headroom all work! jupiter-storm is
still giving a blank screen, but it seems like the fundamentals are
finally there.

We are currently pegging the CPU at 5 frames/s. I would like to
eventually get to about 20 frames/s.

2e65842 2022-10-18 10:06:26 Corbin

Switch over to Purescript for core templates.

Sadly, Purescript doesn't seem equipped with the full range of ES types
by default, so we have to bring our own foreign functions.

245f670 2022-10-17 02:57:01 Corbin

Rewrite the trampoline in Purescript.

Took a little bit of effort, but it seems worthwhile! The generated code
has the desired loop! I'm impressed.

dd1582e 2022-10-16 06:26:47 Corbin

Allow black-and-white images.

aefa9fc 2022-10-13 12:16:41 Corbin

Expand dissolved expressions correctly.

This might be a hack.

8bb6492 2022-10-13 11:00:44 Corbin

Compile anonymous expressions, not just dippers.

6aa73a4 2022-10-10 10:20:19 Corbin

First attempt at implementing an animated canvas.

9fc5539 2022-10-10 08:34:56 Corbin

Add some jets for speed.

1531cf4 2022-10-10 03:31:36 Corbin

Stop fucking around with the trampoline for now.

8ca515a 2022-10-10 02:19:20 Corbin

Switch to a free-monad encoding for trampolines.

This is based on the idea that a trampoline monad is like a free monad
for some underlying lazy suspension of pure values.

4a1d270 2022-10-09 00:25:07 Corbin

Deduplicate the parser somewhat.

I think that the RPython codebase is not on the way out, but the Python
3 codebase should be unified.

de29440 2022-10-06 13:32:06 Corbin

Switch to a handwritten trampoline.

67842f8 2022-10-04 09:16:31 Corbin

Use Math.floor() correctly.

b15608b 2022-10-03 13:19:35 Corbin

Draw a red ellipse on a canvas.

aa77a0a 2022-10-03 04:15:20 Corbin

Put borders onto tiles.

f20fdf3 2022-10-01 14:00:23 Corbin

Autocomplete possible dippers.

b2d289c 2022-10-01 13:01:19 Corbin

Send types to the browser.

9ac5fee 2022-10-01 09:26:45 Corbin

Use Bilby for trampolining.

And suddenly nat/sylvester, list/gauss, nat/sqr, and other curry-heavy
sequences are runnable! Nice.

478009e 2022-09-30 11:18:33 Corbin

Partially revert.

911947f 2022-09-24 09:32:45 Corbin

Compile pr.

There are some nuances to WASM which I don't really appreciate. But, for
now, we'll just push onward. Next is memory allocation for pairs, tagged
unions, curries, etc.

f3872ed 2022-09-22 12:02:41 Corbin

I guess we're going to write a templating compiler.

It's okay, though; we will be able to optimize the results.

7847a42 2022-09-22 11:08:23 Corbin

Compile Cammy to WASM.

Well, get started, at least.

f86194b 2022-09-20 09:05:56 Corbin

Factor out all of the JS into a static file.

caae86f 2022-09-19 02:41:02 Corbin

Honey can evaluate nat/256 in the browser!

83402fc 2022-09-12 01:49:26 Corbin

Check in a bunch of random files that I've had sitting around.

a59a850 2022-09-11 12:57:15 Corbin

Fill out a basic OpenAPI contract.

38556f6 2022-09-11 09:52:35 Corbin

Kind of switch to a JSON hive.

81459e9 2022-08-27 10:54:50 Corbin

Start on a new REPL which interacts with honey.

612dde4 2022-08-22 06:50:00 Corbin

Start work on a new sort of spellserver.