Viewing profile — giornogiovanna

Hopefully this version's closer to the prompt.[0] Anyway, the F# code, IIUC, lets you do exactly what you want it to do, although you'd have to replace the ifs with guards. [0]: ht…

I know these are extremely common suggestions, but… • 3Blue1Brown has great introductory series on linear algebra and calculus. • Khan Academy covers pretty much all of US high sch…

How does amb "in all its glory" handle an endless loop? Any solution I can think of seems prohibitively expensive.

Besides GC and the lightweight syntax (relative to Rust), what is it about OCaml that makes it so wonderful for implementing complicated algorithms?

Honestly, if you care about longevity, Rust simply isn't the language yet. I'd at least wait until there's a specification and a GCC frontend. Anyway, C does have some benefits as …

I thought this was going to be about bounding the time complexity of your algorithms; I don't know if any language does that yet. I suppose this title has a lot of interpretations.…

No one suggested that surveillance is as bad as cancer. All that was said is that blocking Facebook dating has a similar effect on surveillance ( in kind, not in degree ) as bannin…

› It's important to realise that variables in mathematics and variables in programming have a lot in common, but they are not the same thing! I think the stated "differences" are a…

> But for numerical work 1-based indexing is usually easier to work with. That's not really true in my experience, since all the nice properties of zero-based indexing transfer per…

I'm getting some serious déjà vu here. Anyway, pjmlp, if you have some time, could you please explain how WSL makes sense in a world where SPIR-V already exists? Both are intended …

> Sounds more like a problem with the team, rather than a problem with the language. That's the same reply that people have to "C++ has too large a surface area". Granted, Swift is…

Never mind, I have no idea what Apple is doing. It looks like they're inventing yet another shading language. https://webkit.org/blog/9528/webgpu-and-wsl-in-safari/

> So WebGPU with SPIR-V will work in Apple's browsers Yes, I think the idea is to embed a SPIRV-to-Metal compiler inside the browser. At least, that's what it looks like https://gi…

The two main cases when linked lists are better are (a) when you want to guarantee a low cost per insert, since vector insertion is only O(1) amortized , and (b) when you want to i…

Yep. Beyond that, there is at least one place[0] where the standard library uses undefined behavior "based on its privileged knowledge of rustc internals". [0]: https://doc.rust-la…

Reference counting is a (low-throughput, low-latency) form of garbage collection.

Ah, right, my bad. In my defense, JavaScript treats a value of `undefined` differently from an unset field / variable (e.g. when testing `object.hasOwnProperty('field')`).

1. NOT NULL is very frequently used in schemas, because NULL is often an undesirable value (e.g. for a mandatory field). That doesn't make NULLs bad, and NULLs are still frequently…

Just to be clear, undefined is not valid in JSON. The only types in JSON are nulls, strings, numbers, arrays, booleans and objects.

The correct merge, in my opinion would be D: add z w = z + w My justification is that if you put each identifier on a separate line like this: fn add( x: i32, y: i32, ) -> i32 { x …

In JavaScript the automatic semicolon insertion is almost universally reviled. Why not just have your editor insert the semicolons for you if it's such a pain to type them?

Can I configure Git such that the merge of Haskell source code (any language will do) with base A: add x y = x + y left B: add z y = z + y and right C: add x w = x + w succeeds wit…

That is a very charitable portrait of the anti-vaccination movement. No, they aren't parents of vaccine-allergic children banding together "to cope with their problems". They are p…

Using List.map and Option.map is more verbose and less general, but it's still most of the way there. OCaml still has currying, algebraic data types, "implicit" returns, tail call …