AZ
что у нас из книг для начинающих?
мне в голову приходят htdp, sicp, plai
мне в голову приходят htdp, sicp, plai
realm of racket ?)
Size: a a a
2018 April 10
👁
))
👁
вычеркиваем
AZ
вычеркиваем
Вчеркни может кому нормально
2018 April 11
AZ
Нормальные правила написал в прикрепленном сообщении
NK
тогда вопрос для саморазвития - по PLT Redex - вот кто нибудь его использовал?
👁
Не в курсе что это
AZ
Не в курсе что это
PLT Redex is a domain-specific language designed for specifying and debugging operational semantics.
NK
это язык для описания чего-то и как-то, книжка есть.. но уже третий раз к ней приступаю и третий раз не понимаю о чем она
AZ
ID:284826346
это язык для описания чего-то и как-то, книжка есть.. но уже третий раз к ней приступаю и третий раз не понимаю о чем она
Зачем тогда читаешь?
NK
потому что не понятно
NK
а непонятное надо понимать
AZ
ID:284826346
а непонятное надо понимать
Так можно случайно все книги в мире прочитать
NK
и все же по вопросу - никто не пользовался?
AZ
ID:284826346
и все же по вопросу - никто не пользовался?
Видимо нет
👁
ID:284826346
и все же по вопросу - никто не пользовался?
Нет, но я пробежался по тюториалу. В целом понятно
👁
Зачем тебе это нужно?
NK
вот, это и есть вопрос - где такое можно исопользовать? аналогом чего является и зачем сделано?
👁
Описывать грамматики языка, типы языка, правила редукции, проверять непротиворечивость всего этого разными способами, включая рандомизированные тесты, исследовать выражения языка, генерить математическую репрезентацию для копипасты в научные работы
NK
т.е. фактически для разработки компиляторов?