Post #2994401
2026-05-26 08:09 UTC
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.
Replies (3)
-
@dysfun@social.treehouse.systems 2026-05-26 08:14
@rntz@recurse.social had a quick scan and it looks very cool.
-
@consequently@hcommons.social 2026-05-26 09:53
@rntz@recurse.social Yes, this presentation is very accessible! As a friend of relevant logic/types, it’s really nice to see these considerations emerge naturally in this context.
-
@rntz@recurse.social 2026-07-07 18:31
The video of my FLOPS 2026 talk on Finite Functional Programming is now up on youtube! https://www.youtube.com/watch?v=Ji2FF4mDhDE It's 24 minutes long and probably the clearest explanation of my current thinking about how to design a higher-order functional query language besides the paper itself. If you read the slides and were confused about something, it might be explained in here. (The slides & paper are linked up-thread.)