Gần đây tôi đã được phân công làm việc trong một dự án nhỏ đang được triển khai tại Haskell. Đến từ nền tảng OO / bắt buộc, tôi đã quen với việc chuyển đổi các yêu cầu / câu chuyện của người dùng thành các trường hợp sử dụng và sơ đồ trình tự trước khi mã hóa.
Tuy nhiên, dự án Haskell mà tôi đã được chỉ định, nhóm thích chuyển đổi các yêu cầu của người dùng thành các mệnh đề / mệnh đề logic vị ngữ. Tôi đã nhận thức được logic được sử dụng trong các hệ thống quan trọng an toàn và các phương pháp chính thức cho công nghệ phần mềm, nhưng không quá nhiều trong lập trình hàng ngày. Đây có phải là thực tế phổ biến trong vương quốc FP? Tôi có thể tìm hiểu thêm về điều này ở đâu?
Nó có vẻ như là một cách tự nhiên để 'mô hình hóa' các yêu cầu và rút ra 'các hàm' từ các vị từ cùng với việc viết ra các đặc tả loại cần thiết cho các chức năng để hoạt động. Nhưng đó là cách nó được thực hiện / khuyến nghị trong thực tế hay nó là một cái gì đó đặc biệt đối với đội của tôi?
(Tôi đã thử tìm kiếm rộng rãi trước khi đặt câu hỏi này tại đây. Tìm kiếm "đặc tả yêu cầu trong lập trình chức năng" (và các từ đồng nghĩa và kết hợp từ khóa khác nhau) không dẫn đến bất cứ điều gì có ý nghĩa.)