Threw together an implementation of TCO in #emacs lisp yesterday! https://gist.github.com/Wilfred/5615907/b178d7f60200da325c61926f587848fddd603218 Forced me to think quite hard for a while :)
miniblog.
Related Posts
Installed Linux on a new laptop yesterday, and needed to find a USB stick in a dusty drawer.
The stick previously had Arch Linux Installer 2021 on it! I can't think of any other uses for the device these days.
I met some interesting gradual type people at POPL yesterday, and the schedule was full of good talks!
Friday opened with a great introduction to probabilistic PLs with live demos. It showed usage, although it feels like "random programming with magic"
Tons of great talks at #POPL yesterday:
I loved this approach to solving the expression problem, building a PL and tool where you could toggle between data and codata (like functions/methods)! https://popl20.sigplan.org/details/POPL-2020-Research-Papers/57/Decomposition-Diversity-with-Symmetric-Data-and-Codata (had a live demo!)
