Pertanyaan yang diberi tag «haskell»

Jenis-jenis metode dependen, yang dulunya merupakan fitur eksperimental sebelumnya, kini telah diaktifkan secara default di trunk , dan tampaknya ini tampaknya telah menciptakan kegembiraan di komunitas Scala. Pada pandangan pertama, tidak segera jelas apa manfaatnya. Heiko Seeberger memposting contoh sederhana tipe metode dependen di sini , yang seperti dapat dilihat …

127 scala  haskell  programming-languages  type-systems  dependent-method-type 

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 lakukan untuk mengurangi ini?

127 haskell  linker  ghc  static-linking  glfw 

Cukup mudah untuk merepresentasikan pohon atau daftar di haskell menggunakan tipe data aljabar. Tapi bagaimana Anda akan merepresentasikan grafik secara tipografis? Sepertinya Anda perlu memiliki petunjuk. Saya menduga Anda bisa mendapatkan sesuatu seperti type Nodetag = String type Neighbours = [Nodetag] data Node a = Node a Nodetag Neighbours Dan …

125 haskell  types  graph  functional-programming  algebraic-data-types 

Saya mengalami perilaku aneh dengan replika Interactive-Haskell emacs. Saat saya mencari file, emacsbuffer mini menampilkan serangkaian perintah interaktif: Start a new project named 'myproject'? Cabal dir (guessed from myproject.cabal): Build target (empty for default): Set current directory: Jika saya membiarkan direktori cabal atau direktori saat ini ke nilai default dari …

124 haskell  emacs  cabal  ghci 

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 dari komponennya? Secara umum, jika kebutuhan memori tipe adan bdiketahui, apa …

124 haskell  memory-management  ghc  algebraic-data-types 

Kode untuk fungsi myAny dalam pertanyaan ini menggunakan foldr. Ini berhenti memproses daftar tak terbatas ketika predikat terpenuhi. Saya menulis ulang menggunakan foldl: myAny :: (a -> Bool) -> [a] -> Bool myAny p list = foldl step False list where step acc item = p item || acc (Perhatikan …

124 haskell  lazy-evaluation  combinators  fold 

Saya mempelajari Haskell dari learnyouahaskell.com . Saya kesulitan memahami konstruktor tipe dan konstruktor data. Misalnya, saya tidak begitu mengerti perbedaan antara ini: data Car = Car { company :: String , model :: String , year :: Int } deriving (Show) dan ini: data Car a b c = Car …

124 haskell 

Monad pembaca begitu kompleks dan sepertinya tidak berguna. Dalam bahasa imperatif seperti Java atau C ++, tidak ada padanan konsep untuk reader monad, kalau saya tidak salah. Dapatkah Anda memberi saya contoh sederhana dan menjelaskannya sedikit?

122 haskell  monads  reader-monad 

Seperti yang terjadi saat ini, pertanyaan ini tidak cocok untuk format Tanya Jawab kami. Kami mengharapkan jawaban didukung oleh fakta, referensi, atau keahlian, tetapi pertanyaan ini kemungkinan akan mengundang perdebatan, argumen, jajak pendapat, atau diskusi yang diperpanjang. Jika Anda merasa pertanyaan ini dapat diperbaiki dan mungkin dibuka kembali, kunjungi pusat …

121 haskell  functional-programming 

Saya sudah lama bertanya-tanya mengapa evaluasi malas berguna. Saya belum memiliki seorang pun yang menjelaskan kepada saya dengan cara yang masuk akal; sebagian besar akhirnya bermuara pada "percayalah padaku". Catatan: Saya tidak bermaksud memoisasi.

119 haskell  functional-programming  lazy-evaluation 

Katakanlah saya memiliki catatan ADT berikut: data Foo = Bar { a :: Integer, b :: String, c :: String } Saya ingin fungsi yang mengambil record dan mengembalikan record (dengan tipe yang sama) di mana semua kecuali satu bidang memiliki nilai yang identik dengan yang diteruskan sebagai argumen, seperti: …

119 haskell  record 

Saya ingin tahu mengapa implementasi Haskell menggunakan GC. Saya tidak dapat memikirkan kasus di mana GC akan diperlukan dalam bahasa yang murni. Apakah ini hanya pengoptimalan untuk mengurangi penyalinan, atau memang perlu? Saya mencari contoh kode yang akan bocor jika GC tidak ada.

118 haskell  garbage-collection 

Situs web Haskell memperkenalkan fungsi quicksort 5 baris yang sangat menarik , seperti yang terlihat di bawah ini. quicksort [] = [] quicksort (p:xs) = (quicksort lesser) ++ [p] ++ (quicksort greater) where lesser = filter (< p) xs greater = filter (>= p) xs Mereka juga menyertakan "True quicksort …

118 sorting  haskell  quicksort 

Saya telah menjelajahi internet untuk penjelasan sebenarnya tentang apa yang dilakukan kata kunci ini. Setiap tutorial Haskell yang saya lihat baru saja mulai menggunakannya secara acak dan tidak pernah menjelaskan apa yang dilakukannya (dan saya telah melihat banyak). Berikut adalah potongan kode dasar dari Real World Haskell yang digunakan Just. …

118 haskell  syntax 

Saya baru mengenal Haskell dan saya sangat bingung dengan Where vs. Let . Keduanya sepertinya memberikan tujuan yang sama. Saya telah membaca beberapa perbandingan antara Where vs. Let tetapi saya kesulitan membedakan kapan harus menggunakan masing-masing. Bisakah seseorang memberikan beberapa konteks atau mungkin beberapa contoh yang menunjukkan kapan harus menggunakan …

117 haskell  keyword  where  let