Pertanyaan yang diberi tag «functional-programming»

Saya menonton ceramah oleh Jim Weirich, berjudul ' Adventures in Functional Programming '. Dalam kuliah ini, ia memperkenalkan konsep kombinator-Y, yang pada dasarnya menemukan titik tetap untuk fungsi-fungsi tingkat tinggi. Salah satu motivasi, seperti yang ia sebutkan, adalah untuk dapat mengekspresikan fungsi rekursif dengan menggunakan kalkulus lambda sehingga teori oleh …

19 lambda-calculus  functional-programming 

Profesor kami meminta kami untuk memikirkan fungsi dalam OCaml yang memiliki tipe 'a -> 'b yaitu fungsi dari satu argumen yang bisa berupa apa saja, dan yang dapat mengembalikan apa pun yang berbeda. Saya berpikir untuk menggunakan raisefungsi yang mengabaikan argumennya: let f x = raise Exit Tetapi profesor mengatakan …

19 programming-languages  typing  functional-programming 

Menurut artikel ini , baris kode Lisp berikut mencetak "Hello world" ke output standar. (format t "hello, world") Lisp, yang merupakan bahasa homoikonik , dapat memperlakukan kode sebagai data dengan cara ini: Sekarang bayangkan kita menulis makro berikut: (defmacro backwards (expr) (reverse expr)) mundur adalah nama makro, yang mengambil ekspresi …

16 programming-languages  functional-programming 

Dalam makalah Philip Wadler tentang Teorema untuk Bebas ia menyatakan dalam Bagian 2 tentang Parametrisitas itu tidak ada model teori set-naif kalkulus lambda polimorfik Dalam model set-theoretik naif jenis set dan fungsi adalah fungsi set-theoretik yang tampaknya masuk akal. Jadi mengapa dia mengatakan tidak ada model teori set-naif kalkulus lambda …

15 functional-programming 

Baru-baru ini saya menjadi sangat tertarik untuk memahami dan membuktikan aspek-aspek bahasa pemrograman (fungsional). Namun ketika saya menyelam lebih dalam, hal-hal seperti kalkulus , teori kategori, dan semantik denotasi agak sulit untuk diraih tanpa penjelasan yang tepat.λλ\lambda Saya membaca SICP (buku yang cukup mencerahkan) tetapi saya ingin menyelami teori pemrograman …

15 reference-request  lambda-calculus  functional-programming  books 

CPU sampai batas tertentu dirancang dengan mengingat perangkat lunak yang orang akan menulis untuk itu, secara implisit atau eksplisit. Tampak bagi saya bahwa jika Anda melihat desain arsitektur set instruksi, mereka sangat "penting", dalam arti bahwa setiap instruksi mengkodekan perintah gaya imperatif. Sepertinya saya juga bahwa arsitektur set instruksi saat …

14 computer-architecture  functional-programming 

Adakah yang bisa merujuk saya ke makalah peer-review yang mempelajari kelebihan atau kekurangan dari penulisan kode dengan gaya fungsional? Apakah ada makalah yang membahas aplikasi Lambda Calculus di berbagai bidang seperti Machine Learning, Desain Bahasa, dll?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

Pemrograman fungsional memiliki Lambda Calculus yang sangat elegan dan variannya sebagai teori cadangan. Apakah ada hal seperti itu untuk OOP? Apa yang dimaksud dengan abstraksi untuk model berorientasi objek?

13 terminology  lambda-calculus  functional-programming  object-oriented 

Saya telah mengajukan pertanyaan serupa di cstheory.SE . Menurut jawaban ini pada Stackoverflow ada algoritma yang pada bahasa pemrograman fungsional murni non-malas memiliki kompleksitas , sedangkan algoritma yang sama dalam pemrograman imperatif adalah Ω ( n ) . Menambahkan kemalasan ke bahasa FP akan membuat algoritma Ω ( n ) …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness 

Apakah ada perubahan yang dapat dilakukan pada CPU untuk membuatnya berkinerja lebih baik untuk runtime bersamaan seperti Rust? Misalnya, apakah ada perubahan pada implementasi prediksi cabang atau ukuran cache yang akan membantu runtime bersamaan? Saya memiliki kesan bahwa desain CPU saat ini mungkin lebih dioptimalkan untuk runtime prosedural seperti C. …

13 computer-architecture  concurrency  functional-programming 

Di wiki haskell ada contoh berikut penggunaan bersyarat dari IO monad (lihat di sini) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Perhatikan bahwa dalam contoh ini, definisi IO adiambil RealWorld -> (a, RealWorld)untuk membuat …

12 programming-languages  functional-programming  haskell 

Saya pikir mengerti bagaimana deforestasi mengkonsumsi dan menghasilkan daftar pada saat yang sama (dari lipatan dan fungsi buka - lihat jawaban yang bagus ini di CodeReview di sini ), tetapi ketika saya membandingkannya dengan entri wikipedia pada teknik ini, ia berbicara tentang 'menghapus' pohon dari sebuah program. Saya mengerti bagaimana …

12 terminology  compilers  functional-programming 

Misalkan seseorang ingin beralasan tentang sifat-sifat kode di luar hal-hal seperti totalitas dan kemurnian fungsional - orang juga peduli dengan konsumsi memori, atau kompleksitas algoritmik suatu fungsi. Bisakah ini dilakukan melalui sistem pengetikan dan efek dependen?

11 type-theory  functional-programming  dependent-types  inductive-datatypes 

Saya mencari struktur data persisten yang mirip dengan array (tetapi tidak bisa diubah), memungkinkan untuk pengindeksan cepat, menambahkan, prepend, dan operasi iterasi (good locality) operasi. Clojure menyediakan vektor persisten, tetapi hanya untuk penambahan cepat. Scala's Vector secara efektif menambahkan dan menambah waktu, tetapi saya tidak dapat menerapkannya, karena ini didasarkan …

11 data-structures  functional-programming  persistent-data-structure 

Dalam komentar untuk Belajar F #: Buku apa yang menggunakan bahasa pemrograman lain yang dapat diterjemahkan ke F # untuk mempelajari konsep fungsional? Makarius menyatakan: Perhatikan bahwa pendekatan "CPS" telah sangat merugikan kinerja di SML / NJ. Model evaluasi fisiknya melanggar terlalu banyak asumsi yang dibangun ke dalam perangkat keras. …

11 compilers  functional-programming  proof-assistants  continuations