type-signature

5Nhiệt

2Trả lời

Tại sao không hiển thị được coi là một chuyển đổi trong haskell?

Tôi vẫn còn rất nhiều cố gắng để có được vào haskell, nhưng tôi đã nhận thấy một cái gì đó mà làm phiền tôi khá một chút. Trong sách "Learn You a Haskell for Great Good!" có phần này cho thấy việc sử

5Nhiệt

3Trả lời

Các loại chữ ký của một combinator không phù hợp với loại chữ ký của chức năng Lambda tương đương

Cân nhắc combinator này: S (S K) Áp dụng nó để các đối số XY: S (S K) X Y Nó thu gọn lại để: X Y Tôi đã chuyển đổi S (SK) thành các thuật ngữ Lambda tương ứng và nhận kết quả này: (\x y -> x y)

25Nhiệt

1Trả lời

Haskell loại chữ ký với nhiều khó khăn lớp

Làm thế nào tôi có thể có nhiều hạn chế lớp, vì vậy nếu A là một Eq và B là một Num, tôi có thể nói một trong hai f :: Eq a => a -> b` hoặc f :: Num b => a -> b Vì vậy, , làm cách nào tôi có thể c

13Nhiệt

4Trả lời

Tại sao không thể đặt chữ ký loại trong các khai báo dụ trong Haskell?

Tôi thích đặt chữ ký kiểu cho tất cả các định nghĩa cấp cao nhất trong mã của mình. Tuy nhiên, việc gõ chữ ký trong các khai báo dụ dường như không được phép, và nếu tôi đặt một chữ ký thì tôi nhận đư

6Nhiệt

1Trả lời

Sử dụng "Có thể" của Haskell, nhập khai báo [câu hỏi của người mới bắt đầu]

Tôi đã bắt đầu thử nghiệm với Haskell và gặp sự cố. qqq là một hàm sẽ in một chuỗi nếu được gọi là "Không có gì" và in những thứ khác nếu được gọi với "Chỉ một cái gì đó". Các nỗ lực đầu tiên có vẻ nh

20Nhiệt

4Trả lời

Tại sao việc sử dụng chữ ký kiểu trong điều khoản ở đâu lại quá hiếm thấy?

Liệu nó có giúp trình biên dịch tối ưu hóa hay chỉ là công việc dư thừa để thêm chữ ký bổ sung? Ví dụ, người ta thường thấy: foo :: a -> b foo x = bar x where bar x = undefined Thay vì: foo :