• ? Haskell Вопрос к читавшим Functional Data Structures Окасаки. Вы читали вникая в доказательства или нет? То есть, я сейчас прочитал до места, где сложность очередей доказали через Banker's и Physicist Method'ы, и осознал, что либо мне нужно перечитывать всё с самого начала (а перед этим желательно почитать много разных примеров попроще по доказательству при помощи амортизации), либо забить и читать доказательства поверхностно, а внимательно читать только код.

Replies (6)

  • @kb, ручку и листок в зубы и вперёд, это ещё просто (сам застрял на через пару глав)
  • @qnikst, Да я понимаю, что просто, вопрос надо ли оно. В целом больше склонялся к "надо". Значит буду перечитывать.

    Короче, значит перечитаю :)
  • @kb, я бы в 2 захода делал в первый на понятийном уровне, задумываясь если все совсем плохо, и второй подробно. Т.к. идеи и без доказательств полезны
  • @kb, игнорирую доказательства
  • @kb, Могу посоветовать ещё глянуть у Апфельмуса apfelmus.nfshost.com и apfelmus.nfshost.com хотя сам не уверен, что сильно много доказательств там распарсил до конца
  • @qrilka, Спасибо. Второе читал когда-то и даже тогда казалось что понял, уже не помню ничерта :)