Loại suy luận được thực hiện trong C++

Question

Có thực hiện trong C++, trong số Damas-Hindley-Milner suy luận kiểu kiểu, tốt nhất là sử dụng các kỹ thuật C++ hiện đại?

Answer 1

Tôi nghi ngờ bạn sẽ không có nhiều may mắn; những kẻ chức năng viết những thứ này thường không làm điều đó trong C++! Hầu hết các trình biên dịch bạn có thể truy cập được sử dụng để biên dịch bản thân (ví dụ: đối với OCaml, hoặc GHC).

Vì vậy, nếu ai đó đã làm Hindley-Milner như một dự án đồ chơi, có thể không có trên mạng; nếu nó là một phần của trình biên dịch, thì nó không thể ở trong C++.

điều

thể mà tôi suy nghĩ:

• Hugs cho Haskell là trong C; sẽ có một số nguồn C trong đó một nơi nào đó làm những gì bạn muốn, và Haskell là một đường quen thuộc tốt đẹp. Không phải là C++ bạn muốn mặc dù.
• Tôi không biết gì về F #, nhưng tôi nghĩ đó là HM, và nếu ai đó đã viết một trình biên dịch chức năng chất béo trong C++ với các kỹ thuật hiện đại, nó có thể là MS. Rõ ràng là nguồn đóng.

Answer 2

Dưới đây là my implementation of Hindley-Milner type inference in C++11, dựa trên Python code by Robert Smallshire, các Scala code by Andrew Forrest, mã Perl bởi Nikita Borisov và paper "Basic Polymorphic Typechecking" by Cardelli.

Nó sử dụng nhiều boost::variant và boost::apply_visitor.

Answer 3

Chúng tôi có loại công cụ suy luận ở đây (https://github.com/ltcmelo/psychec). Cách tiếp cận của chúng tôi được thực hiện sau thuật toán HM (X) của Pottier và Remy, với các giai đoạn riêng biệt để tạo ra ràng buộc và suy luận kiểu đúng cách. Tạo ràng buộc được thực hiện trong C++, nhưng độ phân giải kiểu được thực hiện trong Haskell (xin lỗi!). Thuật toán đưa các kiểu cho các chương trình C, để xây dựng lại mã một phần có sẵn. Công cụ có sẵn trực tuyến: http://cuda.dcc.ufmg.br/psyche-c/. Bạn nhập một phần của chương trình C và nó tạo ra các khai báo kiểu đủ để biên dịch nó.

Kính trọng,

Fernando