`reduce` would be great extension for `NonEmptyIte...

# stdlib

[miha-x64]

reduce would be great extension for NonEmptyIterable https://youtrack.jetbrains.com/issue/KT-21217

[marstran]

Hmm, makes me think if you could combine contracts with some kind of phantom type feature. So you could do something like this:

inline class NonEmptyList<T>(val list: List<T>) {
    contract { list.isNotEmpty() implies list is NonEmptyList }
}

fun someFunction(list: List<T>) {
    if (list.isNotEmpty()) {
        // list is "smart cast" (or conforms) to NonEmptyList.
    }
}

[dr.dreigh]

arrow has this out the box: https://arrow-kt.io/docs/arrow/data/nonemptylist/

[marstran]

Not the contract and smart cast stuff 🙂

[dr.dreigh]

I see yeah... be interested to see how that offers compile time safety from creating a non empty list, if you passed in a empty list at runtime (e.g from a web service response)

[marstran]

The same compile time safety you would get by passing null to a non-null parameter at runtime. 😉

[dr.dreigh]

oh, ok

[dr.dreigh]

will stick to the arrow one, might be better to implement non empty lists at the type level