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.

purefunctor.me

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.
github.com/PureFunctor/purescr

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: deku-tree.surge.sh

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:
pursuit.purescript.org/package

Recursion schemes for dissectible data structures:
pursuit.purescript.org/package

Show older
types.pl

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