
5 Feb
2020
5 Feb
'20
2:35 p.m.
Hi Alexander,
And how can you create a lazy list like this [1..] without there being any implicit order in it?
to be able to know that the list [1..] is sorted, you would have to encode this information into the list type and very user of the list - like the list comprehension - would have to check this information. At the end sorting just isn't a property of the list type. Greetings, Daniel