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

2

Tại sao ủy ban Haskell chọn các đơn vị đại diện cho I / O?

Các Sạch ngôn ngữ sử dụng loại độc đáo để xử lý I / O trong một khung cảnh hoàn toàn chức năng. Tại sao ban Haskell đi với monads để thay thế? Có đề xuất nào khác để xử lý nhà nước mà ủy ban điều tra nhưng quyết …

36 functional-programming history haskell

12

Lược đồ vs Haskell cho một giới thiệu về lập trình chức năng?

Tôi cảm thấy thoải mái với việc lập trình trong C và C #, và sẽ khám phá C ++ trong tương lai. Tôi có thể quan tâm đến việc khám phá lập trình chức năng như một mô hình lập trình khác. Tôi đang làm điều này để giải …

36 haskell functional-programming scheme

7

Là hệ thống loại của Haskell là một trở ngại để hiểu lập trình chức năng? [đóng cửa]

Tôi đang học Haskell với mục đích tìm hiểu lập trình chức năng, với mong muốn tôi sẽ áp dụng cái nhìn sâu sắc mà tôi có được bằng các ngôn ngữ khác (chủ yếu là Groovy, Python, JavaScript.) Tôi chọn Haskell vì tôi có ấn tượng rằng nó rất …

33 functional-programming haskell language-features type-systems

2

Áp dụng ngữ nghĩa học thuật để thiết kế chương trình

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 …

30 scala haskell scheme

8

Tại sao khái niệm đánh giá lười biếng hữu ích?

Dường như việc đánh giá các biểu thức lười biếng có thể khiến một lập trình viên mất kiểm soát đối với thứ tự mà mã của họ được thực thi. Tôi gặp khó khăn trong việc hiểu tại sao điều này sẽ được chấp nhận hoặc mong muốn bởi …

30 functional-programming haskell

3

Haskell vs Erlang cho các dịch vụ web

Tôi đang tìm cách bắt đầu một dự án thử nghiệm bằng ngôn ngữ chức năng và đang cố gắng quyết định giữa Erlang và Haskell, và cả hai đều có một số điểm mà tôi thực sự thích. Tôi thích hệ thống loại mạnh mẽ và tinh khiết của …

30 functional-programming haskell erlang

8

Sử dụng một hệ thống loại mạnh mẽ của người Viking trong thế giới thực, giả sử, cho các ứng dụng web quy mô lớn?

Tôi biết đây là một câu hỏi rất rộng, mơ hồ và có thể là triết học. Ở một mức độ nào đó, từ khóa quan trọng nhất trong câu hỏi - hệ thống loại "mạnh" - chính nó, là không xác định . Vì vậy, hãy để tôi cố …

29 java haskell scala type-systems rust

3

Những cách khác nhau để nhìn thấy một đơn nguyên

Trong khi học Haskell, tôi đã phải đối mặt với rất nhiều hướng dẫn cố gắng giải thích thế nào là đơn nguyên và tại sao các đơn vị lại quan trọng trong Haskell. Mỗi người trong số họ đã sử dụng các phép loại suy nên sẽ dễ dàng …

29 functional-programming haskell monad side-effect

4

Là loại đa hình trả về- (chỉ) trong Haskell có phải là một điều tốt không?

Một điều mà tôi chưa bao giờ hoàn toàn đồng ý với Haskell là làm thế nào bạn có thể có các hằng số và hàm đa hình mà kiểu trả về không thể được xác định bởi loại đầu vào của chúng, như class Foo a where foo::Int -> …

28 haskell functional-programming

2

Tại sao Haskell lại tích hợp sẵn trong if / then / other khác thay vì định nghĩa nó là một hàm thư viện đơn giản?

Tại sao Haskell có tích hợp sẵn if/then/else, phụ thuộc vào Boolloại, thay vì có chức năng thư viện đơn giản? Nhu la if :: Bool -> a -> a -> a if True x _ = x if False _ y = y

25 haskell

2

Sự khác biệt về nội dung giữa luận án năm 1996 của Chris Okasaki và cuốn sách 1999, Cấu trúc dữ liệu chức năng thuần túy là gì? [đóng cửa]

Đã đóng cửa. Câu hỏi này không đúng chủ đề . 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ó thuộc chủ đề cho Trao đổi ngăn xếp kỹ thuật phần mềm. Đóng cửa 4 năm trước . …

25 books functional-programming data-structures haskell

5

Trong ngôn ngữ lập trình nào đã làm cho Let để đầu tiên xuất hiện?

Tôi đã tự hỏi về nguồn gốc của "cho phép" được sử dụng trong Lisp, Clojure và Haskell. Có ai biết nó xuất hiện trong ngôn ngữ nào đầu tiên không?

24 history haskell lisp clojure

3

Tại sao một số ngôn ngữ chức năng cần bộ nhớ giao dịch phần mềm?

Các ngôn ngữ chức năng, theo định nghĩa, không nên duy trì các biến trạng thái. Tại sao, sau đó, Haskell, Clojure và những người khác cung cấp triển khai bộ nhớ giao dịch phần mềm (STM)? Có mâu thuẫn giữa hai cách tiếp cận?

24 functional-programming haskell clojure stm

1

Làm thế nào thường xuyên seq được sử dụng trong mã sản xuất Haskell?

Tôi có một số kinh nghiệm khi viết các công cụ nhỏ trong Haskell và tôi thấy nó rất trực quan khi sử dụng, đặc biệt là để viết các bộ lọc (sử dụng interact) xử lý đầu vào tiêu chuẩn của chúng và chuyển nó thành đầu ra tiêu …

23 programming-practices haskell stackoverflow

1

Có thể suy luận Hindley-Milner cho ngôn ngữ Go?

Tôi đã đọc rằng Hindley-Milner không hoạt động với các hệ thống loại có các lớp con và có các tính năng hệ thống loại khác cũng không hoạt động tốt với nó. Go hiện chỉ có loại suy luận rất hạn chế trong :=toán tử. Nhưng Go không có …

22 haskell type-systems go

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