Всякое непонятное

[stdray]

Во-первых, зачем они делают асфальтированные подходы к дорогам в местах где нет перехода? Вот тротуар идет параллельно дороге на некотором расстоянии (до нескольких метров может доходить), между ними газон (иногда даже заборчик есть) и... внезапно пошел поворот прямо к дороге. А оно зачем, если там все равно перейти нельзя? Провокация, я щитаю.

Во-вторых, я был в гостях у таких-то малознакомых мне людей. У них есть аквариум здоровый такой, даже поболее моего, наверное. И вот стала эта женщина рыб кормить. Я смотрю, что всем этим рыбам одна мельчайшая пушинка, способная на ластике карандаша уместится, упала и спрашиваю: "Вы их по нескольку раз в день кормите чтоли?". Но нет, дважды в день, как обычно. А дело вот в чем: лето, жара и аквариум зацвел. Вода такая мутная стала, и зеленая ерунда на стенках образовалась. И решили хозяева, что, видимо, они перекармливали, потому теперь не дают рыбам есть, как я понял, уже четвертую неделю. Я попытался рассказать, что рыбы такое дело: вы либо фильтр нормальный купите, либо аквариум мойте. Без особого эффекта. Это они от лени дурачками прикидываются, или реальне думают, что рыбья голодовка очистит воду?

В-третьих, разные умные книги как читать? Читаю я по-немногу этот TAPL, там суть описываемых вещей ясна. Никаких проблем. А как начну делать упражнения, так либо времени очень много потрачу, либо вообще сделать не смогу. Ну и о чем это говорит? Дальше-то читать, или сидеть и делать? Если второе, то "книжки читать" - для меня весьма дорогое занятие. И как у других дела обстоят тоже интересно.

Comments

[katresv.livejournal.com]

У меня как на бирже - есть линия сопротивления и линия поддержки:). Если какая-то тема сразу не получается - я уперлась в линию сопротивления:) Как и биржевой тренд, я пытаюсь ее несколько раз пробить и вот когда пробиваю, то тема уже идет легко - легко пишу, решаю задачи и т.п. Научила себя не расстраиваться, когда поначалу не получается или получается долго - это я пробиваю линию сопротивления(а я ее как правило пробиваю). Меньше расстраиваешься - быстрее пробиваешь линию:)
Читать-делать я решаю так. Если тема новая - читаю. Только чувствую, что скучно мне стало - начинаю делать. Когда делаю, возникают уже практические и очень осознанные вопросы - и читаю тогда уже с большим интересом. Если тема надаела - могу отойти от нее недели на две, потом возвращаюсь - результативно:)

[stdray.livejournal.com]

Да, иметь какой-то системный подход к этим вещам полезно, надо бы и мне какой-то выработать. А то есть у меня эти самые 2/3 книги до куда нормально, а дальше обычно дело очень тяжко идет.

[sassa-nf.livejournal.com]

Ну, если упражнения даются не сходу, значит, проблемы как раз есть. Видеть, как клоуны на моноциклах катаются, - это не то же самое, что уметь ездить. И разницу можно убрать только тренировкой.

Нужно ли делать упражнения - это смотря что за цель. То, что книга идёт "с трудом" - не беда. Если посмотреть на универский курс, может обнаружиться, что на главу одной книги могут быть уделены недели - включая практические занятия с живым лектором.

[stdray.livejournal.com]

Вообще, с самого начала выяснилось, что у меня с математическим бэкграундом большие проблемы. Пришлось почитать вещи попроще. Ну из вашего поста выходит, что надо таки делать упражнения и, видимо, все.

[sassa-nf.livejournal.com]

я не все делаю :)

но и на "отлично" не расчитываю

[stdray.livejournal.com]

Ну, я вообще кроме понимания ни на что не расчитываю. Кому ж я буду тапл сдавать)

[sassa-nf.livejournal.com]

ну вот для себя же и осознаю, что на "отлично" не владею :)

[gds.livejournal.com]

