cartoffal

5 ms·

1.
by cartoffal 1y ago
> I don’t know why the network would be any way special. The network isn't special. This applies locally too. But the article we are commenting on (at least, _I_ was commenting on) is about the network, and it uses the phrase "
2.
by cartoffal 1y ago
In many statically-typed languages, types do not exist at runtime - they are erased once the program is known to be internally consistent. What is left is not type safety, it is parsing and validation of unstructured binary blobs (or arbi
3.
by cartoffal 1y ago
My point was more that the layers below the application will also have to parse the data into a particular format - in the case of networked applications, into TCP/IP packets, then anything particular to the message protocol, before hi
4.
by cartoffal 1y ago
The idea of "type safety over the network" is a fiction. When it comes down to it, what is being sent over the network is 1s and 0s. At some point, some layer (probably multiple layers) are going to have to interpret that sequence
5.
by cartoffal 1y ago
Turing completeness and P completeness are completely different things. There is no sense in which P-completeness is a "more specific" version of Turing-completeness.
6.
by cartoffal 1y ago
> The $ operator is nothing but syntactic sugar that allows you to write bar $ foo data instead of having to write bar (foo data). That’s it. Actually, it's even simpler than that: the $ operator is nothing but a function that appli
7.
by cartoffal 1y ago
The Co-op in Sandwich, Kent is still locally known as the Pioneer!
8.
by cartoffal 2y ago
It wasn't easier, but it was simpler . Fewer moving parts. The reason we moved away from it was that after a point, the amount of legwork to implement relatively simple behaviours became astronomical. Whether or not the current state
9.
by cartoffal 2y ago
> Understanding the map signature in Haskell is more difficult than any C construct. This is obviously false. The map type signature is significantly easier to understand than pointers, referencing and dereferencing. I am an educator i
10.
by cartoffal 2y ago
> Just imagine Vampire Survivors without sound or effects. I can't help but feel that this completely undermines your point - Vampire Survivors is bashed together using rudimentary knockoffs of sprites from games from the 1990s, in
11.
by cartoffal 2y ago
> Here are some monoids: string-append over strings, addition over integers, state transition over machine states, compose over unary functions. Correction: function composition is not a monoid over unary functions, only over families of