Alexander VargaTransfinite ZippersIn my previous post, I described an approach for extending multi-stage programming (MSP) to infinity and beyond. We start with a simple…Mar 6, 20231Mar 6, 20231
Alexander VargaEfficient Transfinite ListsA data structure for lists of transfinite length.May 30, 2022May 30, 2022
Alexander VargaPure Lists with O(log(i)) IndexingAdding shortcuts to linked lists for faster indexing.Oct 21, 2020Oct 21, 2020
Alexander VargaPlotting Functions on OrdinalsLet’s say we’ve defined a function f from ordinals to ordinals and want to plot it like we might plot a function from integers to integers…May 27, 20201May 27, 20201