Really hope the ideas around libraries like fused-effects can eventually make it to systems languages! Would be really nice to have an alternative to dependency injection for dealing with effects!
Conversation
Yes! Sorry, by systems language I mean: optional and configurable dynamic memory allocation, non uniform memory layout, small and configurable runtime, etc.
1
Seems like a good term for that! OS kernels, interrupt handlers, and all that jazz. This is one reason why no longer refers to Idris as a systems programming language (but maybe it could be one day).
2