wren

if anyone knows how extension for a fin indexed debrujin STLC works please help lmao
i am in the trenches i daresay

yet another reason to not use them 😌

trait solving is so BORING
desugaring is equally BORING
i want to get back to interesting stuff instead of just writing shittier prolog 😭

traits :(

would be difficult, although i suppose you could have some sort of structured interfacing format
of course at that point you may as well just use JSON

making parsers sucks
when do we get a parser generator that can do both lookahead parsing of some sort and not-awful error messages, because i will rejoice on that day

plaintext sucks as a format for code
it sucks that everything else is worse though

alright, i’ll give it one concession - at least it works most of the time
when it doesn’t, though, good luck fixing anything!

i’m trying to debug ocaml’s dune and this is the worse codebase i’ve ever seen
genuinely miserable
separation of concerns? what if we made the build system and the LSP mutually recursive, that’d be fun
using a practically undocumented format to do it? of course!

programming languages needing to have ascii syntax to be vaguely usable makes everything so annoying
there are not enough characters! give me more characters!

coq is cool

the desperate urge to vastly overcomplicate your type system
system F? of course!
dependent stuff? not right now, but damn i’m tempted
substructural types? oh, how could i resist
multiplicity polymorphism? surely i have to if i have substructural types

current obsession: linear types
they’re neat

🏳️‍⚧️

i’m not even making something that advanced, basically just namespaces, but noooo, people need all this fancy behaviour like “being able to qualified access open modules” and “modules being resolved in the right order”

with how much effort writing a module system is taking me, i’ve decided everyone should return to C style prefixes, anything more advanced is blasphemy

The new drive is a bit of a pain to install, in a way that she's certain that the last few weren't. The screws keep on finding their way away from her fingers, and the little screwdriver's teeth won't catch their heads the way it should—so much harder than the last time, years ago, when everything practically danced into position. When the world was simpler and the future hadn't yet tarnished. Age comes for us all, she supposes, no matter that her body has long since been liberated from the sins of flesh; delicate circuitry degrades and hermetically sealed joints conspire to clog with dust. Perhaps some replacements and a tune-up is all she needs, but it hardly seems worth the bother of the time she'd have to spend reacquainting herself with her body. Leave all that to the immortals who endlessly crave their long-ago youth: she is content to be old.

even uploads grow old

ocaml would be so nice with typeclasses / traits and it really sucks that the popular proposal seems to be modular implicits, which are ugly and awkward

keep thinking about ocaml
why would you want to stop thinking about ocaml /s

types are worth it for anything you can’t fit on one screen imo

hey well, your ocaml strategy worked for me haha

raven!

unduly tempted to make a little dependent ML as a weekend project (it would inevitably take me far longer then a weekend, of course, but it’d be fun anyway)

haha, thank you! the classic pfp is back for the occasion