Sneak Peek: Bolt Math

taylorfausak:

Have you heard of SubHask? It was exploring this space quite a while ago. Never really amounted to anything as far as I know, but there may be some interesting stuff to learn from it.

Extant examples are always a good resource for comparison, to learn from, and to help make sure I am covering all of the necessary concepts; putting this all together in an ergonomic format has been a challenge, and I can imagine this difficulty might have contributed to subhask’s resulting lack of use.

Edit: There is also numeric-prelude as prior art, which looks so good until you click a module and see it is all class C a => C a where and I am instantly like