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

Một trong những lợi thế chính của bộ nhớ giao dịch phần mềm luôn được nhắc đến là khả năng kết hợp và mô đun hóa. Các mảnh khác nhau có thể được kết hợp để tạo ra các thành phần lớn hơn. Trong các chương trình dựa trên khóa, …

11 haskell  clojure  stm 

Khai báo sau đây có lỗi: type Vec2d = (Float, Float) type Vec3d = (Float, Float, Float) -- Rect x y defines a rectangle spanning from (0,0) to (x,y) data Obj2d = Rect Float Float | Translate Vec2d Obj2d -- Cuboid x y z defines a cuboid spanning from (0,0,0) …

11 haskell 

Tôi đang học lập trình chức năng và tôi gặp khó khăn trong việc hiểu cách thực hiện một số tình huống cụ thể mà không sử dụng phân công. Các vấn đề đơn giản sau đây tổng hợp khá nhiều nhầm lẫn của tôi. Viết chương trình nhận các …

10 functional-programming  haskell  reactive 

Ngôn ngữ cốt lõi của Haskell thực sự đơn giản. Đến từ nền tảng OO, khó khăn chính là thích nghi với mô hình chức năng thuần túy. Trong khi học Haskell "cơ bản", tôi luôn coi các phần mở rộng ngôn ngữ là đồ chơi cho người CS hoặc …

10 haskell 

Tôi thấy bây giờ vợt có các loại. Thoạt nhìn có vẻ gần giống với cách gõ Haskell. Nhưng CLOS của Lisp có bao gồm một số loại Haskell không gian không? Tạo một loại Haskell rất nghiêm ngặt và một đối tượng trong bất kỳ ngôn ngữ OO nào …

10 haskell  scheme  common-lisp 

Tôi đã đọc rất nhiều sách và bài viết về lập trình chức năng và vẫn xấu hổ vì không thể hiểu chắc chắn một số khái niệm rất cơ bản. Một trong những ý tưởng chính của lập trình chức năng là cùng một đầu vào luôn tạo ra …

10 language-agnostic  functional-programming  haskell 

Vì Ruby có khả năng vận hành danh sách tốt được tích hợp sẵn - thu nhỏ, ánh xạ, chọn, thu thập, v.v. Nó có Procs, Blocks và Lambdas và có hỗ trợ lặp tốt ( eachgia đình), đó có phải là một quyết định thiết kế tồi nếu tôi …

10 ruby  haskell  functional-programming 

Có vẻ như bất kỳ trường hợp Bounded nào cũng nên thực hiện Enum. Cá nhân tôi không thể nghĩ ra một ví dụ, mặc dù nếu ai đó nghĩ ra một thứ không bệnh hoạn thì tôi sẽ hiểu tại sao không phải như vậy. Từ việc thực hiện …

9 haskell  typeclass 

Đã đó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  lisp  virtual-machine  computer-architecture  lisp-machine 

Tôi đã đọc rằng Go thực sự không có suy luận kiểu thực sự theo nghĩa các ngôn ngữ chức năng như ML hoặc Haskell có, nhưng tôi không thể tìm thấy một so sánh đơn giản để hiểu hai phiên bản. Ai đó có thể giải thích bằng các …

9 haskell  type-systems  go 

Gần đây, tôi trở nên quan tâm sâu sắc đến Haskell. Trong khi cố gắng học các khái niệm mới (ví dụ: từ khóa forall và ST monad ) và hệ thống loại của Haskell nói chung, tôi liên tục chạy vào các khái niệm từ lý thuyết thể loại …

9 programming-languages  functional-programming  math  haskell  type-systems 

Tôi muốn triển khai kho dữ liệu trong bộ nhớ cho dịch vụ web trong Haskell. Tôi muốn chạy giao dịch trong STMđơn nguyên. Khi tôi google bảng băm hơi Haskell tôi chỉ nhận được điều này: Data. BTree. HashTable. STM.Tên mô-đun và độ phức tạp cho thấy rằng điều …

9 data-structures  haskell 

Mẫu kiến ​​trúc ống & bộ lọc được định nghĩa là một chuỗi các phần tử xử lý, được sắp xếp sao cho đầu ra của mỗi phần tử là đầu vào của phần tử tiếp theo . Mọi ví dụ dường như xem xét kết nối giữa quá trình …

9 design  functional-programming  haskell  architectural-patterns 

Tôi đã được nói trong các câu hỏi trước đây rằng các ngôn ngữ lập trình chức năng không được sử dụng cho các hệ thống động như động cơ vật lý, chủ yếu là vì tốn kém để biến đổi các đối tượng. Làm thế nào thực tế là …

9 functional-programming  haskell  clojure  immutability 

Tôi đã hiểu rằng từ lâu trước khi Haskell, O'Caml hoặc LISP, các hàm bậc cao hơn là một môn học nghiên cứu và trong toán học, Schönfinkel (năm 1967) và Haskell Curry (năm 1968) đã áp dụng các kỹ thuật như cà ri, nhưng điều đó là trước khi …

9 functional-programming  history  haskell  scheme  higher-order-functions