Sự khác biệt giữa từ khóa `fun` và` function` là gì?

Question

Đôi khi tôi nhìn thấy mã như

let (alt : recognizer -> recognizer -> recognizer) = 
    fun a b p -> union (a p) (b p) 

Hoặc như:

let hd = function 
    Cons(x,xf) -> x 
    | Nil -> raise Empty 

sự khác biệt giữa fun và function là gì?

Answer 1

Ngữ nghĩa của việc này là giống như trong F # (có lẽ vì F # được dựa trên OCaml):

• function cho phép việc sử dụng các mô hình phù hợp (ví dụ: |), nhưng kết quả là nó có thể chỉ được thông qua một đối số.

  function p_1 -> exp_1 | … | p_n -> exp_n 
  

  tương đương với

  fun exp -> match exp with p_1 -> exp_1 | … | p_n -> exp_n 
  

• fun không cho phép kết hợp mô hình, nhưng có thể được thông qua nhiều đối số, ví dụ

  fun x y -> x + y 
  

Khi một trong hai hình thức có thể được sử dụng, fun thường được ưa thích do chặt của nó.

Xem thêm OCaml documentation on Functions.

Answer 2

Russ Cam đúng trong câu trả lời của anh ấy.

Đây là một bài viết trên danh sách OCaml nói về nó

http://caml.inria.fr/pub/ml-archives/ocaml-beginners/2003/11/b8036b7a0c1d082111d7a83c8f6dbfbb.en.html

function chỉ cho phép một đối số nhưng cho phép cho phù hợp với mô hình, trong khi fun là cách tổng quát hơn và linh hoạt để xác định một hàm.

Tôi thường sử dụng niềm vui trừ khi có lý do chính đáng để sử dụng chức năng.

Bạn có thể thấy điều này trong đoạn code bạn được đăng nơi khai fun mất 3 lập luận và tuyên bố function làm mô hình kết hợp trên đó của đầu vào

Answer 3

Con đường tôi nghĩ về nó

function patterns 

là viết tắt cho

(fun x -> match x with patterns) 

nơi 'mẫu' là ví dụ

| Some(x) -> yadda | None -> blah 

(Và

fun args -> expr 

là cách bạn định nghĩa một lambda.)