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

Tôi đang cố gắng triển khai kiến ​​trúc mạng thần kinh trong Haskell và sử dụng nó trên MNIST. Tôi đang sử dụng hmatrixgói cho đại số tuyến tính. Khung đào tạo của tôi được xây dựng bằng cách sử dụng pipesgói. Mã của tôi biên dịch và không bị …

328 algorithm  haskell  neural-network  backpropagation 

Đâ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 

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 

Những gì hiện Yếu Trưởng Normal Form (WHNF) nghĩa là gì? Những gì hiện hình thức Head Bình thường (HNF) và Normal Form (NF) nghĩa là gì? Real World Haskell tuyên bố: Hàm seq quen thuộc đánh giá một biểu thức với cái mà chúng ta gọi là dạng bình …

290 haskell  definition  strictness  weak-head-normal-form 

Biểu thức 'đại số' cho các kiểu dữ liệu đại số trông rất gợi cho người có nền tảng toán học. Hãy để tôi cố gắng giải thích những gì tôi có ý nghĩa. Đã xác định các loại cơ bản Sản phẩm • liên hiệp + Người độc thân …

289 haskell  functional-programming  algebraic-data-types  miranda 

Tôi muốn học FRP ở Haskell, nhưng hơi khó để quyết định sử dụng thư viện. Nhiều người dường như là những nỗ lực chết chóc, một số dường như đã được hồi sinh (chẳng hạn như hoạt động gần đây trên Yampa). Từ những gì tôi đọc được, có …

264 haskell  frp  reactive-banana  yampa 

Tôi đã bắt gặp định nghĩa sau khi tôi cố gắng học Haskell bằng cách sử dụng một dự án thực tế để lái nó. Tôi không hiểu dấu chấm than trước mỗi đối số có nghĩa là gì và sách của tôi dường như không đề cập đến nó. …

262 haskell  syntax  lazy-evaluation 

Mẫu Haskell có thể tìm ra tên và / hoặc khai báo của các từ đồng nghĩa loại liên quan được khai báo trong một lớp loại không? Tôi dự kiến reifysẽ làm những gì tôi muốn, nhưng dường như nó không cung cấp tất cả các thông tin cần …

257 haskell  template-haskell  type-families  reify  associated-types 

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 …

252 haskell  template-haskell 

Haskell (với GHCtrình biên dịch) nhanh hơn rất nhiều so với bạn mong đợi . Được sử dụng một cách chính xác, nó có thể có được các ngôn ngữ cấp thấp. (Một điều yêu thích của Haskeller phải làm là thử và nhận trong vòng 5% C (hoặc thậm …

246 performance  haskell  ghc  higher-order-functions  lambda-calculus 

Hai khung web Haskell trong tin tức gần đây là Yesod (ở mức 0,8) và Snap (ở mức 0,4). Rõ ràng là Yesod hiện hỗ trợ nhiều tính năng hơn Snap. Tuy nhiên, tôi không thể chịu được cú pháp Yesod sử dụng cho HTML, CSS và Javascript của nó. …

231 haskell  web-frameworks  yesod  haskell-snap-framework 

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 

Tôi tin rằng cộng đồng Erlang không ghen tị với Node.js vì nó không chặn I / O nguyên bản và có các cách để mở rộng quy mô triển khai dễ dàng đến nhiều bộ xử lý (một thứ thậm chí không được tích hợp trong Node.js). Thêm chi …

217 multithreading  haskell  concurrency  node.js 

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 …

216 android  haskell  executable 

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