3 ms·
Did anything ever come out of Barliman or other attempts to make an interactive interface around this stuff? It's such a cool concept, I'm surprised I never sa
by Y_Y 5y ago
Did anything ever come out of Barliman or other attempts to make an interactive interface around this stuff?
It's such a cool concept, I'm surprised I never saw a mainstream IDE where I can write rough constraints or examples and have it generate code, just like in those really nice examples of minikanren from a few years back.
- will_byrd 5y agoThis paper and prototype educational system was based on Barliman: `Towards Answering "Am I On the Right Track?" Automatically using Program Synthesis` Molly Q Feldman, Yiting Wang, William E. Byrd, François Guimbretière, & Erik Andersen. SPLASH-E 2019 https://mollyfeldman.github.io/splashe2019.html https://mollyfeldman.github.io/splashe2019.html This paper was at least partly inspired by the relational interpreter approach that is the foundation of Barliman: `From definitional interpreter to symbolic executor` Adrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, and Eelco Visser. Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection (META 2019) https://dl.acm.org/doi/10.1145/3358502.3361269 https://dl.acm.org/doi/10.1145/3358502.3361269 As for Barliman, we took a step back from imrpoving the interface, and started doing experiments with a bunch of colleagues on various ways to improve synthesis speed and expressiveness. Until COVID-19 got in the way, Kanae Tsushima and I were beginning to put some of the pieces back together in an improved Barliman, named `新-Barliman` (`Shin-Barliman`, `shin` meaning "new" in Japanese): https://github.com/k-tsushima/Shin-Barliman https://github.com/k-tsushima/Shin-Barliman I'm hoping we will make some real progress again soon!
- Y_Y 5y agoI'm really glad to hear that! That's for contributing to produce this really cool work.