Я пытаюсь лучше понять, как типы вступают в игру в лямбда-исчислении. По общему признанию, много вещей теории типа находится над моей головой. Лисп - это динамически типизированный язык, примерно ли это соответствует нетипизированному лямбда-исчислению? Или есть какое-то «динамически типизированное лямбда-исчисление», о котором я не знаю?