Ошибка при объединении двух последовательностей временных меток для вывода строк

Question

Код сортирует две входные последовательности - seq01 и seq02 - на основе их значений timestamp и возвращает последовательность, которая обозначает, какая последовательность должна считываться для значений, которые должны быть указаны ,

Для случаев, когда значение метки времени seq02 меньше значения метки времени seq01, мы возвращаем «2» к возвращаемой последовательности, иначе «1». Они означают, следует ли в этот момент выполнить seq01 или взять seq02 для того, чтобы данные были в порядке (по значению отметки времени).

let mergeSeq (seq01:seq<_>) (seq02:seq<_>) = 
    seq { 
      use iter01 = seq01.GetEnumerator() 
      use iter02 = seq02.GetEnumerator() 
      while iter01.MoveNext() do 
       let _,_,time01 = iter01.Current 
       let _,_,time02 = iter02.Current 
       while time02 < time01 && iter02.MoveNext() do 
        yield "2" 
       yield "1" 
    } 

Чтобы проверить это в FSI создали две последовательности А и В, а = {1, 3, 5, ...} и B = {0, 2, 4; ...}. Таким образом, ожидаемые значения для let c = mergeSeq a b были бы {"2", "1", "2", "1" ...}. Однако я получаю эту ошибку: error FS0001: The type ''a * 'b * 'c' does not match the type 'int'

EDIT

После коррекции:

let mergeSeq (seq01:seq<_>) (seq02:seq<_>) = 
    seq { 
      use iter01 = seq01.GetEnumerator() 
      use iter02 = seq02.GetEnumerator() 
      while iter01.MoveNext() do 
       let time01 = iter01.Current 
       let time02 = iter02.Current 
       while time02 < time01 && iter02.MoveNext() do 
        yield "2" 
       yield "1" 
    } 

После запуска этого, есть еще одна ошибка: call MoveNext. Так или иначе итерация не выполняется.

EDIT 2

let mergeRef (seq01:seq<_>) (seq02:seq<_>) = 
    seq{ 
      use iter01 = seq01.GetEnumerator() 
      use iter02 = seq02.GetEnumerator() 
      iter01.MoveNext() 
      iter02.MoveNext() 

      let temp01 = ref iter01.Current //!!using mutable reference 
      let temp02 = ref iter02.Current 

      while iter01.MoveNext() do 
       while (iter02.MoveNext()) && ((!temp02) < (!temp01)) do 
        temp02 := iter02.Current 
        yield "2" 
       yield "1" 
       temp01 := iter01.Current 

      //if seq01 finishes before seq02 
      while iter02.MoveNext() do 
       yield "2" 

     } 

Answer 1

После редактирования ...

Вы должны вызвать MoveNext на 2 перед обращением тока. Вы не обновляете time02 при перемещении по 2 во внутреннем цикле. И вы не проверяете окончание последовательностей (например, если 2 заканчивается, но 1 идет, вы попытаетесь получить доступ к 2 после завершения).

(Является ли это домашнее задание?)

Answer 2

Вы должны изменить

let _,_,time01 = iter01.Current 
let _,_,time02 = iter02.Current 

в

let time01 = iter01.Current 
let time02 = iter02.Current 

так, что код типа проверяются с seq<int>.

Я не понимаю ваше намерение. Если вы хотите сравнить каждую соответствующую пару элементов в двух последовательностях, есть более функциональные решения:

let mergeSeq seq01 seq02 = 
    Seq.map2 (fun s1 s2 -> if s2 < s1 then "2" else "1") seq01 seq02 

Если вы хотите, чтобы объединить две отсортированные последовательности, используя GetEnumerator это хорошо, но возвращение "2" и "1" не имеет смысла мне.

Answer 3

Вы написали код, как если бы

a={1,1,1;2,2,2;3,3,3...} 

просто использовать

  let time01 = iter01.Current 
      let time02 = iter02.Current