Làm cách nào để giữ cho Linh hoạt mạnh mẽ của Haskell?

Question

Tôi đã viết một cơ sở mã ngày càng tăng trong Haskell. Vấn đề của tôi là tôi đã thêm chữ ký kiểu vào các chức năng dựa trên những gì GHCI nói với tôi rằng họ nên làm như vậy.

Vấn đề bây giờ là tôi có một codebase đang phát triển, ngay sau khi tôi thay đổi một điều, mã của tôi sẽ bị phá vỡ khắp nơi và tôi bị tiêu hao với việc theo dõi tất cả các vấn đề.

Các loại có xuất phát bằng cách tải mô-đun trong ghci quá cụ thể không? Làm cách nào để quyết định loại hoặc loại lớp nào sẽ sử dụng trong chữ ký của tôi để tận dụng sức mạnh của việc nhập mạnh mẽ với tính linh hoạt nào đó? (ví dụ: không dành một giờ để tuyên truyền những thay đổi nhỏ?).

Answer 1

Vấn đề bây giờ là tôi có một codebase đang phát triển, ngay sau khi tôi thay đổi một điều, mã của tôi bị hỏng khắp nơi và tôi bị tiêu thụ với theo dõi tất cả các vấn đề.

Điều này thực sự được quảng cáo dưới dạng tính năng trong Yesod (một khung web Haskell). Giả sử tôi đã xác định các đặc điểm kỹ thuật định tuyến sau:

/blog/#String   BlogR GET 

Và tôi đã quyết định muốn thay đổi nó để

/blog/#Date/#String BlogR GET 

Ngay sau khi tôi thực hiện thay đổi này để các tuyến đường, trình biên dịch sẽ cho tôi biết ở khắp mọi nơi mà Tôi đã phá vỡ mã của tôi. Tôi sẽ bị buộc cập nhật chức năng getBlogR - thay đổi loại đầu vào của nó để nó cũng chấp nhận Date. Tôi cũng sẽ bị buộc phải cập nhật bất kỳ nơi nào tôi sử dụng URL an toàn loại trong các mẫu của mình, trông giống như là @{BlogR (slug p)} ->@{BlogR (date p) (slug p)}.

Đây được xem là một Tốt Thing, bởi vì kiểm tra loại là giúp bạn tìm lỗi nào do những thay đổi bạn đã thực hiện.

---

Hiện tại, liên quan đến ghci.

ghci> let shew = show 
ghci> :t shew 
shew ::() -> String 
ghci> :t show 
show :: Show a => a -> String 

Đôi khi đúng là ghci chọn mặc định gây phiền nhiễu. Điều này, tuy nhiên, có thể được giảm bớt.

ghci> :set -XNoMonomorphismRestriction 
ghci> let shew = show 
ghci> :t shew 
shew :: Show a => a -> String 

Trong khi sử dụng ghci để khám phá các loại của một hàm là rất tốt cho người mới bắt đầu, tôi sẽ không khuyên bạn nên dựa trên ghci. Tìm hiểu ý nghĩa của chữ ký loại và cách tự khám phá chúng. Trong thực tế, bắt đầu viết một hàm bằng cách đầu tiên viết chữ ký kiểu mà bạn dự định có. Nó chỉ mất một khoản đầu tư nhỏ thời gian để tìm hiểu kỹ năng này, và nó là một lợi ích lớn để lập trình khi bạn có thể sử dụng hệ thống kiểu của Haskell để lợi thế của bạn.