Ini adalah pertanyaan teoretis, tetapi setelah bertahun-tahun pemrograman dalam apa yang sekarang saya sadari adalah teknik imperatif "normal", terutama menggunakan C ++, saya telah menemukan dunia pemrograman fungsional lain ini, yang saya temukan secara tidak sengaja ketika saya belajar...
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...
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...
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:...
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,...
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...
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...
(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...
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...
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...
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...
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...
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...
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...
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...
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,...
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...
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...
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...
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...