<div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">> (Moreover, one of the advantages of laziness is precisely that one can<br>
write a function like take that works on both streams and lists).<br><br></blockquote></div></div><div dir="auto">surely that’s not the only way to get such polymorphism in our programming systems? the “precisely” word there makes it sound to me like people think it is better than any alternative specifically for this use case?</div>