A middle ground maybe is to define function parameter types and return types and write a bunch of tests, then have a fuzzer compiler generate the actual function code maybe with the help of machine learning.