> Given a method specification in the form of tests, type and effect annotations with RDL, this synthesizes a Ruby function that will pass the tests. This reduces programmer effort to just writing tests that specify the function behavior and the computer writing the function implementation for you.
That's really neat! But doesn't this just mean that instead of writing your code and logic in Ruby you're writing it in RDL?
Also, it would be great to see some examples in the README or in an examples folder. It's kind of hard for me to tell exactly what I need to write and what to call to generate the Ruby.
That's really neat! But doesn't this just mean that instead of writing your code and logic in Ruby you're writing it in RDL?
Also, it would be great to see some examples in the README or in an examples folder. It's kind of hard for me to tell exactly what I need to write and what to call to generate the Ruby.