Always-available static and dynamic feedback: Unifying static and dynamic typing Always-available static and dynamic feedback: Unifying static and dynamic typing Michael…