debugnik

22 ms·

451.
by debugnik 1y ago
Of all the things I'd change about OCaml, dune is very much down the list. It's flat out better than cargo in that it's an actual build system with build rules driven by file dependencies, not simply a glorified frontend for
452.
by debugnik 1y ago
I too wish that some OxCaml features bring new blood to OCaml. I've been using OCaml for a few years for personal projects and I find the language really simple and powerful at the same time, but I had to implement me some foundational
453.
by debugnik 1y ago
That's lowercase "source generators". They're referring to title-case "C# Source Generators", an actual feature slowly replacing some uses of reflection. https://devblogs.microsoft.com/dotnet&#x
454.
by debugnik 1y ago
> then suggest something else that actually addresses the problem As opposed to the original suggestion that doesn't actually address the problem? How is proposing that in the first place more honest than calling it out?
455.
by debugnik 1y ago
A quick search shows me that "annouce" is sometimes used as a noun in the context of bittorrent for some reason.
456.
by debugnik 1y ago
> permission/ownership model added to GNATprove in recent years. So recently that last time I tried Alire failed to install me a version of gnatprove that supported it. I hope next time I try it actually works though, because I do l
457.
by debugnik 1y ago
I'm assume (wrongly?) that installing this dependency is managed by Steam before the first run, not up to them.
458.
by debugnik 1y ago
> Json serialization, sure but you can use your own converters And going through converters is (was?) significantly slower for some reason than the built-in serialisation. > my impression is that minimal APIs are now the go to solutio
459.
by debugnik 1y ago
But memory-unsafe code doesn't just segfault, it can corrupt your invariants and continue running, or open a door for an attacker to RCE on the machine. Memory safety is necessary (but not sufficient) to uphold what should be the simpl
460.
by debugnik 1y ago
> SPARK has no escape hatches It does, you can declare a procedure in SPARK but implement it in regular Ada. Ada is SPARK's escape hatch. This is just as visible in source code as unsafe is in Rust, a procedure body will have SPARK_
461.
by debugnik 1y ago
Not a library, but it kinda does: Frama-C will formally verify C code using special comments to write the contracts in, and I hear it can prove more pointer properties than SPARK, although it takes more more effort to maintain a Frama-C cod
462.
by debugnik 1y ago
In retrospect my replies have also been harsher than they should have, I didn't contribute to a good mood. Most IT nomenclature is poorly made up anyway, what does polyglot even mean indeed. As I said, I don't even like Just'
463.
by debugnik 1y ago
Only if SPARK is powerful enough to verify the code you need to write in the first place, which from my experience with SPARK is not a given as soon as access types are involved. Also Rust doesn't need to exclude high level language fe
464.
by debugnik 1y ago
I agree the shebangs are a blunt solution, but I'll give them polyglot for embedding arbitrary languages under the recipe syntax without having to shell out with a heredoc. It's a low bar, but I can't think of any alternative
465.
by debugnik 1y ago
Attributes and reflection are still used in C# for source generators, JSON serialization, ASP.NET routing, dependency injection... The amount of code that can fail at runtime because of reflection has probably increased in modern C#. (Not f
466.
by debugnik 1y ago
References and lifetimes are where Rust wins over Ada, although I agree that Ada has many other great type features. Access types are unable to express ownership transfer without SPARK (and a sufficiently recent release of gnatprove), and w
467.
by debugnik 1y ago
> What makes just polyglot? The link they shared and you didn't open, which is precisely an example of multiple recipes with different #!/usr/bin/env shebang lines, such that a single just file can mix different langu
468.
by debugnik 1y ago
It's an issue because there's nothing internal about the representation in Ada: They're regular arrays of Character/Wide_Character/Wide_Wide_Character, and string literals have different type depending on the width
469.
by debugnik 1y ago
> Ada String is basically char array Worse, the built-in Unicode strings are arrays of Unicode scalars, effectively UTF-32 in the general case. There's no proper way to write UTF-8 string literals AFAIK, you need to convert them fro
470.
by debugnik 1y ago
Cloud should have been title-cased (they make this mistake almost every time in the article), they bought an FPGA decommissioned by Alibaba Cloud, the subsidiary.
471.
by debugnik 1y ago
As much as I love F#, I wouldn't add it to a list of fast compilers; although I really appreciate that it supports actual file-scoped optimizations and features for compile-time inlining.
472.
by debugnik 1y ago
You should have ordered them differently to not distract from your point: That most LLVM-based compilers do eventually need to write patches for it and usually ship them before upstreaming, they can't just use an existing release. I at
473.
by debugnik 1y ago
No? That's the other way around, ISPs blocking server IPs for customers. This is about servers blocking legally risky visitor IPs.
474.
by debugnik 1y ago
In my experience, focus on community is how you get community drama in the first place.
475.
by debugnik 1y ago
They didn't misunderstand, they're calling out Bevy's priorities. Bevy is still incomplete as an engine. AFAIK there's only one commercially successful game made with it, Tiny Glade, and it doesn't even use Bevy&#x2
476.
by debugnik 1y ago
> so a number of pattern can all be called "discriminated unions" Assuming they've got discriminators and some sense of type union, sure. > I just showed a data model with a discriminator (.Type) Which won't let yo
477.
by debugnik 1y ago
You said struct embedding could be used for discriminated unions, but there's no mechanism to discriminate between union variants here.
478.
by debugnik 1y ago
> And yes you should convert to OrderTypeA or OrderTypeB at the first opportunity in domain code, Go can only downcast through interfaces so there's something missing to your approach to unions, isn't there?
479.
by debugnik 1y ago
I think they meant games that specifically come with a sandboxed scripting layer. Otherwise, I agree that most mods are indeed just untrusted patches for a native executable or .NET assembly. I guess the intent behind Cities Skylines's
480.
by debugnik 1y ago
> OCaml's newer Eio effect system Eio is an IO library out of many competing ones, not OCaml's effect system. The capabilities are an Eio thing, not an effects thing.

More ›