6 ms·
It's difficult to find resources about Refal in English, but you can find some with a little digging. Here's a nice introduction presentation about Refal and so
by profquail 11y ago
It's difficult to find resources about Refal in English, but you can find some with a little digging. Here's a nice introduction presentation about Refal and some use cases for it: http://www.bcs.org/upload/pdf/intro-to-refal-130314.pdf http://www.bcs.org/upload/pdf/intro-to-refal-130314.pdf
Try searching for papers/articles by Turchin (who invented Refal). Also, many papers on supercompilers or supercompilation use Refal or a Refal-like language, so they can be another good source of information. (Plus, supercompilation is fascinating to learn about in general -- it's basically using machine learning within the compiler to perform powerful optimizations.)
Additional resources:
* http://pat.keldysh.ru/~roman/doc/Turchin/1980-Turchin--The_Language_REFAL--The_Theory_of_Compilation_and_Metasystem_Analysis.pdf http://pat.keldysh.ru/~roman/doc/Turchin/1980-Turchin--The_L...
* http://refal.botik.ru/book/html/index.html http://refal.botik.ru/book/html/index.html
* http://www.refal.org/doc/turchin/dag/dag.html http://www.refal.org/doc/turchin/dag/dag.html
* http://rfp.botik.ru/rfp http://rfp.botik.ru/rfp
- zdkl 11y agoI've been crawling all the pages still alive on t his theme since the post, I've stumbled on the refal+ reference [0] and a presentation post on the language [1] but couldn't find much more useful docs. Anything you can share will be appreciated this has piqued my interest in a big way! I'll keep an eye on this thread & wiki for anything you can share [0] http://wiki.botik.ru/twiki/pub/Refaldevel/Download/RefalPlusReferenceManual.pdf http://wiki.botik.ru/twiki/pub/Refaldevel/Download/RefalPlus... [1] http://www.math.bas.bg/bantchev/place/refal.html http://www.math.bas.bg/bantchev/place/refal.html
- analognoise 11y agoSuperoptimization is not machine learning - it's brute forcing a small problem space to find patterns that can be implemented in compiler. Where did you get that it was machine learning? Unless you consider all back propagation to be 'machine learning'?
- profquail 11y agoSuperoptimization is not the same thing as supercompilation.
- spot 11y agoyea the supercompilation stuff is very cool. there is a more accessible way to get many of the benefits of supercompilation using things more like type systems, including partial evaluation: http://www.ymeme.com/hackers-introduction-partial-evaluation.html http://www.ymeme.com/hackers-introduction-partial-evaluation... http://cs.au.dk/~danvy/tdpe-ln.pdf http://cs.au.dk/~danvy/tdpe-ln.pdf http://www.readscheme.org/partial-eval/appl_pe.html http://www.readscheme.org/partial-eval/appl_pe.html