thành viên truy cập của một kiểu dữ liệu tùy chỉnh trong Haskell

Question

Nói rằng tôi có những điều sau kiểu dữ liệu tùy chỉnh và chức năng trong Haskell:

data Person = Person { first_name :: String, 
         last_name :: String, 
         age :: Int 
        } deriving (Eq, Ord, Show) 

Nếu tôi muốn tạo một hàm print_age in tuổi của một người, như vậy: print_age (Person "John" "Smith" 21) , làm cách nào để viết print_age để truy cập thông số độ tuổi? Tôi là một người hướng đối tượng, vì vậy tôi ra khỏi yếu tố của tôi ở đây. Tôi về cơ bản tìm kiếm tương đương với Person.age.

Answer 1

Ứng dụng chức năng là tiền tố, do đó, age person sẽ tương ứng với số person.age() phổ biến trong ngôn ngữ OOP. Chức năng print_age có thể được định nghĩa pointfree bởi hàm hợp

print_age = print . age 

hoặc điểm đầy đủ

print_age person = print (age person) 

Answer 2

này được gọi là cú pháp kỷ lục, LYAH has a good section on it (ctrl-f "Bản ghi cú pháp").

Khi kiểu dữ liệu được xác định bằng bản ghi, Haskell tự động xác định hàm có cùng tên với bản ghi để hoạt động như người truy cập, vì vậy trong trường hợp này age là người truy cập cho trường tuổi (có loại Person -> Int) và tương tự cho first_name và last_name.

Đây là những hàm bình thường của Haskell và được gọi là age person hoặc first_name person.

Answer 3

Ngoài chức năng age được đề cập trong các câu trả lời khác, đôi khi thuận tiện khi sử dụng đối sánh mẫu.

print_age Person { age = a } = {- the a variable contains the person's age -} 

Có một phần mở rộng khá vô hại, cho phép bạn bỏ qua các bit đặt tên:

{-# LANGUAGE NamedFieldPuns #-} 
print_age Person { age } = {- the age variable contains the person's age -} 

... và khác, xem với độ ngờ vực khác nhau của các thành viên cộng đồng khác nhau, cho phép bạn thậm chí bỏ qua việc nói trường nào bạn muốn đưa vào phạm vi:

{-# LANGUAGE RecordWildCards #-} 
print_age Person { .. } = {- first_name, last_name, and age are all defined -}