Warwolt

7 ms·

61.
by Warwolt 3y ago
There's no way in C++ to _statically_ guarantee that you don't simultaneously have the floating pin handle and the output pin handle. You cannot do it.
62.
by Warwolt 3y ago
One unique aspect of Rust that's involved here is the ownership system. It's possible to create a library that will only ever allow one instance of `pins.d13` to exist, and once you call `into_input` that `d13` value gets consumed
63.
by Warwolt 4y ago
Pretty decent article. People on this site fucking love getting riled up about stuff.
64.
by Warwolt 4y ago
I think this is an important point. Comparing an initial implementation of a language with that of mature projects doesn't make sense. Every cool language started off in a rough initial state I'd wager, and many were initially dev
65.
by Warwolt 4y ago
More particularly, I would describe it as a "pointer to anything". The size of the value will be exactly the size used for pointers in the given system (e.g. 8 bytes). If you happen to know what a void* is pointing to, you can cas
66.
by Warwolt 4y ago
The problem isn't that there is any state involved, it's that we as programmers must reason about that state. Evaluating "(1 + 2) * 3" requires some state in the CPU, but I can treat it mentally as just an expression tha
67.
by Warwolt 4y ago
Whitehead as in Alfred N Whitehead?
68.
by Warwolt 4y ago
The problem with mapping the reals to the integers is that a list of real numbers is infinite in "two directions". Each real can be potentially described with an infinite number of digits, and you can have an infinite list of real
69.
by Warwolt 4y ago
I understand the preference for keeping the struct tag, but virtually no other language does this, with modern IDEs it's trivial to find out what the definition of a given type is, so the tag seems superfluous to me in practice.
70.
by Warwolt 4y ago
A very good article. I think it's nice as a C++ dev to see how problems can be solved within the restraints of C, and how we might learn from those limitations where C++ might have strengths and where we might wanna lean on simpler C
71.
by Warwolt 4y ago
One really nice "everyday" example that comes from Idris that I really like is the ability to typecheck a printf function. You provide the format string, and then the typechecker will know what to expect from the rest of the argum
72.
by Warwolt 4y ago
Dependent types allow for more nuanced statements made by types. You can for instance have a lists that are sorted in ascending order as a type, or implement messaging protocols at the type level where you can only construct a reply in the
73.
by Warwolt 4y ago
> I suspect the same, but I think there is tremendous value in taking a cosmic step back and seeing everything through the lens of information. It's the most reductionist neutral approach to the universe I can conceive us at this po
74.
by Warwolt 4y ago
Eh, isn't it a bit of a stretch to claim you can program functionally in C? You can mimic it, but without easy closures you can't follow _any_ functional programming patterns that are built on composing functions into new ones in
75.
by Warwolt 4y ago
I think this is a very important distinction though, because if DOD is to be possible to consider as a programming paradigm you'd have to be able to state how a program is meant to be built up from scratch. An object oriented programme
76.
by Warwolt 4y ago
Nice article! I've been curious about DoD for a while, but have found most existing articles and videos on the subject to be very vague and fuzzy. This more precise treatment of what the author means by DoD is welcome in my opinion.
77.
by Warwolt 5y ago
This seems incredibly political. How would you meaningfully define "engineering degree" without first defining what "engineering" is? And how would you define engineering in such a way that it excludes people learning it
78.
by Warwolt 5y ago
I think this is bang on the money. Before asking _if_ software engineering is "real engineering" we should ask what we mean by engineering and why the question matters, otherwise it's a fruitless effort of talking past each o
79.
by Warwolt 8y ago
What tools did you use to make the drawings in the post? They look great!