Archived tweet #8228 from the @leastfixedpoint Twitter Archive

@cmeik Reminds me of umpteen results on pure lambda calculi that don't scale up to e.g. state, explicit control, exceptions, I/O, etc etc