Part of the power of the idea is how amenable this is to property-based testing. And it really only takes one solid implementation that can be wrapped/called f

Part of the power of the idea is how amenable this is to property-based testing. And it really only takes one solid implementation that can be wrapped/called from other languages to do well. (Or perhaps one per an ecosystem like JVM, .NET, WASM, anything that can be relatively easily called from C, anywhere Python is used for scripting, etc.) And because of the formalisms involved, you could have a pretty precise and complete spec defined.