Pertanyaan yang diberi tag ghc

Dari dokumen untuk GHC 7.6: [Y] ou sering kali bahkan tidak membutuhkan pragma SPESIALISASI. Saat menyusun modul M, pengoptimal GHC (dengan -O) secara otomatis mempertimbangkan setiap fungsi tingkat-atas yang dideklarasikan dalam M, dan mengkhususkannya untuk jenis yang berbeda di mana ia...

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...

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 ::...

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...

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) :->...

Core adalah bahasa perantara GHC. Membaca Core dapat membantu Anda lebih memahami kinerja program Anda. Seseorang meminta saya untuk dokumentasi atau tutorial tentang membaca Core, tetapi saya tidak dapat menemukan banyak. Dokumentasi apa yang tersedia untuk membaca GHC Core? Inilah yang saya...

GHC memiliki banyak optimasi yang dapat dilakukan, tetapi saya tidak tahu apa itu semua, atau seberapa besar kemungkinan mereka akan dilakukan dan dalam keadaan apa. Pertanyaan saya adalah: transformasi apa yang dapat saya harapkan untuk diterapkan setiap waktu, atau hampir seperti itu? Jika saya...

Saya mengalami masalah dalam mendapatkan GHC untuk mengkhususkan fungsi dengan batasan kelas. Saya punya contoh minimal masalah saya di sini: Foo.hs dan Main.hs . Dua file dikompilasi (GHC 7.6.2, ghc -O3 Main) dan jalankan. CATATAN: Foo.hs benar-benar dilucuti. Jika Anda ingin melihat mengapa...

Apakah ada jawaban sederhana: Mengapa GHC begitu besar? OCaml: 2MB Python: 15MB SBCL: 9MB OpenJRE - 26MB GHC: 113MB Tidak tertarik pada penginjilan "Mengapa saya tidak harus peduli tentang ukuran jika Haskell adalah alat yang tepat"; ini pertanyaan

Saya mencoba menggunakan ghc-modplugin vim untuk melakukan ketik / memeriksa sintaks dll. Namun, saya menemukan bahwa ghc-modselalu menggunakan path lengkap jenis dalam pesan kesalahan, misalnya: test.hs|71 col 13 error| Couldn't match type ‘Data.Text.Internal.Text’ || with ‘[GHC.Types.Char]’ ||...

Kami sedang mengembangkan program yang menerima dan meneruskan "pesan", sambil menyimpan riwayat sementara pesan-pesan itu, sehingga dapat memberi tahu Anda riwayat pesan jika diminta. Pesan diidentifikasi secara numerik, biasanya berukuran sekitar 1 kilobyte, dan kita perlu menyimpan ratusan ribu...

Bahkan program Haskell yang sangat kecil berubah menjadi executable raksasa. Saya telah menulis sebuah program kecil, yang dikompilasi (dengan GHC) ke biner dengan ukuran 7 MB! Apa yang dapat menyebabkan program Haskell kecil untuk dikompilasi ke biner besar? Apa, jika ada, yang bisa saya...

Bagaimana saya dapat menemukan jumlah memori sebenarnya yang diperlukan untuk menyimpan nilai beberapa tipe data di Haskell (kebanyakan dengan GHC)? Apakah mungkin untuk mengevaluasinya pada saat runtime (misalnya dalam GHCi) atau mungkinkah untuk memperkirakan kebutuhan memori tipe data gabungan...

Haskell memiliki fungsi identitas yang mengembalikan masukan tanpa perubahan. Definisinya sederhana: id :: a -> a id x = x Jadi untuk bersenang-senang, ini harus menghasilkan 8: f = id id id id id id id id id id id id id id id id id id id id id id id id id id id main = print $ f 8 Setelah...

Saya tidak tahu mengapa m1 tampaknya dikosongkan sementara m2 tidak dalam berikut ini: m1 = ((filter odd [1..]) !!) m2 n = ((filter odd [1..]) !! n) m1 10000000 membutuhkan waktu sekitar 1,5 detik pada panggilan pertama, dan sebagian kecil dari itu pada panggilan berikutnya (mungkin itu...

Perilaku saat ini Prelude> show _ <interactive>:7:6: Found hole ‘_’ with type: a0 Where: ‘a0’ is an ambiguous type variable Relevant bindings include it :: String (bound at <interactive>:7:1) In the first argument of ‘show’, namely ‘_’ In the expression: show _ In an equation...

Saat menyusun aplikasi Haskell saya dengan -Wallopsi tersebut, GHC mengeluh tentang instans yatim piatu, misalnya: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result Jenis kelas ToSElembukan milik saya, ini ditentukan oleh HStringTemplate . Sekarang saya tahu cara...

Potongan kode Haskell ini berjalan jauh lebih lambat -O, tetapi -Oseharusnya tidak berbahaya . Adakah yang bisa memberi tahu saya apa yang terjadi? Jika penting, ini merupakan upaya untuk memecahkan masalah ini , dan menggunakan pencarian biner dan pohon segmen persisten: import

Mengapa GHCi memberikan jawaban yang salah di bawah? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 Python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 UPDATE Saya akan mengimplementasikan fungsi Haskell (^) sebagai...

Masalah Pertimbangkan masalah desain berikut ini di Haskell. Saya memiliki, EDSL simbolis sederhana di mana saya ingin mengekspresikan variabel dan ekspresi umum (polinomial multivariat) seperti x^2 * y + 2*z + 1. Selain itu, saya ingin mengekspresikan persamaan simbolik tertentu atas ekspresi,...