«haskell» etiketlenmiş sorular

Haskell'de bir sinir ağı mimarisi uygulamaya ve onu MNIST üzerinde kullanmaya çalışıyorum. hmatrixPaketi doğrusal cebir için kullanıyorum . Eğitim çerçevem pipespaket kullanılarak oluşturuldu . Kodum derleniyor ve çökmüyor. Ancak sorun şu ki, belirli katman boyutu (örneğin 1000), mini parti boyutu ve öğrenme oranı kombinasyonlarının NaNhesaplamalarda değerlere yol açması . Biraz …

328 algorithm  haskell  neural-network  backpropagation 

Bir tür imzası ile bazı kodlar yazdım ve GHC bazıları için x ~ y anlamak olamazdı yakınır: İşte senaryo xve y. Genellikle GHC'ye bir kemik atabilir ve fonksiyon kısıtlamalarına izomorfizmi ekleyebilirsiniz, ancak bu birkaç nedenden dolayı kötü bir fikirdir: Kodun anlaşılmasını vurgulamaz. Birinin yeterli olacağı 5 kısıtlama ile karşılaşabilirsiniz (örneğin, …

322 haskell  constraints  ghc 

forallAnahtar kelimenin sözde "varoluş türleri" olarak nasıl kullanıldığını anlamaya başlıyorum : data ShowBox = forall s. Show s => SB s Bununla birlikte, forallbu sadece nasıl kullanıldığı hakkında bir alt kümedir ve aklımı böyle şeylerde kullanımı etrafında satamıyorum: runST :: forall a. (forall s. ST s a) -> a Veya …

312 haskell  syntax  types  ghc  forall 

Ne yapar Zayıf Baş Normal Formu (WHNF) ortalama? Ne yapar Baş Normal formu (HNF) ve Normal Formu (NF) ortalama? Gerçek Dünya Haskell şöyle diyor: Bilinen seq işlevi, kafa normal formu (kısaltılmış HNF) dediğimiz ifadeyi değerlendirir. En dıştaki kurucuya (“kafa”) ulaştığında durur. Bu, bir ifadenin tamamen değerlendirildiği normal formdan (NF) farklıdır. …

290 haskell  definition  strictness  weak-head-normal-form 

Cebirsel veri türleri için 'cebirsel' ifade, matematikte geçmişi olan birine çok düşündürücü görünmektedir. Ne demek istediğimi açıklamaya çalışayım. Temel türleri tanımlamak Ürün • Birlik + Singleton X birim 1 ve kısaltmalar kullanarak X²için X•Xve 2Xiçin X+Xve saire, o zaman bağlantılı listeleri, örneğin için ön ifadeleri tanımlayabilir data List a = …

289 haskell  functional-programming  algebraic-data-types  miranda 

Haskell'de FRP okumak istiyorum, ancak kullanılacak bir kütüphaneye karar vermek biraz zor. Birçoğu ölü girişimler gibi görünüyor, bazıları diriltilmiş gibi görünüyor (Yampa'daki son faaliyetler gibi). Okuduğum kadarıyla, FRP'nin iki "türü" var gibi görünüyor: bir tarafta itme-çekme FRP (Reaktif-muzda olduğu gibi) ve diğer tarafta oklu FRP (Yampa'da olduğu gibi). Görünüşe göre …

264 haskell  frp  reactive-banana  yampa 

Haskell'i sürmek için gerçek bir proje kullanarak öğrenmeye çalışırken aşağıdaki tanımla karşılaştım. Her bir argümanın önündeki ünlem işaretinin ne anlama geldiğini anlamıyorum ve kitaplarım bundan bahsetmiyor gibiydi. data MidiMessage = MidiMessage !Int !MidiMessage

262 haskell  syntax  lazy-evaluation 

Template Haskell, bir tür sınıfında bildirilen ilişkili tür eş anlamlılarının adlarını ve / veya bildirimlerini bulabilir mi? İstediğimi reifyyapmayı bekliyordum , ancak gerekli tüm bilgileri sağlamıyor gibi görünüyor. İşlev tipi imzaları almak için çalışır: % ghci GHCi, version 7.8.3: http://www.haskell.org/ghc/ :? for help ... Prelude> -- I'll be inserting line …

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

