Tên ADT. `Trái a` là gì, và sau đó cái gì là` a`, trong Haskell?

Question

Nếu tôi có một Haskell ADT như:

data Foo 
= A Int Double 
| B Bool [Integer] 
| C (Maybe String) Float 

các A, B, và C được gọi là nhà xây dựng dữ liệu; và đôi khi là nhà thầu giá trị. Nhưng tên chính xác cho:

1. "hàng/thay thế": ví dụ: B Bool [Integer]; và
2. "trường/phần tử" của "hàng/thay thế": ví dụ: số Double trong A hoặc số [Integer] trong B?

Answer 1

data Foo = A Int Double 
    ^^ Type Constructor "data Foo" 
     ^value Constructor "A" 
      ^^ Component "Int" and "Double" 

A | B thường được gọi là lựa chọn thay thế hoặc các trường hợp. Xin lỗi vì sơ đồ crappy.

Source: Real World Haskell ch3

Answer 2

Reading Phần 4.2 từ Báo cáo Haskell98 (http://www.haskell.org/onlinereport/decls.html):

1. này không được nêu ra một cách rõ ràng, nhưng B Bool [Integer] có lẽ là một cách chính xác nhất gọi là "khai báo constructor" (đối với các nhà xây dựng gọi là B)
2. Những thứ như Double trong A được gọi là khai báo trường (mặc dù chỉ đơn giản gọi đó là trường cũng phải OK).