Re:Julia as a unifying end-to-end workflow language on the F...
by ChrisRackauckas on Sunday November 19, 2023 @01:40PM
(#38336115)
This is precisely what we did with the SciML ecosystem. You can see a blog post from a year back: https://sciml.ai/news/2022/10/08/error_messages/. There's a lot of high level interface checking that goes on now through a trait system to ensure that the pieces are solvable before hitting code, and throwing high level error messages back based on those.
Over the last year we've been growing the domain of these as well, and have seen a decrease in bug reports come from it.
i.e. what I am talking about is effectively informally encoding protocols/interfaces and suchlike in a test-suite, rather than seeking to make it a part of the compiler/language.
Not as sexy, no doubt, but flexible and with a short time to get feedback.