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

3

Banana split và fusion trong lập trình chức năng là gì?

Những điều khoản đã được đề cập trong khóa học đại học của tôi. Googling nhanh chóng chỉ cho tôi một số bài báo của trường đại học, nhưng tôi đang tìm kiếm một lời giải thích đơn giản.

22 functional-programming haskell

2

Cách sạch nhất để báo cáo lỗi trong Haskell

Tôi đang nghiên cứu về Haskell và tôi đã tìm ra ba cách khác nhau để xử lý lỗi trong các chức năng tôi viết: Tôi chỉ có thể viết error "Some error message.", mà ném một ngoại lệ. Tôi có thể trả lại chức năng của mình Maybe SomeType, …

22 haskell error-handling

1

Tại sao Haskell không có trừu tượng lambda cấp độ?

Có một số lý do lý thuyết cho điều đó (như việc kiểm tra kiểu hoặc suy luận kiểu sẽ trở nên không thể giải quyết được), hoặc lý do thực tế (quá khó để thực hiện đúng)? Hiện tại, chúng ta có thể gói mọi thứ vào newtypenhư newtype …

22 haskell abstraction type-systems lambda

2

Loại kiểm tra và đệ quy (Viết bộ kết hợp Y bằng Haskell / Ocaml)

Khi giải thích bộ kết hợp Y trong ngữ cảnh của Haskell, người ta thường lưu ý rằng việc triển khai thẳng sẽ không kiểm tra kiểu trong Haskell vì loại đệ quy của nó. Ví dụ: từ Rosettacode : The obvious definition of the Y combinator in Haskell canot …

21 haskell type-systems static-typing ocaml

1

Haskell xây dựng và tạo môi trường tương tự như Maven

Tôi đã từng là một nhà phát triển Java trong một thời gian dài, nhưng gần đây, tôi đã tham gia một nhóm Haskell. Trong thế giới java, nếu bạn có một dự án lớn, với một vài nhóm làm việc với nó, một cách tiếp cận phổ biến là …

20 java haskell maven build-system

2

Có thể để kích thước nướng bánh quy thành một loại hình trong haskell?

Giả sử tôi muốn viết một thư viện liên quan đến vectơ và ma trận. Có thể nướng các kích thước thành các loại, để các hoạt động của kích thước không tương thích tạo ra lỗi tại thời gian biên dịch không? Ví dụ, tôi muốn chữ ký của …

20 haskell type-systems type-safety

3

Làm thế nào để nâng cao hiệu quả với lập trình chức năng?

Gần đây tôi đã trải qua Hướng dẫn tìm hiểu về bạn rất tốt và vì thực tế tôi muốn giải quyết vấn đề Project Euler 5 với nó, trong đó chỉ rõ: Số dương nhỏ nhất chia hết cho tất cả các số từ 1 đến 20 là bao …

20 haskell

3

haskell có loại phụ thuộc không?

Tôi biết Haskell đã có khả năng tham gia một loại so với loại khác (tương tự như lập trình mẫu trong C ++), nhưng tôi tự hỏi liệu Haskell cũng có thể tham gia một loại trên các giá trị hay không - liệu nó có hỗ trợ các …

20 haskell

4

Haskell có giỏi dạy các nguyên tắc cơ bản của toán học không?

Đã khóa . Câu hỏi này và câu trả lời của nó bị khóa vì câu hỏi không có chủ đề nhưng có ý nghĩa lịch sử. Nó hiện không chấp nhận câu trả lời hoặc tương tác mới. Câu hỏi này đã được di chuyển từ Stack Overflow bởi …

19 haskell

1

Khảo sát khung web Haskell [đã đóng]

Đó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 cửa …

19 web-development experience comparison web-framework haskell

4

Làm thế nào để kiên trì phù hợp với một ngôn ngữ chức năng thuần túy?

Làm thế nào mô hình sử dụng các trình xử lý lệnh để đối phó với sự bền bỉ phù hợp với một ngôn ngữ chức năng thuần túy, nơi chúng ta muốn làm cho mã liên quan đến IO càng mỏng càng tốt? Khi triển khai Thiết kế hướng …

18 c# architecture functional-programming domain-driven-design haskell

3

Ngôn ngữ chức năng nhanh nhất

Gần đây tôi đã đào sâu vào lập trình chức năng, đặc biệt là Haskell và F #, trước đó cũng vậy. Sau một vài lần loay hoay, tôi không thể tìm thấy một so sánh chuẩn của các ngôn ngữ chức năng nổi bật hơn (Scala, F #, v.v.). …

18 functional-programming scala haskell f# benchmarking

1

Tiến trình trên hồ sơ Haskell là gì?

Gần đây, tôi lại vấp ngã một lần nữa về các vấn đề trong hồ sơ của Haskell, đặc biệt là tính độc đáo của tên trường. (Đó là một nỗi đau ...) Tôi đã đọc Đề xuất về các bản ghi trong Haskell từ SPJ và Greg Morrisett, nhưng …

18 haskell language-features

6

Cây nhị phân tự cân bằng nào bạn muốn giới thiệu?

Tôi đang học Haskell và như một bài tập Tôi đang tạo cây nhị phân. Đã tạo một cây nhị phân thông thường, tôi muốn điều chỉnh nó để tự cân bằng. Vì thế: Cái nào hiệu quả nhất? Cái nào dễ thực hiện nhất? Mà thường được sử dụng? …

18 haskell functional-programming data-structures binary-tree

3

Tại sao không có một kiểu chữ cho các chức năng?

Trong một vấn đề học tập mà tôi đã gặp phải, tôi nhận ra rằng tôi cần một kiểu chữ cho các chức năng với các thao tác để áp dụng, soạn thảo, v.v ... Lý do ... Có thể thuận tiện để xử lý một biểu diễn của hàm …

17 haskell standard-library

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