Бросил Окасаки (на самом деле само как-то замедлилось), перешёл к Пирсу. Пока очень интересно и захватывающе (интересно, как долго продержусь).
к какой книжке пирса? Если TaPL, то ок. Если Software Foundations, то конкретно тебе вместо неё порекомендую Certified Programming with Dependent Types.
#VO0IOX/9XN
/ @gds
/ 3806 дней назад
@gds Ага, тапл тапл. За рекомендацию спасибо, запишу.
#VO0IOX/69A
/ @kb
-->
#VO0IOX/9XN
/ 3806 дней назад
читаю тольк освященные писания
#VO0IOX/N3A
/ @238328
/ 3806 дней назад
Цоперайт © 2010-2016 @stiletto.