Post #2316591
2026-05-07 16:59 UTC
I have lots of future work in mind here: I hope to implement this with indexed streams (https://arxiv.org/abs/2507.06456) / fairly seekable iterators (https://arxiv.org/abs/2510.26016v1); and to generalize from finiteness to other degree constraints (https://arxiv.org/pdf/2504.02770), eg functional dependencies and cardinality constraints, cf https://recurse.social/@rntz/116529665044883799
Replies (2)
-
@rntz@recurse.social 2026-05-26 08:09
The slides for my FLOPS 2026 talk on "Finite Functional Programming" are now available! https://www.rntz.net/files/flops-2026-finite-fp-slides.pdf These are similar to, but I think more intuitive & accessible than, my HOPE'25 presentation (https://recurse.social/@rntz/115364255843280509). In particular I managed to avoid diving into typing rules. So I recommend reading these first and reading the paper or the HOPE slides if you want more detail.
-
@Girgias@phpc.social 2026-05-26 12:45
@rntz@recurse.social oh this looks neat!