Pertanyaan yang diberi tag «functional-programming»

Sejak buku Chris Okasaki tahun 1998 "Struktur data murni fungsional", saya belum melihat terlalu banyak struktur data fungsional murni yang menarik muncul; Saya dapat menyebutkan beberapa saja: IntMap (juga ditemukan oleh Okasaki pada tahun 1998, tetapi tidak ada dalam buku itu) Pohon jari (dan generalisasi mereka atas monoids) Ada juga …

563 reference-request  big-list  ds.data-structures  functional-programming 

Pertanyaan ini terinspirasi oleh pertanyaan lain tentang apa yang baru dalam PFDS sejak penerbitan buku Okasaki pada tahun 1998 . Saya akan mulai dengan dua pertanyaan yang saya miliki: Apakah ada struktur data set fungsional murni yang mendekati kecepatan tabel hash? Mencoba belum ada di sana. Apakah ada pohon jari …

51 big-list  ds.data-structures  functional-programming 

Saya ingin memahami Applicativedalam hal teori kategori. The dokumentasi untuk Applicativemengatakan bahwa itu functor longgar monoidal kuat . Pertama, Wikipedia halaman tentang functors monoidal mengatakan bahwa functor monoidal adalah baik longgar atau kuat . Jadi menurut saya salah satu sumber salah, atau mereka menggunakan istilah secara berbeda. Adakah yang bisa …

40 lo.logic  type-theory  functional-programming  ct.category-theory 

Sebagian besar algoritma terkenal adalah urutan pertama, dalam arti bahwa input dan outputnya adalah data "biasa". Beberapa di antaranya adalah urutan kedua dengan cara sepele, misalnya menyortir, hashtable atau fungsi peta dan lipat: semuanya di-parameterkan oleh suatu fungsi, tetapi mereka tidak benar-benar melakukan sesuatu yang menarik dengannya kecuali memintanya pada …

35 ds.algorithms  functional-programming  ds.data-structures  pl.programming-languages 

Apakah ada bahasa pemrograman (fungsional?) Di mana semua fungsi memiliki bentuk kanonik? Yaitu, setiap dua fungsi yang mengembalikan nilai yang sama untuk semua rangkaian input direpresentasikan dengan cara yang sama, misalnya jika f (x) mengembalikan x + 1, dan g (x) mengembalikan x + 2, maka f (f (x) )) …

29 computability  pl.programming-languages  functional-programming  function 

Saat ini saya membaca " Lambda-Calculus and Combinators " oleh Hindley dan Seldin. Saya bukan ahli, tetapi selalu tertarik pada kalkulus lambda karena keterlibatan dengan pemrograman fungsional (dimulai dengan Lisp dan SICP, dan sekarang dengan R dan Haskell). Dalam " Binary Lambda Calculus and Combinatory Logic" , John Tromp menyatakan: …

26 combinatory-logic  functional-programming  lambda-calculus 

ACSL (Ansi C Spesifikasi Bahasa), adalah spesifikasi untuk kode C, dijelaskan dengan komentar khusus, yang memungkinkan kode C untuk diverifikasi secara resmi. Saya belum memeriksanya, tetapi saya membayangkan bahwa metode formal yang digunakan dalam verifier ACSL akan mirip dengan Hoare Logic. Untuk bahasa fungsional murni, seperti Haskell, saya tidak bisa …

25 lo.logic  pl.programming-languages  functional-programming  formal-methods  haskell 

Saya merancang bahasa pemrograman fungsional sederhana yang diketik secara statis sebagai pengalaman belajar. Tampaknya sistem tipe yang telah saya implementasikan sejauh ini dapat (dengan sedikit kerja ekstra) menggabungkan tipe persimpangan dan gabungan, misalnya Anda dapat memiliki: <Union String Integer> <Union Integer Foo> Perpotongan kedua tipe di atas akan menjadi dataran …

22 type-theory  functional-programming  type-inference  language-design 

Saya baru menyadari bahwa saya mengasumsikan jawaban untuk pertanyaan saya adalah "ya" tetapi saya tidak punya alasan yang bagus. Saya membayangkan bahwa mungkin ada pengumpul sampah yang terbukti hanya memperkenalkan pelambatan terburuk. Apakah ada referensi definitif yang bisa saya kutip? Dalam kasus saya, saya sedang mengerjakan struktur data yang berfungsi …

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

Apa keterbatasan pemrograman fungsional total? Ini bukan Turing-complete, tetapi masih mendukung sebagian besar dari program yang mungkin. Apakah ada konstruksi penting yang bisa Anda tulis dalam bahasa Turing-lengkap, tetapi tidak dalam bahasa fungsional total? Dan apakah benar mengatakan bahwa program yang ditulis dalam bahasa fungsional total dapat sepenuhnya dianalisis secara …

19 computability  pl.programming-languages  functional-programming 

Saya telah mencoba membaca " Mutiara Algoritma Fungsional desain ", dan kemudian " Aljabar Pemrograman ", dan ada korespondensi yang jelas antara rekursif (dan secara polinomi) didefinisikan tipe data dan objek kombinatorial, memiliki definisi rekursif yang sama dan kemudian memimpin untuk seri kekuatan formal yang sama (atau fungsi pembangkit), seperti …

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

Saya membaca buku Simon Peyton Jones, Implementasi Bahasa Pemrograman Fungsional dan ada satu pernyataan yang sedikit mengejutkan saya (di halaman 39): Untuk tingkat yang jauh lebih besar daripada kasus untuk bahasa imperatif, bahasa fungsional sebagian besar variasi sintaksis satu sama lain, dengan perbedaan semantik yang relatif sedikit. Sekarang, ini ditulis …

17 functional-programming  semantics  imperative-programming 

Biarkan menjadi CCC . Mari menjadi bifunctor produk pada . Karena Cat adalah CCC, kita dapat menjilat :CCC(×)(×)(\times)CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B Kategori memiliki struktur monoid biasa. C⇒CC⇒CC \Rightarrow C Sebuah monoid di adalah monad di . C⇒CC⇒CC …

17 functional-programming  pl.programming-languages  ct.category-theory 

Setelah bekerja dengan 2-3 pohon jari cukup lama saya terkesan dengan kecepatan mereka di sebagian besar operasi. Namun, satu masalah yang saya temui adalah overhead besar yang terkait dengan penciptaan awal pohon jari besar. Karena bangunan didefinisikan sebagai urutan operasi rangkaian Anda akhirnya membangun sejumlah besar struktur pohon jari yang …

16 ds.data-structures  functional-programming 

Dari sudut pandang matematika / komputasi murni abstrak, (bagaimana) seseorang dapat menemukan atau alasan tentang masalah seperti 3-SAT, Subset Sum, Travelling Salesman dll.,? Apakah kita bahkan dapat menalarinya dengan cara yang bermakna hanya dengan sudut pandang fungsional ? Apakah itu mungkin? Saya telah merenungkan pertanyaan ini murni dari sudut penyelidikan …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np