This kind of reminds me of Smithy, which is also able to specify types and methods in a pseudo-language and generate a working API. https://youtu.be/9htHwcLv3qY