Tôi đã đọc một chút về ngữ nghĩa học (DS) và tôi rất tò mò về quá trình thiết kế các chương trình máy tính nơi các loại và chức năng có ánh xạ mạnh mẽ và rõ ràng đến toán học.
Có tài nguyên nào thảo luận về thiết kế chương trình dựa trên DS một cách chi tiết không? Tôi đã thấy một vài phương pháp điều trị hời hợt của chủ đề này.
Tôi đang nói chuyện trong Haskell, Scala, Common Lisp và một chút về Đề án nên mọi tài nguyên sử dụng các ngôn ngữ đó sẽ được đánh giá cao.
7
Bạn nên xem tác phẩm của Conal Elliott: conal.net
Curry-Howard isomorphism là từ khóa, nếu bạn chưa biết.
—
pedrofurla
Tôi nghĩ một điều tương tự. Tôi đã cố gắng thiết kế mô phỏng số điểm, cơ thể cứng nhắc và chất lỏng. Điều này ( github.com/takagi/SimulationDSL ) là một trong những thử nghiệm của tôi trong đó tôi biểu thị đại số vectơ và phương trình từng phần trong DSL Haskell. Tôi cũng đã kiểm tra công việc của Conal Elliott.
Bạn nên kiểm tra LtU . Có lẽ có một số cuộc thảo luận cũ tốt ở đó, hoặc ít nhất câu hỏi của bạn sẽ phù hợp hơn ở đó so với trên SO
Bạn có thể muốn đọc "Một ngữ nghĩa theo định hướng thực hiện của các tổ hợp in ấn đẹp của Wadler". Nó so sánh các cách tiếp cận hoạt động và biểu thị để thực hiện một ví dụ nổi tiếng trong thế giới thực và bao gồm vận động cho một cách tiếp cận biểu thị.
—
tethen tetley