7 ms·

There’s three great reads like this. previous: https://news.ycombinator.com/item?id=13886626 https://news.ycombinator.com/item?id=13886626

• paultopia 6y ago
  And I really wish I were good enough at, like, lambda calculus and category theory and whatever other black magic is in there to understand them!
  • madhadron 6y ago
    It's...not exactly lambda calculus or category theory. It's a dramatic flattening of the layers we think of as natural in our programming world. Of course we write source code describing a class that is compiled into an object file which is loaded into a JVM. So just write the bytes that makes the JVM have a class directly into its memory. And on the other side, that anything obeying the same mathematical axioms can be treated as the same, be damned how it's implemented. Those two taken together can make it seem like witchcraft until you realize that all the conventions of our craft are just that: conventions.
    • saagarjha 6y ago
      Not for this one.