amazing42

6 ms·

1.
by amazing42 5mo ago
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
2.
Show HN: The Name in the Bracket (a free book on naming tensor dimensions)(einlang.github.io)
2 points by amazing42 5mo ago|1 comments
3.
Show HN: Einlang, a math-intuitive language with lots of good stuff(github.com)
4 points by amazing42 6mo ago|0 comments
4.
by amazing42 4y ago
Thanks for bringing this up. Now you can use cmake find_package with it.
5.
by amazing42 4y ago
That is true. Hopefully, adding more static_assert to the lib can fail the compiler early and give more instructive error message.
6.
by amazing42 4y ago
Yeah, that is super cool feature of compiler explorer compared to other online compiler.
7.
by amazing42 4y ago
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.
8.
by amazing42 4y ago
Sadly lvariant did not get into C++ language. The library supports pattern matching against std::variant/std::any and class inheritance as a replacement.
9.
by amazing42 4y ago
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.
10.
by amazing42 4y ago
Yeah. That is supported.
11.
Show HN: Match(it): A C++17 pattern-matching library with lots of good stuffs(github.com)
85 points by amazing42 4y ago|44 comments
12.
by amazing42 4y ago
Thanks for your comment!
13.
Show HN: Mom, can we have (Haskell flavored) post-modern C++ at home?(github.com)
20 points by amazing42 4y ago|3 comments