с чего бы, если хотя бы один кончается

isEqual <- false ставится только когда оба элемента есть

ты ж там комперил два саб сиквенса

Если количество будет разниться, то они не будут равны

и дебагером

Поэтому я спросил про перф того варианта :D

Загоните вначале в SharpLab

let inline private getNext<'b>(someEnum: IEnumerator<IComparable>): 'b voption = let mutable result = ValueNone let mutable found = false while found || someEnum.MoveNext() do match box someEnum.Current with | :? 'b as x -> found <- true result <- ValueSome x | _ -> () result let compare (a: IComparable seq) (b: IComparable seq): bool = use aEnum = a.GetEnumerator() use bEnum = b.GetEnumerator() let mutable aNext = ValueNone let mutable bNext = ValueNone let mutable isEqual = true let mutable notFinished = true while isEqual && notFinished do aNext <- getNext<int> aEnum bNext <- getNext<int> bEnum match aNext, bNext with | ValueSome _, ValueNone | ValueNone, ValueSome _ -> notFinished <- false | ValueSome ai, ValueSome bi when ai <> bi -> isEqual <- false | ValueNone, ValueNone -> notFinished <- false | ValueSome _, ValueSome _ -> () isEqual

Я плохо понимаю, но разве не требуется чтобы списки были отсортированы?

изначально я ничего такого не видел

https://sharplab.io/#v2:DYLgZgzgPgsAUAewA4FMB2ACAygTwgFxQFt5S5gV8MBLNYWlDCFARwwAprCiIQMBJAMIIiSAIYAnMQCMKAbQC6ASgwBeeBiasMAbw2aMYBBJrcamLsQgYAJgn0GMRMfgDGAC1PEMAdy7uHAygMEAB+cyoAWgA+DBxqFGAbLxI4R01ggH0MGI4lfQBfMgoqJAkUADc1DDlggEYQ2KERcSlZRigFeBKMVwBXCRNVGvrGgWFRSRkKDE7iygwhwPYsVgA6VxbJFAB1f0DNAHlUKXxjCA2t8oOOZjYyyvy09PY73oGJJRVhgAZ4IA

То есть код учитывает порядок в 2х массивах?

Ух, шарплаб похоже вообще не умеет в JIT декомпиляцию для F#

нуууу... изначальный порядок

Ух, шарплаб похоже вообще не умеет в JIT декомпиляцию для F#

Правда замерено стопвотчем в релизе

То есть 1 2 не равно 2 1?

и там надо просто модуль добавить

Это какой модуль нужен?

Если так - можно было не приседать и просто вызвать structural equals на массивах

хм, чот никак завести не могу сам

а что такое Equals?

тут основаная проблема это каст

module Comparer = let inline getNext<'b when 'b :> IComparable> (someEnum: IEnumerator<IComparable>): 'b voption = let mutable result = ValueNone let mutable notFound = true while notFound && someEnum.MoveNext() do match someEnum.Current with | :? 'b as x -> notFound <- false result <- ValueSome x | _ -> () result let compare (a: IComparable seq) (b: IComparable seq): bool = use aEnum = a.GetEnumerator() use bEnum = b.GetEnumerator() let mutable aNext = ValueNone let mutable bNext = ValueNone let mutable isEqual = true let mutable notFinished = true while isEqual && notFinished do aNext <- getNext<int> aEnum bNext <- getNext<int> bEnum match aNext, bNext with | ValueSome _, ValueNone | ValueNone, ValueSome _ -> isEqual <- false | ValueSome ai, ValueSome bi when ai <> bi -> isEqual <- false | ValueNone, ValueNone -> notFinished <- false | ValueSome _, ValueSome _ -> () isEqual