Можно рассматривать задачи из ОП, как первый шаг в этом направлении (с некоторой натяжкой).
Лично на мой взгляд подозрительно что-то. По-моему там теория совершенно разная и никакой пользы одно другому не принесёт. И когда я читаю что-то насчёт оптимизаций кода и вообще компиляции, это выглядит не в пример понятнее; можно обычно проследить, почему сделали то или иное, откуда взялось такое-то представление и т. п.. Или мне показалось. Впрочем в выводе типов (и type-driven translation, в этом-то вся польза конечно) бывают и страшные штуки, но в основном вроде всё равно понятно.