The TL;DR is that using dune virtual libraries will probably make most applications simpler but there is a cost to porting any code that wanted to have multiple implementations of a given interface inside one application.
Comments
Log in with your Bluesky account to leave a comment
Furthermore, if we want to retain the ability to extend the functionality of the interfaces (e.g. providing a reset function for a clock for testing) we will need to make upstream changes to the libraries provide by mirage (making them unwrapped) and/or make changes to dune.
Comments