Viewing profile — Warwolt

How would you do layouting without a tree structure in place? Not really sure what you're getting at here

Nice article! Having little interactive examples I think is fantastic, and makes the text really utilize it's medium well. The text was mostly a refresher for me who already knew t…

Can someone give a tl;dr? Feels like a whole lot of preamble in the article

That's not a good analogy. A good mathematician isn't necessarily dealing with calculations, i.e. long division, but rather with proof. No-ones becomes a good mathematician without…

Actually, I think this is a case where LLMS _can_ be useful. If we're prompting for small enough outputs, for examples around things we can already sort of reason about it, we're a…

Unfortunately in the majority of organizations, the idiots are at the wheels. It's not people with actual experience of how engineers do things, that dictates what those engineers …

But common, collouqialy "Garbage Collection" as a language feature refers to a run time garbage collector. Saying that the language has GC just because it has opt-in reference coun…

> they either must be bought at an increasing steep price

It's a variable simply because it doesn't refer to a specific object, but any object assigned to it as either function argument or by result of a computation. It's in fact us progr…

Making a distinction between pure and effectful functions doesnt require any kind of effect system though. Having a language where "func" defines a pure function and "proc" defines…

Who cares? That's just semantics. If we define science as the systematic search for truths, then mathematics and logic are the paradigmic sciences. If we define it as only empirica…

To be fair, presumably debug printig could be "escaped" from the effect type checking if the designer of an effect system would want it. For instance, debug printig in Haskell comp…

Ease of definition doesn't equate ease of measurement..

My issues stems from me feeling like a lot of terminology introduced by the author ending up being used in different ways in different paragraphs. It didn't feel like a thought thr…

While the tools you talk about sound interesting, to me this was more about an in-principle possible measurement rather than something we'd actually carry out. I think stating that…

I think model theory is a really good source of theory to ground the notion of modules. The relation between an interface and an implementation to me is very much the same as betwe…

I mean, we can definitively talk about simplicity/complexity in a fairly easy way when it comes to mathematical structures or data structures in my opinion. For instance, a binary …

I should've noted that, although I found it frustrating, I think it's a good read for most programmers. There are many excellent ideas in the book.

I'm very mathematically inclined, so I would probably want a "proper" treatment of this subject to include both formal logic, set theory, type theory and model theory, but they're …

I found "A philosophy of software design" to be a well intended but somewhat frustrating book to read. It seemingly develops a theory of software architecture that is getting at so…

Looks nice! Is there any plans on a language server and formatting tooling? Usually I feel like that's bare minimum before I'd like to try and play around with a language

When a bug like this can cause real world harm, we can't just bumper car program our way out of things. As engineers we should be able to provide real guarantees.

Types give you static proof where tests only give partial inductive evidence. I cannot _fathom_ why people would prefer tests over types where types do the job, outside anything bu…

Isn't this just the newtype pattern?

To be fair, the fact that the IO Monad is in fact a monad is a sort of quality of life solution. Monads themselves don't have any side effect implications