насчёт TAPL -- упражнения там на любителя. Или на студента, изучающего курс.
Если нужно где-то прикрутить типизацию -- можно обратиться к книге, прочитать нужное, опционально порешать нужное, затем и делать.
Если "для общего развития" -- можно и забить на упражнения, просто читать и вникать. Дилетантский и поверхностный взгляд, но мне нравится, тем более, в наши времена не модно заучивать то, что пригождается реже, чем несколько раз в день: всегда можно почитать манул.
Если же хочется именно "понять глубиной души", это другой вопрос (подозреваю, что в посте именно он), и там уже нужно достигать требуемого уровня понимания. Как -- никто не советчик. Я бы отталкивался от реальных нужд, заставляющих смотреть на TAPL. Может и упражнения.
Кстати, мне сейчас близко кое-что, находящееся рядом с TAPL -- а именно, доказательства (в моём случае -- с помощью coq). И многое в TAPL основывается на утверждениях и доказательствах, вспомним хотя бы "невыносимо непонятный контекст типизации Г". Поковырять их в coq -- забавное занятие, если область близка.

[stdray.livejournal.com]

Я не могу сказать, что мне срочно нужен TAPL. Просто мне интересно программирование, не только как способ созданий готовых продуктов, но и как исследовательская дисциплина. С прочтением TAPL'а стало понятней устройство языков изнутри. И теперь, когда натыкаюсь на обсуждения вроде "а давайте добавим в язык фичу Х, чтобы можно было делать Y", рассуждаю об Х не только в контексте Y, но и всего языка. Но рассуждения в уме несколько ненадежны, а вот TAPL'овские упражнения какие раз и показывают способ проверять формально. То есть введем в язык новую конструкую и проверим, все ли термы можно типизировать. Мне это просто интересно, не думаю, что это нужда.

Мне тоже нравится читать для общего развития. Только если я не знаю, как связать новые знания с уже имеющимся, я считаю их немного ненадежными и не уверен в них. Например, когда-то писал код, знал, что есть синтаксис, есть код, который можно проверить на синтаксическую корректность, но не знал, как это делается, то же самое с типами, потому узнал, что есть AST в который код преобразовывается, которые потом во что-то компилируется. Но это была магия. А если пробовать все делать самому, становится понятно, как это работает. И становится ненужным вычитывать какие-то нюансы или проверять на примерах, потому как с большой долей уверенности можно предугадать поведение язык в этих случаях.

Я, наверное, сам ответил на свой вопрос. Только у меня часто случается, что я не могу понять суть концепции, не увидев, как она применятеся. С теми же монадами, без описанного в тайпклассопедии интуитивного понимания, было бы очень сложно разобраться. Вот и думаю, читать ли дальше, а потом увидев, как оно работает на практике, попробовать порешать снова или наоборот, если не понять сейчас, то дальше только мрак.

[gds.livejournal.com]

всё понял. Подход уважаю.
Учитывая сказанное, я бы в похожих обстоятельствах сделал так: прочитал бы всё до конца, вдумываясь, но без особой глубины. А дальше -- помнил бы, что есть такая хорошая книжка, в которой можно и поконкретнее узнать, и как-то жил бы с этим дальше. Учитывая, что тема интересна, ковырял бы какие-нибудь практические примеры, где она применяется/полезна, из своей практики, из чужой, смотрел бы какие-то связанные с темой разработки умных людей. Ведь базовое понимание уже есть (или будет после простого прочтения книги), а это самое главное.

Кстати, забавно, что таких концептуальных тем не так уж и много. Существование AST, типизация, манатки (и около них), остальное сильно более мелко, если рассматривать темы в пределах функциональщины.

[arlenok.livejournal.com]

С рыбами ужас. Надеюсь, что те люди все-таки передумают.

[stdray.livejournal.com]

Ужас, но скорей всего не передумают. Она несла какую-то чушь, что аквариум - самовосстанавливающаяся система, там улитки и рыбы все почистят. Так и не поняла, что даже если рыб перестать кормить вовсе, вода чище на станет.