Haskell: "Truyền"/loại lực?

Question

Làm thế nào để tôi nói Haskell để giải thích một cái gì đó như là một loại đặc biệt? Ví dụ, tôi có một danh sách và muốn chia chiều dài của nó bằng 2. Vì vậy, tôi viết

(length mylist)/2 

và nhận được lỗi này

Không dụ cho (Fractional Int) phát sinh từ việc sử dụng của `/'

Như tôi muốn có một bộ phận toàn bộ số, tôi muốn làm cho length mylist, 2 và kết quả Int.

Answer 1

Có hai vấn đề khác nhau ở đây.

• phận Integer: Sử dụng chức năng div: div (length mylist) 2 hoặc (length mylist) `div` 2

• Đúc. Người ta có thể nói với Haskell rằng một biểu thức cụ thể có một loại cụ thể bằng cách viết expression :: type thay vì chỉ expression. Tuy nhiên, điều này không thực hiện bất kỳ giá trị "truyền" hoặc "chuyển đổi" nào. Một số chức năng hữu ích để chuyển đổi giữa các loại số và chuỗi khác nhau là fromIntegral, show, read, realToFrac, fromRational, toRational, toInteger và các loại khác. Bạn có thể tra cứu chúng trên Hoogle.

Answer 2

Hãy thử div (length my list) 2. / phân chia phân đoạn; div thực hiện phân chia số nguyên.