Same vibe for me, but it was moria. I played it enough that people could tell by the sound of my keyboard when I was playing it.
TypeHoles
@typeholes.bsky.social
162 followers 345 following 992 posts
Interested in all things programming, cooking, hard metal, cats. Love to explore new programming languages and build dev tools. Really love a good pit He/him or they/them
![export function traverse<U, V, A>(
shrink: (x: U) => [U, A],
expand: (x: V, a: A) => V,
isEmpty: (x: U) => boolean,
empty: V
): ProgramI<U, V> {
type US = [U, V];
const _traverse: () => ProgramI<US, V> = () =>
lift( ([xs, acc]: US) => {
const [newXs, a] = shrink(xs);
const newAcc = expand(acc, a);
return tuple(newXs, newAcc);
})
.if( ([xs]: US) => isEmpty(xs),
$$(_traverse),
lift(snd)
);
const prog = _traverse() .o (lift((x: U) => tuple(x, empty)));
return prog;
}](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:qyv3dwfsr3ush5bt4vjgii2g/bafkreibtlbmyi23tohoyqxohxw4bxbdo6frxrpk5vdoe2dhql6ifvikvum)
