tag:blogger.com,1999:blog-4945872062957725459.post8223412748980021582..comments2024-03-21T11:09:44.913+01:00Comments on ABRAKADABRA: Тема ТИПSergey Shishkinhttp://www.blogger.com/profile/12359328794026744049noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-4945872062957725459.post-64317455804218354162021-08-24T15:44:27.007+02:002021-08-24T15:44:27.007+02:00https://ru.wikipedia.org/wiki/Гомотопическая_теори...https://ru.wikipedia.org/wiki/Гомотопическая_теория_типовSergey Shishkinhttps://www.blogger.com/profile/12359328794026744049noreply@blogger.comtag:blogger.com,1999:blog-4945872062957725459.post-91097977305236305122021-08-24T15:44:11.160+02:002021-08-24T15:44:11.160+02:00https://ru.wikipedia.org/wiki/Гомотопическая_теори...https://ru.wikipedia.org/wiki/Гомотопическая_теория_типовSergey Shishkinhttps://www.blogger.com/profile/12359328794026744049noreply@blogger.comtag:blogger.com,1999:blog-4945872062957725459.post-20873468746382799782021-08-21T12:21:05.809+02:002021-08-21T12:21:05.809+02:00SPSc: суперкомпилятор на языке Scala
https://cyber...SPSc: суперкомпилятор на языке Scala<br />https://cyberleninka.ru/article/n/spsc-superkompilyator-na-yazyke-scala <br />Самостоятельное изучение Рефала-5. Взгляд студента<br />https://web.archive.org/web/20101009092138/http://ulm.uni.udm.ru/~soft/wiki/doku.php?id=refal-5:korsa<br />Язык Рефал-05, его отличия от Рефала-5 и общее подмножество<br />https://mazdaywik.github.io/Refal-05/2-syntax.html<br />Делаем Refal на Prolog. Магия в семь строк<br />https://habr.com/ru/post/198972<br />БАЗИСНЫЙ РЕФАЛ<br />http://ilt.kharkov.ua/bvi/rf/doc/ark_klimov/refal6/M1-basic.htm<br />https://github.com/STrusov/refal-machine<br />https://github.com/bmstu-iu9/refal-5-lambda/blob/master/docs/2-intro.md<br />Запахи кода и антипаттерны в Рефале<br />https://www.mail-archive.com/refal@botik.ru/msg00902.html<br />Об оценке производительности некоторых языковых процессоров символьной обработки (РЕФАЛ, ЛИСП, ПРОЛОГ) <br />https://library.keldysh.ru/preprint.asp?id=1993-33<br />https://ru.m.wikipedia.org/wiki/Гомоиконичность <br />https://en.m.wikipedia.org/wiki/Meta-circular_evaluatorSergey Shishkinhttps://www.blogger.com/profile/12359328794026744049noreply@blogger.com