wren
@blueberry-wren.bsky.social
what you’ll find here:
programming
shilling for ocaml
some math
some programming
also the occasional 🏳️🌈
programming
shilling for ocaml
some math
some programming
also the occasional 🏳️🌈
if anyone knows how extension for a fin indexed debrujin STLC works please help lmao
i am in the trenches i daresay
i am in the trenches i daresay
January 10, 2025 at 3:08 AM
if anyone knows how extension for a fin indexed debrujin STLC works please help lmao
i am in the trenches i daresay
i am in the trenches i daresay
trait solving is so BORING
desugaring is equally BORING
i want to get back to interesting stuff instead of just writing shittier prolog 😭
desugaring is equally BORING
i want to get back to interesting stuff instead of just writing shittier prolog 😭
November 19, 2024 at 12:36 PM
trait solving is so BORING
desugaring is equally BORING
i want to get back to interesting stuff instead of just writing shittier prolog 😭
desugaring is equally BORING
i want to get back to interesting stuff instead of just writing shittier prolog 😭
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
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
October 15, 2023 at 12:13 PM
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
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
it sucks that everything else is worse though
October 3, 2023 at 4:07 PM
plaintext sucks as a format for code
it sucks that everything else is worse though
it sucks that everything else is worse though
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!
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!
September 13, 2023 at 10:03 AM
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!
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!
there are not enough characters! give me more characters!
August 29, 2023 at 1:29 PM
programming languages needing to have ascii syntax to be vaguely usable makes everything so annoying
there are not enough characters! give me more characters!
there are not enough characters! give me more characters!
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
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
August 8, 2023 at 8:11 AM
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
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
they’re neat
August 8, 2023 at 7:37 AM
current obsession: linear types
they’re neat
they’re neat
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
July 30, 2023 at 12:00 PM
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
Reposted by wren
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
July 13, 2023 at 10:18 AM
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
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)
July 7, 2023 at 2:05 AM
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)