Dan Rose

Results 563 comments of Dan Rose

@UWN, I'm unclear why the :-1:. Why do you think the errors for runtime dynamic predicate modification should *also* apply to loader directives? (this criticism applies to my suggestions too!...

Serial port discovery seems gated by the logic that checks that the `PortName` contains the string "COM"[^1] It looks like it *intended* to list virtual COM points per commit logs,...

1. Appending the checksum onto a version specifier was a poor choice from the outset. The checksum belongs in some sort of lockfile, NOT in package.json. 2. The reason for...

> I don't care about the specifics. Just fix the confusion. The only confusing thing to me is that it visually appears to be a [package name specifier](https://docs.npmjs.com/cli/v11/using-npm/package-spec) even though...

> The issue is that historically, ipv6 has given us more issues that it has helped, and we don't current have enough workforce to address the issue fully. Even so,...

Yes, I agree this needs documentation. It's an implementation of "attributed variables". You probably don't want to use them directly. @triska's writeup on attributed variables: https://www.metalevel.at/prolog/attributedvariables SWI's documentation: https://www.swi-prolog.org/pldoc/man?section=attvar Sicstus's...

You keep using the term "reify" in many different senses, which complicates understanding. Are we reifying a predicate? A goal? A condition? A truth value? A definition? A concept? I...

Would FizzBuzz be a good example of how to use reification meaningfully? e.g. ```prolog ?- use_module(library(reif)). ?- use_module(library(clpz)). ?- N=3, (0 is N mod 3 -> Fizz = true; Fizz...

I think that's reasonable but I still don't love the `if_`s nested 3 deep. Is there a reasonable alternative? The more legible but less logically pure alternative is the following,...

That Qupak example is cool, but it's bringing in a lot! I wonder if it makes sense to think of `reif` as something like a monad. Is this cursed? ```prolog...