Сравнение значений внутри цикла внутри функции

Question

Я хочу сделать функцию, которая принимает целочисленный список в качестве аргумента и сравнивает каждое значение и возвращает наибольшее значение. В C# я бы просто перебирал каждое значение в списке, сохранял наибольшую переменную и возвращал ее, я надеюсь, что F # работает аналогично, но синтаксис для меня немного похож, вот как выглядит мой код. Также max2 - это функция, которая сравнивает 2 значения и возвращает наибольшую.

let max_list list = 
    let a = 0 : int 
    match list with 
    | head :: tail -> (for i in list do a = max2 i a) a 
    | [] -> failwith "sry";; 

Answer 1

Вы можете использовать mutable переменную и написать код, используя for цикл, так же, как в C#. Однако, если вы делаете это, чтобы узнать F # и функциональные концепции, тогда рекомендуется использовать рекурсию.

В этом случае рекурсивная функция немного длиннее, но она демонстрирует ключевые понятия, включая сопоставление шаблонов, поэтому изучение трюков - это то, что будет полезно при написании более сложного кода F #.

Основная идея состоит в том, чтобы написать функцию, которая принимает наибольшее значение, найденное до сих пор, и вызывает себя рекурсивно, пока не достигнет конца списка.

let max_list list = 
    // Inner recursive function that takes the largest value found so far 
    // and a list to be processed (if it is empty, it returns 'maxSoFar') 
    let rec loop maxSoFar list = 
    match list with 
    // If the head value is greater than what we found so far, use it as new greater 
    | head::tail when head > maxSoFar -> loop head tail 
    // If the head is smaller, use the previous maxSoFar value 
    | _::tail -> loop maxSoFar tail 
    // At the end, just return the largest value found so far 
    | [] -> maxSoFar 
    // Start with head as the greatest and tail as the rest to be processed 
    // (fails for empty list - but you could match here to give better error) 
    loop (List.head list) (List.tail list) 

В заключение это будет медленным, потому что оно использует общее сравнение (через интерфейс). Вы можете сделать функцию быстрее, используя let inline max_list list = (...). Таким образом, код будет использовать собственную инструкцию сравнения при использовании с примитивными типами, такими как int (это действительно особый случай - проблема действительно происходит только при общем сравнении)

Answer 2

Также известно, что вы можете написать приятный однострочный уменьшить:

let max_list list = List.reduce (fun max x -> if x > max then x else max) 

Answer 3

Если ваше намерение, чтобы иметь возможность найти максимальное значение элементов в списке, где стоимость предметов найдена с помощью функции max2, этот подход работает:

let findMax list = 
    list 
    |> List.map (fun i -> i, max2 i) 
    |> List.maxBy snd 
    |> fst