• R/O
  • HTTP
  • SSH
  • HTTPS

提交列表

标签
No Tags

Frequently used words (click to add to your profile)

javac++androidlinuxc#objective-cqtwindows誰得cocoapythonphprubygameguibathyscaphec翻訳omegat計画中(planning stage)frameworktwittertestdomvb.netdirectxbtronarduinopreviewerゲームエンジン

A categorical programming language


RSS
Rev. 时间 作者
26c0818 2021-09-17 06:04:30 Corbin

frame: Allow user-defined functors with parameters.

I waffled over this for a while, but ultimately it's going to be
necessary for expressivity.

6165ec9 2021-09-17 02:56:17 Corbin

Add Choice for Booleans.

This does not restrain the target category much; we are only saying that
2 = 1 + 1
Which is relatively standard for sums.

c4d2e50 2021-09-16 13:35:45 Corbin

movelist: Use 1 and 2 for the unit and Boolean types.

af301d2 2021-09-16 13:11:32 Corbin

Give f-sqrt a partial semantics.

We want to keep NaNs out of F.

ebd7182 2021-09-16 08:38:09 Corbin

Add initial floating-point support.

d903e8a 2021-09-15 03:18:38 Corbin

Start benchmarking a bit.

9258165 2021-09-08 12:57:22 Corbin

Remove old scaffolding.

03bf7e7 2021-09-08 11:42:47 Corbin

Uncurry nat/add and nat/mul, fix compilation.

This is enough to get everything unbroken up to list/gauss.

85c53c3 2021-09-08 11:09:30 Corbin

Build movelist with Nix.

123ca2b 2021-09-08 10:17:38 Corbin

Use new typechecker for compilation.

More cleanup must be done.

8922d03 2021-08-30 08:57:46 Corbin

movelist: Expose djinn functionality.

41583a2 2021-08-26 06:35:07 Corbin

Remove bootstrap notes.

Literally everything of interest is archived at
https://esolangs.org/w/index.php?title=Cammy&oldid=87614 and hopefully
the current version of the page is even more informative and helpful.

fe2f843 2021-08-26 06:03:08 Corbin

jelly: Cite Elliott by last name.

Pedantic consistency with other documentation.

773c469 2021-08-26 05:59:01 Corbin

movelist: Remove dependency on `matchable`.

And remove it from the shell too.

9640f42 2021-08-25 12:21:08 Corbin

movelist: Change cammy° to a ternary relation.

We obtain the desired consequence: For a little less code overall, we
can now provide input and output types, and search for Cammy expressions
which implement the given types.

d2b7fc8 2021-08-24 02:49:04 Corbin

Introduce a new basic typechecker.

e6929ce 2021-08-18 01:18:12 Corbin

Compile sums to Scheme.

703331d 2021-08-17 04:09:26 Corbin

Try to unroll primitive recursion.

The egg library does make this very neat. We explain that it is possible
to speculatively unroll primitive recursion for the successor case, but
don't have to worry about whether it will be worthwhile to do so.

62cedf9 2021-08-17 00:49:42 Corbin

Clean up and start thinking about publication.

4b7a444 2021-08-14 12:24:30 Corbin

Allow 0 as a valid nat in Scheme.

213493b 2021-08-14 10:29:57 Corbin

Implement list fusion.

We are fusing both intermediate lists and partially-consumed lists.

8f46d96 2021-08-14 09:19:57 Corbin

Add map() functor on lists.

A little bit of abstract thought suggests that fold() isn't enough to do
this, but I'm very open to constructive proofs otherwise.

3697b0b 2021-08-14 09:04:22 Corbin

Use a temporary directory for compiling.

5669ccd 2021-08-13 00:36:17 Corbin

Implement list/head.

The limitations of the type system are rapidly materializing, but we can
still make progress.

b8dc673 2021-08-11 10:13:48 Corbin

Add some list-oriented programs.

3ee4ecc 2021-08-11 02:02:54 Corbin

Redo and simplify argument handling.

Lists of lists should no longer be off the menu.

cddb6b8 2021-08-11 02:02:43 Corbin

frame: Tiny bit of code cleanup.

7f8b03a 2021-08-10 14:34:36 Corbin

Parse lists of nats.

Generalized lists of lists will need something recursive.

9874abe 2021-08-09 05:51:52 Corbin

Require nats to be positive.

390c198 2021-08-09 05:37:09 Corbin

Allow integers as input.