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
Joined Apr 2022
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
Joined Apr 2022
