HigherLogics.Algebra Alternatives

HigherLogics.Algebra reviews and mentions

• John Carmack on Functional Programming in C++ (2018)
  7 projects | news.ycombinator.com | 18 Feb 2023

  Do it! Do it! Do it! If only for a couple of tests to see how much it changes the results. ;-)

  Unboxing sums is a nice optimization but then you can't naively use switch-patern matching to deconstruct them.

  I have a bunch of other things in Sasa and other libraries you might find useful. I'm not actively working on most of them anymore except for bug fixes. I learned a lot but didn't end up using a lot of these features as much as I'd hoped.

  For instance, being able to create open instance delegates in a way that automatically works around the CLR limits against such delegates to virtual methods. Some of the concurrency primitives are also interesting, as they implement an efficient atomic read/write protocols for arbitrary sized types using only volatile reads/writes (ie. avoid torn reads), and a sort of LLSC using only volatile read/write and a single interlocked inc/dec. Also, I added a kind system to CLR reflection to make working with it much easier [2].

  It seems we're thinking along the same lines for numeric types. I reproduced the Haskell numeric hierarchy [1], but I put that on hold because I was thinking a [Deriving] attribute would eliminate a lot of redundancy.

  Just FYI, clicking Num on the main GitHub markdown page doesn't jump to the link on the markup.

  Lots more to see if you're interested! I've played with parser combinators but never liked how they turned out, and settled on a simpler approach that was pretty interesting.

  [1] https://github.com/naasking/HigherLogics.Algebra

  [2] https://github.com/naasking/Dynamics.NET#kind-system