Pertanyaan yang diberi tag «haskell»

Berikut skenario: Saya sudah menulis beberapa kode dengan tipe tanda tangan dan GHC mengeluh tidak dapat menyimpulkan x ~ y untuk beberapa xdan y. Anda biasanya dapat melempar GHC ke tulang dan menambahkan isomorfisme ke batasan fungsi, tetapi ini adalah ide yang buruk karena beberapa alasan: Itu tidak menekankan pemahaman …

322 haskell  constraints  ghc 

Saya mulai memahami bagaimana forallkata kunci digunakan dalam apa yang disebut "tipe eksistensial" seperti ini: data ShowBox = forall s. Show s => SB s Namun, ini hanya sebagian dari cara forallpenggunaannya dan saya tidak bisa menggunakan pikiran saya dalam hal-hal seperti ini: runST :: forall a. (forall s. ST …

312 haskell  syntax  types  ghc  forall 

Apa artinya Weak Head Normal Form (WHNF)? Apa arti Head Normal form (HNF) dan Normal Form (NF)? Negara Haskell Dunia Nyata : Fungsi seq yang familier mengevaluasi ekspresi pada apa yang kita sebut head normal form (disingkat HNF). Ia berhenti begitu mencapai konstruktor terluar ("kepala"). Ini berbeda dari bentuk normal …

290 haskell  definition  strictness  weak-head-normal-form 

Ekspresi 'aljabar' untuk tipe data aljabar terlihat sangat sugestif bagi seseorang dengan latar belakang dalam matematika. Biarkan saya mencoba menjelaskan apa yang saya maksud. Setelah mendefinisikan tipe dasar Produk • Persatuan + Singleton X Satuan 1 dan menggunakan singkatan X²untuk X•Xdan 2Xuntuk X+Xsebagainya, kita kemudian dapat mendefinisikan ekspresi aljabar untuk …

289 haskell  functional-programming  algebraic-data-types  miranda 

Saya ingin belajar FRP di Haskell, tetapi agak sulit untuk memutuskan perpustakaan untuk digunakan. Banyak yang tampaknya merupakan upaya mati, beberapa tampaknya telah dibangkitkan (seperti aktivitas terbaru di Yampa). Dari apa yang saya baca, tampaknya ada dua "jenis" FRP: push-pull FRP (seperti di Reactive-pisang) di satu sisi dan FRP (seperti …

265 haskell  frp  reactive-banana  yampa 

Saya menemukan definisi berikut ketika saya mencoba mempelajari Haskell menggunakan proyek nyata untuk mengendarainya. Saya tidak mengerti apa arti tanda seru di depan setiap argumen dan sepertinya buku-buku saya tidak menyebutkannya. data MidiMessage = MidiMessage !Int !MidiMessage

262 haskell  syntax  lazy-evaluation 

Bisakah Template Haskell mengetahui nama dan / atau deklarasi dari sinonim tipe terkait yang dinyatakan dalam kelas tipe? Saya berharap reifyakan melakukan apa yang saya inginkan, tetapi sepertinya tidak memberikan semua informasi yang diperlukan. Ini berfungsi untuk mendapatkan tanda tangan jenis fungsi: % ghci GHCi, version 7.8.3: http://www.haskell.org/ghc/ :? for …

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

Tampaknya Template Haskell sering dipandang oleh komunitas Haskell sebagai kenyamanan yang tidak menguntungkan. Sulit untuk mengatakan dengan tepat apa yang telah saya amati dalam hal ini, tetapi pertimbangkan beberapa contoh ini Template Haskell terdaftar di bawah "The Ugly (but needed)" sebagai jawaban atas pertanyaan. Ekstensi Haskell (GHC) mana yang harus …

252 haskell  template-haskell 

Haskell (dengan GHCkompiler) jauh lebih cepat dari yang Anda harapkan . Digunakan dengan benar, ini bisa mendekati bahasa tingkat rendah. (Hal favorit yang harus dilakukan Haskellers adalah mencoba dan mendapatkan dalam 5% dari C (atau bahkan mengalahkannya, tetapi itu berarti Anda menggunakan program C yang tidak efisien, karena GHC mengkompilasi …

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

Dua kerangka kerja Haskell dalam berita baru-baru ini adalah Yesod (pada 0,8) dan Snap (pada 0,4). Jelas sekali bahwa Yesod saat ini mendukung lebih banyak fitur daripada Snap. Namun, saya tidak tahan menggunakan sintaks Yesod untuk HTML, CSS dan Javascript. Jadi, saya ingin memahami apa yang akan hilang jika saya …

231 haskell  web-frameworks  yesod  haskell-snap-framework 

Saya mempelajari Haskell dan membaca beberapa artikel tentang perbedaan kinerja daftar Haskell dan (masukkan bahasa Anda). Menjadi seorang pelajar saya jelas hanya menggunakan daftar tanpa memikirkan perbedaan kinerja. Saya baru-baru ini mulai menyelidiki dan menemukan banyak perpustakaan struktur data yang tersedia di Haskell. Dapatkah seseorang tolong jelaskan perbedaan antara Daftar, …

230 haskell 

Saya percaya komunitas Erlang tidak iri pada Node.js karena tidak memblokir I / O secara asli dan memiliki cara untuk mengukur penyebaran dengan mudah ke lebih dari satu prosesor (sesuatu yang bahkan tidak ada di Node.js). Lebih detail di http://journal.dedasys.com/2010/04/29/erlang-vs-node-js dan Node.js atau Erlang Bagaimana dengan Haskell? Bisakah Haskell memberikan …

217 multithreading  haskell  concurrency  node.js 

Forenote: Ini adalah perpanjangan dari utas yang dimulai pada / r / haskell Mari kita mulai dengan fakta: Android adalah salah satu Sistem Operasi yang luar biasa Haskell adalah bahasa pemrograman terbaik di planet ini Karena itu, jelas, menggabungkan mereka akan membuat pengembangan Android jauh lebih baik. Jadi intinya saya …

216 android  haskell  executable 

Saya baru saja memposting pertanyaan tentang sintaksis-2.0 tentang definisi share. Saya sudah menjalankan ini di GHC 7.6 : {-# 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 ~ …

212 haskell  ghc 

Sambil menjelaskan kepada seseorang apa tipe kelas X itu, saya berjuang untuk menemukan contoh struktur data yang tepat yaitu X. Jadi, saya meminta contoh untuk: Tipe konstruktor yang bukan merupakan Functor. Tipe konstruktor yang merupakan Functor, tetapi tidak berlaku. Tipe konstruktor yang merupakan Aplikasi, tetapi bukan Monad. Tipe konstruktor yang …

210 haskell  monads  functor  applicative