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

Haskell là một ngôn ngữ lập trình chức năng có tính năng gõ tĩnh mạnh mẽ, đánh giá lười biếng, hỗ trợ song song và hỗ trợ đồng thời rộng rãi và khả năng trừu tượng hóa độc đáo.


2
Kỹ thuật truy tìm ràng buộc
Đây là kịch bản: Tôi đã viết một số mã có chữ ký loại và GHC phàn nàn không thể suy ra x ~ y cho một số xvà y. Bạn thường có thể ném GHC một xương và chỉ cần thêm sự đồng hình vào các ràng buộc chức …
322 haskell  constraints  ghc 

8
Từ khóa `forall` trong Haskell / GHC làm gì?
Tôi bắt đầu hiểu cách foralltừ khóa được sử dụng trong cái gọi là "loại tồn tại" như thế này: data ShowBox = forall s. Show s => SB s Đây chỉ là một tập hợp con, tuy nhiên, về cách forallsử dụng và tôi chỉ đơn giản là không …
312 haskell  syntax  types  ghc  forall 






6
Có gì tệ về Mẫu Haskell?
Có vẻ như Template Haskell thường được cộng đồng Haskell xem là một sự tiện lợi đáng tiếc. Thật khó để diễn tả chính xác những gì tôi đã quan sát về vấn đề này, nhưng hãy xem xét một vài ví dụ Mẫu Haskell được liệt kê trong phần …



1
Haskell: Danh sách, Mảng, Vectơ, Chuỗi
Tôi đang học Haskell và đọc một vài bài viết về sự khác biệt về hiệu suất của danh sách Haskell và (chèn ngôn ngữ của bạn). Là một người học tôi rõ ràng chỉ sử dụng danh sách mà không cần suy nghĩ về sự khác biệt hiệu suất. …
230 haskell 


6
Chạy chương trình Haskell trên HĐH Android
Forenote: Đây là phần mở rộng của chuỗi bắt đầu vào / r / haskell Hãy bắt đầu với sự thật: Android là một hệ điều hành tuyệt vời Haskell là ngôn ngữ lập trình tốt nhất trên hành tinh Do đó, rõ ràng, kết hợp chúng sẽ giúp phát …

2
Khi nào thì -X ALLowAmbiguptTypes thích hợp?
Gần đây tôi đã đăng một câu hỏi về cú pháp-2.0 liên quan đến định nghĩa của share. Tôi đã làm việc này trong GHC 7.6 : {-# LANGUAGE GADTs, TypeOperators, FlexibleContexts #-} import Data.Syntactic import Data.Syntactic.Sugar.BindingT data Let a where Let :: Let (a :-> (a -> b) :-> …
212 haskell  ghc 

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.