Pinned toot

I haven't really done an toot yet, but hello, I'm purefunctor.

I'm a functional programmer based on the Philippines. At the time of writing, I'm still in uni as a cs freshman.

I also like rhythm games and I'm fairly decent in a few of them. As a side-effect, I don't really like mainstream music all that much.

Pinned toot

Before I eventually forget to plug, I have a website where I plan to occasionally make long-form posts.

Thinking of setting up a local RPi server for stuff like RSSHub.

I feel asleep at 9 PM yesterday, woke up at 3 AM without having dinner and stayed up until now just so I can reset.

Show thread

Monad transformers in PureScript, but implemented through CPS using uncurried JS functions.

Lots of things happened over the past few months, and all of that has culminated in the past week or so, I guess

A collection of FRP-based, interactive, mini web applications:

I think this also has to do with the fact that I'm focused mostly on theory stuff now, instead of "practical" things like building backend servers or frontend applications.

Show thread

I don't think I'll be able to convince myself to learn Nix until I have to use it at work. At the moment, it's just too much effort for too little gain.

I've just published two PureScript packages.

Type class for dissectible data structures:

Recursion schemes for dissectible data structures:

Show older

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.