What is the mathematical significance of “all (==1) [1,1..]” not terminating?
问题 Intuitively, I would expect the "mathematical" answer to all (==1) [1,1..] to be True because all of the elements in a list that only contains 1s are equal to 1. However I understand that "computationally", the process of evaluating the infinite list in order to check that each element does in fact equal 1 will never terminate, therefore the expression instead "evaluates" to bottom or ⊥ . I find this result counter-intuitive and a little unnerving. I think the fact that the list is an