Have there been any developments?
Not too much on my side. Iāve tried to round up volunteers, but kind of failed at synchronising them. Then real life hit and I currently donāt have as much time as Iād like. And then thereās been the ākeep backward compatibility but reduce overall sizeā added constraint which kind of made it seem like Mission:Impossible to actually add modern libraries, so Iām really a bit demoralized on this front.
Iām a simple man. I really only wish for:
- recent GHC
- kmettoverse (especially lens, recursion-schemes, linear)
- some accelerated linalg package
- some minimal ingress to the languageās evolution: singletons, linear types, refinement types, first-class-families, index monads, etc