elan-language / LanguageAndIDE

Apache License 2.0
3 stars 0 forks source link

Can we make String into an Iter? #711

Closed richardpawson closed 1 month ago

richardpawson commented 2 months ago

At the moment, n Iterwe can do a lot of things with aStringthat we can do to anIter` for example:

but we can't apply e.g. filter.

We can call asIter() on String and calling e.g. filter on the result compiles, but does not run.

First prize: make String work as an Iter and make it work with the Hofs. If we get this we should then get rid of the distinction between the 'contains' methods for String and Iter.

Runners up:

richardpawson commented 1 month ago

Superseded by #720