Most active commenters

    ←back to thread

    Everything Is Just Functions: 1 week with David Beazley and SICP

    (ezzeriesa.notion.site)
    389 points kurinikku | 20 comments | 17 Nov 24 15:07 UTC | HN request time: 0.643s | source | bottom
    1. Animats ◴[17 Nov 24 19:08 UTC] No.42166199[source]▶
    "Everything is just" approaches usually result in hammering things that don't fit into fitting. That often ends badly. Computing has been through, at least:

    - Everything is just a function (SICP)

    - Everything is just an object (Smalltalk, and to some extent Java)

    - Everything is just a closure (the original Common LISP object system)

    - Everything is just a file of bytes (UNIX)

    - Everything is just a database (IBM System/38, Tandem)

    replies(7): >>42166225 #>>42166849 #>>42167436 #>>42167755 #>>42167841 #>>42168165 #>>42170062 #
    2. Maxatar ◴[17 Nov 24 19:11 UTC] No.42166225[source]▶
    None of the things you mention ended badly though. I think all of those approaches you list are incredibly useful and important concepts and I am very happy that I not only know them, but that because of how universal they are I can leverage my knowledge of one approach to learn or apply another approach.
    replies(2): >>42167358 #>>42167565 #
    3. kurinikku ◴[17 Nov 24 20:20 UTC] No.42166849[source]▶
    OP here. I would add "All you need is NAND".
    replies(1): >>42167119 #
    4. philipov ◴[17 Nov 24 20:51 UTC] No.42167119[source]▶
    "All you need is Transistor" - can't believe how badly that ended!
    replies(1): >>42167226 #
    5. esalman ◴[17 Nov 24 21:03 UTC] No.42167226{3}[source]▶
    It's because all you need is Ohm's law.
    replies(2): >>42167265 #>>42167770 #
    6. rusk ◴[17 Nov 24 21:08 UTC] No.42167265{4}[source]▶
    James Clerk Maxwell has entered the conversation
    7. thethimble ◴[17 Nov 24 21:16 UTC] No.42167358[source]▶
    Another angle on this is that there’s many formal axiomatic ways to define computing.

    Everything is just a Turing machine. Everything is just a function. Everything is the Conway’s game of life.

    The fact that all of these forms are equally expressive is quite a surprise when you first discover this. Importantly, it doesn’t mean that any one set of axioms is “more correct” than the other. They’re equally expressive.

    replies(1): >>42167625 #
    8. jdougan ◴[17 Nov 24 21:24 UTC] No.42167436[source]▶
    - Everything is just a filesystem (Plan9/Inferno)

    - Everything is just a buffer (K&R C and many of its descendants)

    - Everything is just a logical assertion (Prolog)

    I look at the list and I see a bunch of successes, though some of them are niche.

    replies(1): >>42168378 #
    9. hobs ◴[17 Nov 24 21:42 UTC] No.42167565[source]▶
    I would go further and say that each one of these were so useful that they presented entirely new sets of problems to attempt to solve, because of how many other problems they directly addressed.

    It's like being mad that hammer was so successful we invented screw to improve on it's greatest hits.

    10. brudgers ◴[17 Nov 24 21:49 UTC] No.42167625{3}[source]▶
    Everything is just a Turing machine.

    That one ends in a tarpit where everything is possible but nothing of interest is easy.

    replies(2): >>42167831 #>>42167859 #
    11. osigurdson ◴[17 Nov 24 22:05 UTC] No.42167755[source]▶
    How about everything is just state and transformations.
    12. osigurdson ◴[17 Nov 24 22:07 UTC] No.42167770{4}[source]▶
    Ohm's law doesn't really work for transistors though.
    13. Animats ◴[17 Nov 24 22:14 UTC] No.42167831{4}[source]▶
    That's the generic problem with "Everything is a ...". Trying to force things into a paradigm that doesn't fit well complicates things.
    replies(2): >>42167985 #>>42168864 #
    14. hehehheh ◴[17 Nov 24 22:15 UTC] No.42167841[source]▶
    Everything is just a turing machine after all* **

    * modulo infinity

    ** except a small number of languages that are not

    15. zahlman ◴[17 Nov 24 22:17 UTC] No.42167859{4}[source]▶
    >where everything is possible but nothing of interest is easy.

    Real development IMX is not much different. People just have low standards for "interesting" nowadays, and also have vastly increased access to previous solutions for increasingly difficult problems. But while modern programming languages might be more pleasant to use in many ways, they have relatively little to do with the combined overall progress developers have made. Increased access to "compute" (as they say nowadays), effort put into planning and design, and the simple passage of time are all far more important factors in explaining where we are now IMO.

    16. brudgers ◴[17 Nov 24 22:35 UTC] No.42167985{5}[source]▶
    The generic problem is every generation thinks they invented sex.

    https://www.cs.yale.edu/homes/perlis-alan/quotes.html

    17. dadadad100 ◴[17 Nov 24 23:07 UTC] No.42168165[source]▶
    Everything is a rule (Pega)
    18. galaxyLogic ◴[17 Nov 24 23:44 UTC] No.42168378[source]▶
    Everything (expressed with language) is just a model of something else.

    By making the model follow some simple rules which we think the real thing follows as well we can reason about what happens when some inputs to the real thing being modeled change, by runnign our model (-simulation).

    Thus you could add to your list: "Everything is just a simulation".

    Except the real thing of course :-)

    19. grugagag ◴[18 Nov 24 01:19 UTC] No.42168864{5}[source]▶
    It is a simplification that makes easier to grasp a paradigm. Sure, it could be taken to extremes and pretend nothing else exists outside this ‘everything is a … “ bubble. Luckily we can learn from others’ mistakes and not fall into traps too often.
    20. jancsika ◴[18 Nov 24 05:54 UTC] No.42170062[source]▶
    > - Everything is just a closure (the original Common LISP object system)

    What doesn't fit into this particular "everything?"