Телеграмм чат группы Fsharp

let bubbleSortDesc selector (source: seq<_>) = seq {
        let source = source.ToList()
        
        while source.Count > 0 do
            let (index, item) = source |> Seq.indexed |> Seq.maxBy (snd >> selector)
            source.RemoveAt index
            yield item
    }

источник

00:36пожаловаться #7

Ortofax in F# Chat

хотяяяя нужное кол-во же неизвестно заранее

источник

00:38пожаловаться #8

Ilya L Che in F# Chat

У меня мозги не работают, или удаление из списка приведёт к копированию всего списка без того самого элемента?

источник

00:38пожаловаться #9

Ortofax in F# Chat

приведёт к сдвигу всего, что после элемента

источник

00:39пожаловаться #10

Ilya L Che in F# Chat

Если мозги всё же работают, то это какая-то дичь. fold и словарь сортированный - фсё.

источник

00:39пожаловаться #11

Ortofax in F# Chat

в общем да, PQ ограниченного размера не подходит тут. надо неограниченного. тогда за O(n) эта очередь будет построена, за O(m*log(n)) будет извлечено m элементов

источник

00:39пожаловаться #12

ДБ

Дмитрий Башинский... in F# Chat

ещё такой вопрос, а GroupBy можно так же "заленивить"?

источник

00:39пожаловаться #13

Ortofax in F# Chat

какого размера?

источник

00:40пожаловаться #14

Ortofax in F# Chat