ขออภัยเกี่ยวกับชื่อเรื่องที่คลุมเครือ แต่ส่วนหนึ่งของคำถามนี้เรียกว่ารูปแบบไวยากรณ์ทั้งสองนี้:
let foo1 x =
match x with
| 1 -> "one"
| _ -> "not one"
let foo2 = function
| 1 -> "one"
| _ -> "not one"
อีกส่วนหนึ่งคือความแตกต่างระหว่างทั้งสองและเมื่อใดที่ฉันต้องการใช้อย่างใดอย่างหนึ่ง
คำตอบ:
Pro สำหรับไวยากรณ์ที่สองคือเมื่อใช้ในแลมบ์ดามันอาจจะสั้นกว่าและอ่านได้
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 ??"
ดังที่คุณเห็นเวอร์ชันการจับคู่ใช้อาร์กิวเมนต์แยกกันสองอาร์กิวเมนต์ในขณะที่เวอร์ชันของฟังก์ชันใช้อาร์กิวเมนต์ tupled เดียว ฉันใช้เวอร์ชันของฟังก์ชันสำหรับฟังก์ชันอาร์กิวเมนต์เดียวส่วนใหญ่เนื่องจากฉันพบว่าไวยากรณ์ของฟังก์ชันดูสะอาดกว่า
* หากคุณต้องการจริงๆคุณสามารถรับเวอร์ชันฟังก์ชันเพื่อให้มีลายเซ็นประเภทที่ถูกต้อง แต่ในความคิดของฉันดูน่าเกลียดมาก - ดูตัวอย่างด้านล่าง
//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"
funคือมีการกำหนดทางเทคนิคในแง่ของfunction | _ -> ...?
fun x y -> ...จะfun x -> fun y -> ...แล้วจะเป็นfun x -> ... function | x -> ...มันเป็นเหตุผลที่คุณสามารถทำได้ในการจับคู่แบบfun- fun (x::xs) -> ...เช่น
เพื่อความสมบูรณ์ฉันไปที่หน้า 321 ของExpert 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 ซึ่ง "Explicit ดีกว่าโดยปริยาย"
แน่นอนว่าหากต้องการข้อมูลประเภทเกี่ยวกับพารามิเตอร์ functionไม่สามารถใช้เวอร์ชันนี้ได้
OTOH ฉันชอบอาร์กิวเมนต์ที่สร้างขึ้นStringerดังนั้นฉันจะเริ่มใช้functionใน lambdas แบบธรรมดา