Şablon Haskell genellikle Haskell topluluğu tarafından talihsiz bir kolaylık olarak görülüyor. Bu konuda gözlemlediklerimi tam olarak kelimelere dökmek zor, ancak bu birkaç örneği düşünün Şablon Haskell , kullanıcılar hangi Haskell (GHC) uzantılarını kullanmalı / kaçınmalıdır sorusuna yanıt olarak "Çirkin (ancak gerekli)" altında listelenir ? Şablon Haskell , newtype'd değerleri iş …

252 haskell  template-haskell 

Haskell ( GHCderleyici ile) beklediğinizden çok daha hızlı . Doğru kullanıldığında, düşük seviyeli dillere yakın olabilir. (Haskellers'ın en sevdiği şey, C'nin% 5'ine girmeyi denemek ve (veya onu yenmek), ancak GHC Haskell'i C'yi derlediğinden, verimsiz bir C programı kullandığınız anlamına gelir.) Sorum şu, neden? Haskell açıklayıcı ve lambda analizine dayanmaktadır. Makine …

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

Son zamanlarda haberlerde yer alan iki Haskell web çerçevesi Yesod (0.8'de) ve Snap (0.4'te). Yesod'un şu anda Snap'ten çok daha fazla özelliği desteklediği oldukça açık. Ancak, Yesod'un HTML, CSS ve Javascript için kullandığı sözdizimine dayanamıyorum. Bunun yerine Snap ile gidersem ne kaçırdığımı anlamak istiyorum. Örneğin, veritabanı desteği var gibi görünmüyor. …

231 haskell  web-frameworks  yesod  haskell-snap-framework 

Haskell öğreniyorum ve Haskell listelerinin performans farklılıkları ve (dilinizi ekleyin) dizilerinin birkaç makalesini okuyorum. Bir öğrenci olarak, performans farkını düşünmeden bile listeleri kullanıyorum. Yakın zamanda araştırmaya başladım ve Haskell'de çok sayıda veri yapısı kütüphanesi buldum. Birisi veri yapıları bilgisayar bilimi teorisinde çok derine inmeden Listeler, Diziler, Vektörler, Diziler arasındaki farkı …

230 haskell 

Erlang topluluğunun yerel olarak engellemeyen G / Ç'yi yaptığı ve konuşlandırmaları birden fazla işlemciye (Node.js'de yerleşik olmayan bir şey bile) kolayca ölçeklendirme yollarına sahip olduğu için Node.js'yi kıskanmamış olduğuna inanıyorum. Http://journal.dedasys.com/2010/04/29/erlang-vs-node-js ve Node.js veya Erlang adresinde daha fazla ayrıntı Haskell ne olacak? Haskell, Node.js'nin bazı avantajlarını, yani çok iş parçacıklı …

217 multithreading  haskell  concurrency  node.js 

Forenote: Bu, / r / haskell'de başlatılan iş parçacığının bir uzantısıdır Hadi gerçeklerle başlayalım: Android harika bir İşletim Sistemidir Haskell gezegendeki en iyi programlama dilidir Bu nedenle, açıkça, bunları birleştirmek Android geliştirmeyi çok daha iyi hale getirecektir. Yani aslında Android işletim sistemi için Haskell programlarını nasıl yazabileceğimi bilmek istiyorum. Sorum …

216 android  haskell  executable 

Geçenlerde bir gönderdiniz soru hakkında sözdizimsel-2,0 tanımına ilişkin share. GHC 7.6'da şu şekilde çalıştım : {-# LANGUAGE GADTs, TypeOperators, FlexibleContexts #-} import Data.Syntactic import Data.Syntactic.Sugar.BindingT data Let a where Let :: Let (a :-> (a -> b) :-> Full b) share :: (Let :<: sup, sup ~ Domain b, sup …

212 haskell  ghc