Pertanyaan yang diberi tag «haskell»

Ditutup . Pertanyaan ini didasarkan pada pendapat . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga dapat dijawab dengan fakta dan kutipan dengan mengedit posting ini . Ditutup 4 tahun yang lalu . Mengapa jenis Opsi Scala tidak disebut Maybe, seperti di Haskell? Mungkin lebih masuk …

13 language-design  haskell  scala  naming-standards  monad 

Sunting: Saya sedikit mengulang pertanyaan itu. Rupanya saya menyebabkan beberapa kebingungan karena saya tidak menyadari bahwa istilah destructor digunakan dalam OOP untuk sesuatu yang sangat berbeda - itu adalah fungsi yang dipanggil ketika suatu objek sedang dihancurkan. Dalam pemrograman fungsional kita (mencoba) menghindari keadaan yang bisa berubah sehingga tidak ada …

13 terminology  functional-programming  haskell  data 

Saya meninggalkan pekerjaan (untuk pindah ke negara lain) di mana saya diprogram dalam Javascript dan Haskell (beberapa python) sebagian besar waktu. Saya benar-benar menyukainya karena orang-orangnya objektif, positif, matematis, dan belum menyelesaikan banyak hal. Ini adalah toko yang benar-benar profesional. Sekarang saya bekerja di toko Agile / XP. Meskipun ini …

13 ruby  haskell  agile 

Seperti yang ada saat ini, pertanyaan ini tidak cocok untuk format Tanya Jawab kami. Kami berharap jawaban didukung oleh fakta, referensi, atau keahlian, tetapi pertanyaan ini kemungkinan akan mengundang debat, argumen, polling, atau diskusi panjang. Jika Anda merasa bahwa pertanyaan ini dapat diperbaiki dan mungkin dibuka kembali, kunjungi pusat bantuan …

13 learning  functional-programming  lisp  haskell  recursion 

Apakah mungkin menggunakan tipe statis atau dependen untuk membuktikan fungsi idempoten? Saya telah mencari Google dan berbagai tempat di StackOverflow / StackExchange untuk jawabannya tetapi tidak berhasil. Yang paling dekat yang saya temukan adalah percakapan tentang Idris ini: https://groups.google.com/forum/#!topic/idris-lang/yp7vrspChRg Sayangnya, diskusi itu sedikit di luar kepala saya.

12 haskell 

Berikut ini adalah masalah pemrograman sederhana dari SPOJ: http://www.spoj.com/problems/PROBTRES/ . Pada dasarnya, Anda diminta untuk menampilkan siklus Collatz terbesar untuk angka antara i dan j. (Siklus collatz dari sejumlah $ n $ adalah jumlah langkah untuk akhirnya mendapatkan dari $ n $ ke 1.) Saya telah mencari cara Haskell untuk …

12 programming-practices  functional-programming  haskell 

Di Haskell, functor typeclass Functor didefinisikan sebagai berikut (lihat misalnya Haskell wiki ): class Functor (f :: * -> *) where fmap :: (a -> b) -> f a -> f b Sejauh yang saya mengerti (perbaiki saya jika saya salah), functor seperti hanya dapat memiliki kategori sasaran kategori dibangun …

12 haskell 

(perhatikan saya mengajukan pertanyaan di sini karena ini tentang mekanisme konseptualnya, daripada masalah pengkodean) Saya sedang mengerjakan sebuah program kecil, yang menggunakan urutan angka-angka fibonacci dalam persamaannya, tetapi saya perhatikan bahwa jika saya mendapatkan lebih dari jumlah tertentu ia menjadi sangat lambat, mencari-cari sedikit, saya menemukan sebuah teknik di Haskell …

12 haskell  recursion 

Saya belajar pemrograman fungsional dengan Haskell . Sementara itu saya sedang belajar teori Automata dan karena keduanya tampaknya cocok bersama saya sedang menulis perpustakaan kecil untuk bermain dengan automata. Inilah masalah yang membuat saya mengajukan pertanyaan. Saat mempelajari cara untuk mengevaluasi jangkauan suatu negara saya mendapat ide bahwa algoritma rekursif …

12 algorithms  functional-programming  haskell 

Jadi saya melakukan klien javascript / html yang cukup terlibat dengan banyak panggilan ajax dan keterlibatan lainnya dari callback-isme. Saya menghibur pemikiran menggunakan Fay untuk tujuan ini. Saya tahu Elm. Mencobanya dan menyukai elemen FRP. Sekarang saya ingin tahu apakah struktur serupa dimungkinkan di Fay. Apakah ada contoh nyata dari …

12 javascript  functional-programming  haskell  paradigms 

Saya akan memulai proyek simulasi / pemodelan. Saya sudah tahu bahwa OOP digunakan untuk proyek semacam ini. Namun, mempelajari Haskell membuat saya mempertimbangkan untuk menggunakan paradigma FP untuk pemodelan sistem komponen. Biarkan saya uraikan: Katakanlah saya memiliki komponen tipe A, dicirikan oleh seperangkat data (parameter seperti suhu atau tekanan, PDE …

12 c++  object-oriented  functional-programming  haskell  modeling 

Seperti halnya FP, pada akhirnya, semua program kami terstruktur. Artinya, tidak masalah seberapa murni atau fungsional kita membuat mereka - mereka selalu diterjemahkan ke perakitan, jadi apa yang sebenarnya berjalan di balik tudung adalah instruksi, status dan loop. Kami semacam meniru FP. Sebagai perangkat keras noob, pertanyaan saya adalah: mengapa …

12 functional-programming  computer-science  haskell  lisp  clojure 

Intuisi jenis opsional seperti Maybe Intadalah bahwa baik ada ada Int (dengan demikian, ada Nothingada) atau bahwa ada beberapa Int; ada sesuatu di sana. Masuk akal bagi saya bahwa kami memanggil konstruktor tipe untuk kasus "negatif" Nothing, karena artinya persis seperti itu - bahwa tidak ada di Intsana. Tetapi mengapa …

11 functional-programming  haskell  data-types  null 

Saya ingin mendefinisikan kelas tipe untuk objek geometris yang dapat disatukan: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies Idenya adalah memiliki fungsi persimpangan tujuan umum yang dapat menangani objek dari berbagai jenis. Orang bisa …

11 haskell  type-systems  typeclass 

Kami menerapkan pustaka kompresi matriks berdasarkan sintaksis tata bahasa dua dimensi yang dimodifikasi. Sekarang kami memiliki dua pendekatan untuk tipe data kami - yang mana akan lebih baik jika menggunakan memori? (kami ingin mengompresi sesuatu;)). Tata bahasa mengandung NonTerminals dengan tepat 4 Productions atau Terminal di sisi kanan. Kami akan …

11 functional-programming  haskell  memory  grammar