Các loại tổng - Tại sao trong Haskell là `show (Int | Double)` khác với` (show Int) | (hiển thị gấp đôi) `

Tại sao những điều này không tương đương?

show $ if someCondition then someInt else some double

và

if someCondition then show someInt else show someDouble

Tôi hiểu rằng nếu bạn tách riêng if ... elsephần trong ví dụ đầu tiên thành một biểu thức thì bạn không thể biểu diễn kiểu của nó bằng loại tổng ẩn danh, loại Int | Double, giống như một thứ bạn có thể làm dễ dàng trong TypeScript (đề cập đến TypeScript vì đó là langauge tôi đã sử dụng thường xuyên và hỗ trợ các loại Sum) và sẽ phải sử dụng Eitherdữ liệu sau đó dựa trên dữ liệu đó show.

Ví dụ tôi đưa ra ở đây là tầm thường nhưng với tôi nó có ý nghĩa hơn khi nghĩ rằng "Được rồi, chúng tôi sẽ trình bày một cái gì đó, và cái gì đó phụ thuộc vào someCondition" chứ không phải là "Được rồi nếu một số điều kiện là đúng thì hiển thị một số cách khác" và cũng cho phép để sao chép mã ít hơn (ở đây chương trình được lặp lại hai lần nhưng nó cũng có thể là một ứng dụng chức năng dài và thay vì if ... elsecó thể có> 2 nhánh để xem xét)

Trong suy nghĩ của tôi, trình biên dịch sẽ dễ dàng kiểm tra xem mỗi loại tạo ra loại tổng (ở đây Int | Double) có thể được sử dụng làm tham số cho showhàm hay không và quyết định xem các loại có đúng hay không. Thậm chí tốt hơn là showhàm luôn trả về stringbất kể các loại tham số, vì vậy trình biên dịch không phải mang theo tất cả các "nhánh" có thể (vì vậy tất cả các loại có thể).

Có phải do sự lựa chọn mà một tính năng như vậy không tồn tại? Hay là thực hiện nó khó hơn tôi nghĩ?

Tất cả các phần của một biểu thức phải được gõ tốt. Kiểu if someCondition then someInt else someDoublesẽ phải giống như thế exists a. Show a => a, nhưng Haskell không hỗ trợ kiểu định lượng tồn tại đó.

Cập nhật: Như chi chỉ ra trong một nhận xét , điều này cũng có thể xảy ra nếu Haskell có hỗ trợ cho các loại kết hợp / giao cắt (không giống với các loại tổng / sản phẩm), nhưng thật không may.

Có các loại sản phẩm với cú pháp nhẹ, được viết (,), bằng Haskell. Một điều sẽ là một loại tổng hợp với một cú pháp nhẹ, đại loại như (Int | String), sẽ là một ý tưởng tuyệt vời. Thực tế phức tạp hơn. Hãy xem tại sao (tôi đang dùng một số quyền tự do Num, chúng không quan trọng).

if someCondition then 42 else "helloWorld"

Nếu điều này sẽ trả về một giá trị của loại như thế (Int | String), thì sau đây nên trả về cái gì?

if someCondition then 42 else 0

(Int | Int)rõ ràng, nhưng nếu điều này khác với đồng bằng Intthì chúng ta sẽ gặp rắc rối lớn. Vì vậy (Int | Int)nên đồng nhất với đồng bằng Int.

Người ta có thể thấy ngay rằng đây không chỉ là cú pháp nhẹ cho các loại tổng, mà là một tính năng ngôn ngữ hoàn toàn mới. Một loại hệ thống khác nếu bạn muốn. Chúng ta có nên có một cái không?

Chúng ta hãy xem chức năng này.

mysteryType x a b = if x then a else b

Bây giờ loại nào mysteryTypecó? Chắc chắn

mysteryType :: Bool -> a -> b -> (a|b)

đúng? Bây giờ nếu avà bcùng loại thì sao?

let x = mysteryType True 42 0

Điều này nên đơn giản Intnhư chúng ta đã đồng ý trước đây. Bây giờ mysteryTypeđôi khi trả về một loại tổng ẩn danh, và đôi khi không, tùy thuộc vào những đối số bạn vượt qua. Làm thế nào bạn sẽ mô hình phù hợp với một biểu thức như vậy? Bạn có thể làm gì với nó? Ngoại trừ những thứ tầm thường như "hiển thị" (hoặc bất kỳ phương thức nào của các loại lớp khác, nó sẽ là một ví dụ), không phải là toàn bộ. Trừ khi bạn thêm thông tin loại thời gian chạy vào ngôn ngữ, nghĩa typeoflà có sẵn - và điều đó làm cho Haskell trở thành một ngôn ngữ hoàn toàn khác.

Vì vậy, vâng. Tại sao Haskell không phải là một TypeScript? Bởi vì chúng tôi không cần TypeScript khác. Nếu bạn muốn TypeScript, bạn biết nơi để tìm nó.