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