Blogged: Program Synthesis is Possible in Rust

Writing a toy synthesizer in Rust.

http://fitzgeraldnick.com/2018/11/15/program-synthesis-is-possible-in-rust.html

6 Likes

This is so cool! I saw gifs of the code generation in Idris recently and it looked fantastic. Super cool to see this type of experiments in Rust too! :tada:

1 Like

Would you be able to provide a link to those?

Took me a while to dig this up, but here it is: https://twitter.com/edwinbrady/status/1050528305743622147

2 Likes