speaking of which, the only reason i got into compilers/type theory, albeit passively, was because i wanted to make something very similar to ur/web without some of the annoying bits ... so i'll blame him for distracting me from my happy webdev world
now that i've been fucking around with Lean4 again I think it could honestly do most of what I wanted out of ur/web. I've been learning metaprogramming in Lean so I can have JSX in it
side side quest: effects library like zio/effect-ts in lean4. i don't really understand lean4's concurrency primitives yet and don't know if it has continuations etc, but .... 🤞
i'm forbidden by my religion from prodding deeper. if the elders knew about the times i read the v8 blog they would excommunicate me for being a heretic
Comments
mega cursed
javascript is my assembly, oliver