Is it possible to build a comparatively fast untyped lambda calculus machine?

stackoverflow.com