Viewing profile — finiteparadox

I think you are missing the point a bit. With staging you can build up arbitrary levels of compile time abstractions and be sure that they will not appear in the final executable. …

The point is that compiler optimisations are a black box and not guaranteed. They can be very brittle wrt to seemingly harmless source changes (even something as simple as making a…

This sort of flow works well for me with obsidian+paperpile+latex

[flagged]

A combination of staging and effects might be a candidate. Any other candidate will probably be staging + X. https://se.cs.uni-tuebingen.de/publications/schuster19zero.p...

If tree is a category, does it have limits?

Incredible, one would expect this to be theoretically possible since Typescript's type system is Turing complete, but it is certainly different to see it done in practice. Wow!

This is just plain wrong. There's nothing you can do in C/C++ (or C+, as you put it) that you can't in rust, when it comes to parallelism. There's always unsafe if you really need …