For one, there's ad-hoc overloading, including typeclasses, but those kinds of solutions have their own drawbacks.

On Wed, Jul 31, 2019 at 4:41 PM Raoul Duke <raould@gmail.com> wrote:
> (Moreover, one of the advantages of laziness is precisely that one can
write a function like take that works on both streams and lists).

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?
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.


--
brandon s allbery kf8nh
allbery.b@gmail.com