amazing42

The book works through what happens when tensor coordinates have names the compiler can check, from reductions through autodiff and recurrences. There's a small prototype language (github.com/einlang/einlang), but the book is the main thing.

Thanks for bringing this up. Now you can use cmake find_package with it.

That is true. Hopefully, adding more static_assert to the lib can fail the compiler early and give more instructive error message.

Yeah, that is super cool feature of compiler explorer compared to other online compiler.

Actually this library (match(it)) is more similar to Racket. You can see there are lots of patterns borrowed from Racket pattern matching, say app pattern and ooo pattern.

Sadly lvariant did not get into C++ language. The library supports pattern matching against std::variant/std::any and class inheritance as a replacement.

The godbolt link is only a simple sample.

Rust does not support view pattern (called in Haskell) or app pattern (called in Racket). And that has been implemented in this library.

Yeah. That is supported.

Thanks for your comment!