Sử dụng tham số kiểu tĩnh của F # và mã hóa hằng số

Question

Tôi đang viết thư viện¹ trong F # cung cấp một số thao tác bitwise và tôi muốn đảm bảo nhiều chức năng nhất có thể là inline cho phép liên kết với tham số kiểu tĩnh (điều này cho phép tôi viết một hàm và sử dụng nó cho int16, int32 và thậm chí có thể là bignum với chi phí thấp). Tuyến đường này chắc chắn sẽ không hoạt động tại một số điểm. Một số chức năng được cung cấp bởi thư viện nói là hơi phức tạp.

¹Lưu ý: Tôi biết về các vấn đề về việc hiển thị liên kết cho phép nội dòng qua giao diện công khai.

Tuy nhiên, tôi muốn kéo dài điều này đến mức xa nhất có thể. Ngay bây giờ, tôi đang cố gắng viết thuật toán population count trong biểu mẫu này và tôi đang gặp phải sự cố. Tôi không chắc cách mã hóa mặt nạ, ví dụ: 0x3333..., xuất hiện trong các thuật toán này. Tôi có thể nhận được xung quanh hằng số thay đổi và tương tự bằng cách sử dụng một số thủ thuật thêm chút.

Có mẹo nào tôi có thể sử dụng hay không, cho dù thông qua kiểu suy luận kiểu và tham số kiểu F # hay thông qua bit-twiddling, để viết thuật toán theo cách tôi muốn? Có cách nào tôi có thể mã hóa các loại hằng số trong các chức năng chung tĩnh?

Một câu hỏi mơ hồ hơn: có một số điều cụ thể mà tôi có thể dựa vào để sử dụng các tham số kiểu tĩnh cho đầy đủ nhất, đặc biệt là trong ngữ cảnh của số học không? Ví dụ: tôi sử dụng rất nhiều GenericOne và GenericZero. Có nhiều thứ như thế này, mà tôi có thể đã bỏ lỡ?

Answer 1

Trước tiên, bạn có thể sử dụng numeric literals để tránh việc sử dụng xấu xí của GenericOne và GenericZero. Dưới đây là một ví dụ ngắn gọn:

module NumericLiteralG = begin 
    let inline FromZero() = LanguagePrimitives.GenericZero 
    let inline FromOne() = LanguagePrimitives.GenericOne 
    let inline FromInt32 (n:int) = 
     let one : ^a = FromOne() 
     let zero : ^a = FromZero() 
     let n_incr = if n > 0 then 1 else -1 
     let g_incr = if n > 0 then one else (zero - one) 
     let rec loop i g = 
      if i = n then g 
      else loop (i + n_incr) (g + g_incr) 
     loop 0 zero 
end 

// Usage 
let inline ten() = 10G 
ten() + 1 
ten() + 2L 

Thứ hai, F # dường như không ủng hộ generic hexa literals số. Một mẹo là sử dụng các dấu gạch chéo kép để bạn có tên chỉ dẫn:

let inline shift x = 
    let ``0x33333333G`` = 858993459G 
    ((x >>> 2) &&& ``0x33333333G``) + (x &&& ``0x33333333G``) 

// Usage 
shift 20 
shift 20L 
shift 20uy 

Có một số câu hỏi hay về SO về chữ số. Tôi đưa ra một số tài liệu tham khảo trong trường hợp bạn đi là con đường:

• F# Static Member Type Constraints
• Complete, efficient NumericLiteral module implementation
• How to write a function for generic numbers?