Pertanyaan yang diberi tag «haskell»

Salah satu keunggulan utama dari memori transaksional perangkat lunak yang selalu disebutkan adalah kompabilitas dan modularitas. Fragmen yang berbeda dapat digabungkan untuk menghasilkan komponen yang lebih besar. Dalam program berbasis kunci, ini sering tidak terjadi. Saya mencari contoh sederhana yang menggambarkan ini dengan kode aktual. Saya lebih suka contoh di …

11 haskell  clojure  stm 

Deklarasi berikut memberikan kesalahan: type Vec2d = (Float, Float) type Vec3d = (Float, Float, Float) -- Rect x y defines a rectangle spanning from (0,0) to (x,y) data Obj2d = Rect Float Float | Translate Vec2d Obj2d -- Cuboid x y z defines a cuboid spanning from (0,0,0) to (x,y,z) …

11 haskell 

Saya belajar pemrograman fungsional dan saya mengalami kesulitan memahami bagaimana beberapa skenario tertentu diimplementasikan tanpa menggunakan penugasan. Masalah sederhana berikut ini cukup meringkas kebingungan saya. Tulis sebuah program yang menerima peristiwa tentang perubahan dalam struktur data yang diberikan dan memancarkan peristiwa ketika struktur data ini mencapai keadaan tertentu. Jadi saya …

10 functional-programming  haskell  reactive 

Bahasa inti Haskell sangat sederhana. Berasal dari latar belakang OO, kesulitan utama adalah beradaptasi dengan paradigma fungsional murni. Saat belajar Haskell "dasar", saya selalu menganggap ekstensi bahasa sebagai mainan untuk orang-orang CS atau sebagai percobaan untuk versi bahasa yang akan datang (seperti from future import ???dalam python). Namun ketika saya …

10 haskell 

Saya melihat sekarang bahwa Racket memiliki tipe. Sepintas sepertinya hampir identik dengan pengetikan Haskell. Tetapi apakah Lisp's CLOS mencakup beberapa jenis ruang Haskell yang tercakup? Membuat tipe Haskell yang sangat ketat dan objek dalam bahasa OO apa pun tampaknya agak mirip. Hanya saja saya sudah minum beberapa kool-Aid Haskell dan …

10 haskell  scheme  common-lisp 

Saya telah membaca banyak buku dan artikel tentang pemrograman fungsional dan masih malu karena tidak dapat memahami dengan pasti beberapa konsep yang sangat mendasar. Salah satu ide utama pemrograman fungsional adalah input yang sama harus selalu menghasilkan output yang sama. Oleh karena itu, katakanlah, query database atau menulis file tidak …

10 language-agnostic  functional-programming  haskell 

Mengingat bahwa Ruby memiliki kemampuan operasi daftar yang baik di dalam - mengurangi, memetakan, memilih, mengumpulkan dll. Ia memiliki Procs, Blok dan Lambdas, dan memiliki dukungan iterasi yang bagus ( eachkeluarga), apakah itu akan menjadi keputusan desain yang buruk jika saya mencoba untuk tulis semua barang Ruby saya dengan cara …

10 ruby  haskell  functional-programming 

Sepertinya instance Bounded harus memiliki implementasi Enum yang waras. Saya pribadi tidak bisa memikirkan contoh tandingan, meskipun jika seseorang menemukan yang tidak patologis maka saya akan mengerti mengapa ini tidak terjadi. Dari melakukan :ipada dua typeclasses sepertinya satu-satunya pengecualian saat ini di perpustakaan standar adalah untuk tupel, yang Dibatasi tetapi …

9 haskell  typeclass 

Ditutup . Pertanyaan ini perlu lebih fokus . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga berfokus pada satu masalah hanya dengan mengedit posting ini . Ditutup 4 tahun yang lalu . Makalah asli Wadler tentang Monads for Functional Programming (Haskell), katanya Pertanyaan lain dengan sejarah …

9 haskell  lisp  virtual-machine  computer-architecture  lisp-machine 

Saya telah membaca bahwa Go sebenarnya tidak memiliki inferensi tipe yang sebenarnya dalam arti bahwa bahasa fungsional seperti ML atau Haskell miliki, tetapi saya belum dapat menemukan perbandingan yang sederhana untuk memahami kedua versi. Bisakah seseorang menjelaskan secara mendasar bagaimana inferensi tipe di Go berbeda dari inferensi tipe di Haskell, …

9 haskell  type-systems  go 

Baru-baru ini, saya menjadi sangat tertarik pada Haskell. Ketika mencoba mempelajari konsep-konsep baru (misalnya kata kunci forall dan ST monad ) dan sistem tipe Haskell secara umum, saya terus mengalami konsep-konsep dari teori kategori dan kalkulus lambda . Jadi, saya bertanya-tanya: Cabang matematika apa lagi yang penting untuk pemahaman yang …

9 programming-languages  functional-programming  math  haskell  type-systems 

Saya ingin mengimplementasikan datastore dalam memori untuk layanan web di Haskell. Saya ingin menjalankan transaksi di STMmonad. Ketika saya google hash table steam Haskell saya hanya mendapatkan ini: Data. BTree. HashTable. STM.Nama modul dan kerumitan menyarankan ini diterapkan sebagai pohon. Saya akan berpikir bahwa array harus lebih efisien untuk tabel …

9 data-structures  haskell 

Pola arsitektur pipa & filter didefinisikan sebagai rantai elemen pemrosesan, disusun sedemikian rupa sehingga output setiap elemen adalah input dari elemen berikutnya . Setiap contoh tampaknya mempertimbangkan inter-proses atau koneksi antar-thread dilakukan melalui beberapa jenis buffer bersama. Bagi saya, sepertinya komposisi fungsi Haskell sedang melakukan tugas yang sama. Bisakah kita …

9 design  functional-programming  haskell  architectural-patterns 

Saya telah diberitahu dalam pertanyaan sebelumnya bahwa bahasa pemrograman fungsional tidak cocok untuk sistem dinamis seperti mesin fisika, terutama karena mahal untuk bermutasi objek. Seberapa realistis pernyataan ini, dan mengapa?

9 functional-programming  haskell  clojure  immutability 

Saya telah memahami bahwa jauh sebelum Haskell, O'Caml atau LISP, fungsi-fungsi tingkat tinggi adalah subjek penelitian akademik dan dalam matematika, Schönfinkel (pada 1967) dan Haskell Curry (pada 1968) sudah menerapkan teknik seperti kari, tetapi itu sebelum tersedia dalam bahasa pemrograman apa pun. Skema, menurut Wikipedia , adalah bahasa pertama yang …

9 functional-programming  history  haskell  scheme  higher-order-functions