I was just interested to see if I can find my phone on pi quickly. Based on the pi Gif from here http://m.imgur.com/gallery/qA4Bu No real use for the code.

@yoavst You can try regex misread CharSequence instead of Sequence

@dariuszbacinski has left the channel

I was wondering why the List class doesn’t have an overloaded get operator that takes a Range, for getting a sublist.

E.g.

aList[0..10]

or

aList[1 upTo 10]

Would that be a good thing to add?

that returns a range as a list. Nat wants a sublist of the original list using the range as indices

oh!

enrolls in reading classes

i just saw the code snippet and fired off half cocked

what’s wrong with? https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.collections/-list/sub-list.html

I've made that as an extension method for myself tons of times, too. Would be nice for the stdlib in my opinion

sublist is fine but it's the kind of method that is pretty much perfect for the operator overload and range operator.

aList.sublist(0, 2)

vs

aList[0..2]

. The latter looks so much cleaner

Also subList is only defined for lists. Every time I use subList I have to look up what the second parameter means. Usually after while trying to get my tests working after using it wrongly. Every time! Using a range as an index means I only need to know what the range operator does. The same convention can be used to index into other types (strings, arrays, etc etc), and the understanding of one carries over to all the others.

sounds like a KEEP!

👍

sounds like @natpryce has enough motivation to write the KEEP, haha. If not, I'd be happy to do so 🙂

it's already implemented as a PR

Since we plan to add slicing eventually, I doubt adding such operator is a good idea.

Slicing? Is the planned feature documented somewhere?

@natpryce @kevinmost https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.collections/slice.html

unfortunately it is less vestal than Python's

list1[-1:1]

Nice. Will

slice

be defined for String and CharSequence too?

… and NavigableSet

should

String.slice(...)

return a

List

or a

String

?

Unless you mean list of codepoints it should be a string

And it should operate on codepoints since char is so so broken