Без заголовка
Когда-то давным-давно я считал, что с любым языком программирования (любой парадигмы) я за пару дней должен разобраться так, чтобы на нем как-то писать программы, а за две недели должен уже разобраться так, чтобы эти программы были хоть как-то похожи на профессиональные
Если нужна смена парадигмы, то за пару недель не управишься. Я вот не могу сказать, что функциональные языки освоил, хотя не первый год с ними знаком.
Верификация вообще с трудом дается. Тут одну главу из книжки хорошо бы за пару недель освоить :).