overview for jaror

Simple Programming Languages in c/programming_languages@programming.dev

[–] jaror@kbin.social 5 points 5 months ago (1 children)

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.

RE: Is Ernest still here? in c/kbinMeta@kbin.social

[–] jaror@kbin.social 8 points 6 months ago

AP probably stands for ActivityPub

The Pure Programming Language (2022) in c/programming_languages@programming.dev

[–] jaror@kbin.social 1 points 6 months ago (1 children)

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.

7

Code blocks from Lemmy get mangled here on Kbin (kbin.social)

submitted 11 months ago by jaror@kbin.social to c/kbinMeta@kbin.social

4 comments fedilink

For example see this comment:

https://kbin.social/m/haskell/t/511582/Defeating-Return-Type-Polymorphism#entry-comment-2765579

There are so many <span> tags inserted into the code block that it has become completely unreadable.

Is this a known problem?