PureFunctor @purefunctor@types.pl
i like compilers and type systems in the functional programming space, rhythm games, j-core music, and seiyuus.
still working on my cs undergrad, but that doesn't really stop me from doing more stuff.
core collaborator to the PureScript compiler.
he/him
re: kinda long code block image w/o alt text
alternatively:
Still not sure of a good alternative for where
re: kinda long code block image w/o alt text
oh my god how did it end up being this fucking quirky hahahahaha
kinda long code block image w/o alt text
Tentative syntax for my not-so-secret compiler project.
currently messing with: type checking do blocks before desugaring them
I wasn't expecting to write legible code at 3 AM, but here we are.
I should catch some sleep.
I should find the time to write about using prisms for pattern matching.
i like compilers and type systems in the functional programming space, rhythm games, j-core music, and seiyuus.
still working on my cs undergrad, but that doesn't really stop me from doing more stuff.
core collaborator to the PureScript compiler.
he/him
