The first use case that comes to mind is if you want a DSL to build expressions that are evaluated later in some different context e.g. when using `polars`:
The problem comes when there are lucrative odds for some unlikely scenario, which you can influence into realisation, and that outcome might be counter to the company's goals (i.e. sabotage)
Is there a reason the Zig compiler can't perform type-narrowing for `u` within the `U::A(_) | U::B(_)` "guard", rendering just the set of 2 cases entirely necessary and sufficient (obviating the need for any of the solutions in the blog post)?
I'm not familiar with Zig, but also ready to find out I'm not as familiar with type systems as I thought.
I'd say that the people counting leap seconds are the ones "doing something".
At the point they needed to be inserted, Unix systems carry on counting seconds as units of time as they pass, "ignoring" the need to add 1 for the purposes of accounting.
The problem with that is that Jupyter requires a back-end to do any of the actual processing that runs the code in the cells.
Only way I can think to make the html file truly portable while fully functional would be to embed a python interpreter and all required libraries as wasm.
Could be possible with pyodide? I haven't used it.
Just make sure to read the warning labels and take them seriously please. I believe the use of boiling water frequently causes them to rupture, inflicting burns on their users.
```python df.filter( pl.col("foo") == pl.col("bar"), ) ```
Sqlalchemy does something equivalent too, and I'm sure there are many others.