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
Replying to
Yes! Sorry, by systems language I mean: optional and configurable dynamic memory allocation, non uniform memory layout, small and configurable runtime, etc.
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