Chương trình theo prop-cc.sf.net

Prop là một ngôn ngữ phù hợp với mô hình dựa trên C ++. Nó thực hiện các kiểu dữ liệu đại số, kết hợp mẫu và viết lại và tạo mã C++ dưới dạng đầu ra.