Archived tweet #11626 from the @leastfixedpoint Twitter Archive

@awelonblue @chatur_shalabh That's an interesting approach! Shades of grey, of course, but can you say more about what kind of "predictability" you mean? Does it line up with the Chomsky hierarchy, for instance? Is an interpreter for total pure λ "predictable" in this sense? Datalog?