Question: How does the concept abstraction algorithm work?

ellisk42 / ec

MIT License

482 stars 138 forks source link

Question: How does the concept abstraction algorithm work? #73

Closed slightknack closed 3 years ago

slightknack commented 3 years ago

Hey, I read through the technical paper, but I don't see a whole lot of information as to the refactoring algorithm over lambda terms works. I'm fluent in Rust, and it looks like the rust_compressor crate is a good place to start, but I was wondering if there exists a high-level overview of either the crate specifically or the methodology used in general. Thanks!

Sharad24 commented 3 years ago

The supplementary work has some information, I think.

slightknack commented 3 years ago

Alright, I'll take a look at it and let y'all know if I have any further questions.

slightknack commented 3 years ago

(Link is dead, here's an archive fwiw: https://web.archive.org/web/20201120133418/https://web.mit.edu/ellisk/www/documents/dreamcoder_with_supplement.pdf)