Kỹ thuật phần mềm haskell

1

Tốt hơn để sử dụng đơn nguyên lỗi với xác nhận trong các chức năng đơn âm của bạn, hoặc thực hiện đơn nguyên của riêng bạn với xác thực trực tiếp trong liên kết của bạn?

Tôi đang tự hỏi những gì thiết kế tốt hơn khôn ngoan cho khả năng sử dụng / bảo trì, và những gì tốt hơn khi phù hợp với cộng đồng. Cho mô hình dữ liệu: type Name = String data Amount = Out | Some | Enough | Plenty …

9 functional-programming haskell validation monad

9

Lựa chọn hệ điều hành để phát triển chức năng [đã đóng]

Đã đóng cửa . Câu hỏi này dựa trên ý kiến . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để có thể trả lời bằng sự kiện và trích dẫn bằng cách chỉnh sửa bài đăng này . …

9 scala haskell clojure scheme operating-systems

2

GUI Haskell: có thể làm được bao nhiêu với Haskell?

Tôi đã muốn thử đồ họa trong Haskell. Từ những gì tôi đã thấy, các thư viện có sẵn là thư viện C / C ++ hoặc là sự trừu tượng hóa của chúng với các tính năng tối thiểu. Các thư viện cấp cao dường như không phù hợp …

9 libraries gui haskell

3

Getters và Setters trong ngôn ngữ chức năng

Một trong những nguyên lý của Lập trình hàm là việc sử dụng Hàm thuần túy. Hàm Pure là một hàm không có tác dụng phụ và trong suốt về mặt tham chiếu. Getters không trong suốt về mặt tham chiếu - nếu Setter được gọi giữa các lệnh gọi …

9 functional-programming haskell scala

2

Phần mềm truyền cảm hứng cho người dùng cuối được viết bằng Haskell? [đóng cửa]

Thật khó để nói những gì đang được hỏi ở đây. Câu hỏi này là mơ hồ, mơ hồ, không đầy đủ, quá rộng, hoặc hùng biện và không thể được trả lời một cách hợp lý trong hình thức hiện tại của nó. Để được giúp làm rõ câu …

9 haskell

1

Tôi cảm thấy có gì đó không thoải mái với cú pháp bản ghi Haskell

Hầu hết các cú pháp Haskell có vẻ đẹp của sự tinh khiết. Nhưng cú pháp bản ghi trông xấu xí. Nó không thoải mái. Nó cảm thấy một số loại hỗn hợp với C. Nó đòi hỏi dấu phẩy và dấu ngoặc nhọn. Haskell có tab, phân tách dựa …

9 syntax haskell

6

Là một học viên, tại sao tôi phải quan tâm đến Haskell? Một đơn nguyên là gì và tại sao tôi cần nó? [đóng cửa]

Đã đóng cửa . Câu hỏi này cần được tập trung hơn . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để nó chỉ tập trung vào một vấn đề bằng cách chỉnh sửa bài đăng này . Đóng …

9 haskell pragmatism monad

4

Có một thành ngữ Haskell để thử một số chức năng và dừng lại ngay khi một thành công?

Trong Haskell, tôi có thể sử dụng kiểu a -> Maybe bđể mô hình hóa một hàm trả về giá trị của kiểu bhoặc không trả về gì (nó không thành công). Nếu tôi có các loại a1, ..., a(n+1)và chức năng f1, ..., fn, với fi :: ai -> …

9 functional-programming haskell patterns-and-practices

3

Biểu thức Lambda không có tham số trong phép tính Haskell và / hoặc lambda

Trong các ngôn ngữ háo hức như Scheme và Python, bạn có thể sử dụng biểu thức lambda mà không có tham số để trì hoãn đánh giá, ví dụ như trong Scheme (Lược đồ gà): #;1> (define (make-thunk x) (lambda () (+ x 1))) #;2> (define t (make-thunk 1)) …

9 python haskell scheme lambda lambda-calculus

1

Những gì đơn nguyên là trái ngược với các đơn vị lỗi trong haskell

Trong đơn vị lỗi, lỗi đầu tiên tạm dừng bất kỳ thực thi nào nữa chỉ mang lỗi thông qua bất kỳ ràng buộc nào sau đây. Điều gì đơn vị dừng lại ở thành công chỉ mang lại thành công về phía trước, và về cơ bản nuốt bất …

9 haskell monad

1

Lý do đằng sau làm cho tính không xác định là một tính năng của Haskell là gì?

Chúng ta biết rằng trong Prolog - các vị từ không xác định là một tính năng được sử dụng để giảm bớt các vấn đề tổ hợp . Trong Haskell, chúng ta thấy một số hành vi không xác định tương tự như Prolog trong Danh sách đơn nguyên …

8 haskell non-determinism

3

Sự khác biệt giữa các loại lớp của Haskell và giao diện của Go là gì?

Tôi tự hỏi liệu có sự khác biệt giữa các loại loại của Haskell và giao diện của Go không. Cả hai đều xác định loại dựa trên các hàm, theo cách đó, một giá trị khớp với một loại, nếu một hàm được yêu cầu bởi loại được xác …

8 haskell type-systems polymorphism go

4

Tại sao sách giáo khoa sử dụng mã giả thay vì ngôn ngữ thực?

Trong các trường đại học và trong sách giáo khoa thuật toán, việc giáo viên và tác giả giải thích dòng điều khiển trong mã giả là khá phổ biến. Với sự ra đời của các ngôn ngữ biểu cảm hơn như Python và Haskell trong số các ngôn ngữ …

8 algorithms python haskell pseudocode teaching

2

Có phải là thông lệ để chuyển đổi các đặc tả yêu cầu thành logic vị ngữ cho lập trình chức năng?

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 …

8 functional-programming requirements haskell logic formal-methods

1

Đây có phải là mẫu thiết kế hợp lệ cho chức năng chính của Haskell không?

Sau khi phát triển một số ứng dụng Haskell, tôi thấy mình tách biệt nghiêm ngặt mã không tinh khiết và các hàm có sẵn ( một phần ) từ các đối tác thuần túy và tổng số của chúng. Những nỗ lực này đã giảm đáng kể chi phí …

8 design-patterns haskell control-structures

Câu hỏi được gắn thẻ «haskell»