Pertanyaan yang diberi tag «functional-programming»



Menjelaskan fungsi aplikatif dalam istilah kategorikal - fungsi monoid
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 …




Apakah ada sistem verifikasi formal beranotasi untuk bahasa pemrograman fungsional murni?
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 …

Apa masalah praktis dengan tipe persimpangan dan persatuan?
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 …

Dapatkah biaya GC diabaikan ketika menganalisis waktu berjalan dari struktur data kasus terburuk yang ditentukan dalam bahasa pemrograman yang dikumpulkan sampah?
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 …

Apa batas-batas pemrograman fungsional total?
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 …

Teori kategori, kompleksitas komputasi, dan koneksi kombinatorik?
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 …

Bagaimana bahasa imperatif lebih berbeda satu sama lain daripada bahasa fungsional?
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 …

Pembaca, Penulis monads
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 …

Bootstrap pada Struktur Pohon Jari
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 …

(Bagaimana) Bisakah kita menemukan / menganalisis masalah NP tanpa adanya model komputasi Turing?
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 …

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.