sorted by: new top controversial old
Simple Programming Languages in c/programming_languages@programming.dev
[–] 5 points 2 years ago (1 child)

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.

  • permalink
  • fedilink
  • source
  • parent
  • context
    • RE: Is Ernest still here? in c/kbinMeta@kbin.social
    The Pure Programming Language (2022) in c/programming_languages@programming.dev
    [–] 1 point 2 years ago (1 child)

    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.

  • permalink
  • fedilink
  • source
    •
    How to follow people from other instances? in c/kbinMeta@kbin.social
    4
    How to follow people from other instances? (kbin.social)
     

    I want to follow https://mastodon.social/@haskell_discussions, but I can't seem to reach them from kbin. Usually with mastodon, I believe I should be able to search for that URL, like this:

    https://kbin.social/search?q=https%3A%2F%2Fmastodon.social%2F%40haskell_discussions

    But that does not give any results. I've also tried looking up the user directly like this:

    https://kbin.social/u/@haskell_discussions@mastodon.social

    But that also does not work.

    Is there any way to do this?