The machine itself can generally only do very simple things

I disagree. Assembly languages for modern architectures are a complexity hell. You need books with thousands of pages to explain how they work. In comparison the lambda calculus is much simpler.

AP probably stands for ActivityPub

The symbolic rewriting is interesting.

I do wonder what “modern-style” functional programming means.

Also their FAQ says:

But considering other FPLs like Haskell and ML, Pure’s library support isn’t bad

Clicking that link reveals a list of about 34 libraries. In comparison, Haskell’s current curated Stackage snapshot has 3340 packages in it (the total number of packages is probably more than 10x that). So, I think it is odd to claim its ecosystem is anywhere near Haskell’s.

The reason I want to follow that account is actually because I’m not seeing their posts, even though they use #haskell and I’m subscribed to that hashtag (and my magazine https://kbin.social/m/haskell is “subscribed” to that hashtag). Is there any way to get their posts to show up in the microblog?