Явний збіг F # проти синтаксису функції

Вибачте за туманний заголовок, але частиною цього питання є те, як називаються ці два стилі синтаксису:

let foo1 x = 
    match x with
    | 1 -> "one"
    | _ -> "not one"

let foo2 = function 
    | 1 -> "one" 
    | _ -> "not one"

Інша частина - яка різниця між ними, і коли я хотів би скористатися тим чи іншим?

Версія відповідності називається "виразом, що відповідає шаблону". Версія функції називається "функцією збігу зразків". Знайдено в розділі 6.6.4 специфікації .

Використання одного над іншим - це питання стилю. Я вважаю за краще використовувати версію функції лише тоді, коли мені потрібно визначити функцію, яка є лише оператором збігу.

Плюсом другого синтаксису є те, що при використанні в лямбда-сигналі він може бути дещо лаконічнішим і читабельнішим.

List.map (fun x -> match x with | 1 -> "one" | _ -> "not one") [0;1;2;3;1]

проти

List.map (function 1 -> "one" | _ -> "not one") [0;1;2;3;1]

Версія функції - це коротка рука для синтаксису повного збігу в особливому випадку, коли оператор збігу - це ціла функція, а функція має лише один аргумент (кортежі вважаються одним). Якщо ви хочете мати два аргументи, то вам потрібно використовувати синтаксис повного збігу *. Ви можете побачити це у типах наступних двох функцій.

//val match_test : string -> string -> string
let match_test x y = match x, y with
                        | "A", _ -> "Hello A"
                        | _, "B" -> "Hello B"
                        | _ -> "Hello ??"

//val function_test : string * string -> string                   
let function_test = function
                        | "A", _ -> "Hello A"
                        | _, "B" -> "Hello B"
                        | _ -> "Hello ??"

Як бачите, версія збігу приймає два окремі аргументи, тоді як функціональна версія приймає один зведений аргумент. Я використовую версію функції для більшості функцій з одним аргументом, оскільки я вважаю, що синтаксис функції виглядає чистішим.

* Якщо ви дійсно хотіли, ви можете отримати версію функції, щоб мати правильний підпис типу, але це виглядає досить потворно, на мій погляд - див. Приклад нижче.

//val function_match_equivalent : string -> string -> string
let function_match_equivalent x y = (x, y) |> function
                                                | "A", _ -> "Hello A"
                                                | _, "B" -> "Hello B"
                                                | _ -> "Hello ??"

У вашому випадку вони роблять те саме - functionключове слово діє як комбінація funключового слова (для створення анонімної лямбди), за яким слідує matchключове слово.

Отже технічно ці два однакові, з додаванням fun:

let foo1 = fun x ->
    match x with
    | 1 -> "one"
    | _ -> "not one"

let foo2 = function
    | 1 -> "one"
    | _ -> "not one"

Тільки для повноти, я щойно потрапив на сторінку 321 експерта FSharp :

"Зверніть увагу, що в лістингу 12-2 використовується форма виразу function pattern-rules -> expression. Це еквівалентно (fun x -> match x with pattern-rules -> expression)та особливо зручно як спосіб визначення функцій, що працюють безпосередньо над дискримінованими спілками."

Функція допускає лише один аргумент, але дозволяє узгоджувати зразки, тоді як веселощі є більш загальним та гнучким способом визначення функції. Погляньте тут: http://caml.inria.fr/pub/docs/manual-ocaml/expr.html

Два синтаксиси еквівалентні. Більшість програмістів вибирають те чи інше, а потім використовують його послідовно.

Перший синтаксис залишається більш читабельним, коли функція приймає кілька аргументів перед початком роботи.

Це старе питання, але я кину свої $ 0,02.

Загалом, мені більше подобається matchверсія, оскільки я походжу зі світу Python, де "явне краще, ніж неявне".

Звичайно, якщо потрібна інформація про тип параметра, functionверсія не може бути використана.

OTOH Мені подобається аргумент, викладений, Stringerтому я почну використовувати functionв простих лямбдах.