Pertanyaan yang diberi tag «functional-programming»

Mungkin sumber utama masalah kinerja di Haskell adalah ketika sebuah program secara tidak sengaja membangun sebongkah kedalaman tak terbatas - ini menyebabkan kebocoran kehabisan memori dan potensi stack overflow saat mengevaluasi. Contoh klasik didefinisikan sum = foldr (+) 0dalam Haskell. Apakah ada sistem tipe yang secara statis memberlakukan kurangnya pemogokan …

10 type-theory  functional-programming  program-verification 

Kita tahu bahwa beta-equality dari istilah lambda yang diketik adalah mudah untuk dipilih. Diberikan M, N: σ → τ, apakah dapat ditentukan apakah untuk semua X: σ, MX ≃β≃β≃_β NX?

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

Saya telah membaca sedikit tentang struktur data berikut: Ideal Hash Tries dari Bagwell Tabel hash Dinamis Larson Pohon merah-hitam Pohon Patricia ... dan saya yakin ada banyak orang lain di luar sana. Saya telah melihat sangat sedikit di mana masing-masing lebih cocok untuk, atau mengapa saya akan memilih satu dari …

10 ds.data-structures  functional-programming  tree  hash-function 

Stratego adalah bahasa transformasi pemrograman / Menulis Ulang DSL. Anthony Sloane telah melakukan beberapa pekerjaan melakukan implementasi yang berjalan di Scala . Apa batas teoritis Stratego sebagai bahasa fungsional? (terlepas dari implementasi). Bisakah seseorang menulis ycombinator pesanan aplikatif di Stratego?

10 functional-programming 

Janin, jika Anda belum pernah mendengarnya, dapat dibaca di sini . Ia menggunakan sistem 'matriks panggilan' dan 'grafik panggilan' untuk menemukan semua 'perilaku rekursi' dari panggilan rekursif dalam suatu fungsi. Untuk menunjukkan bahwa suatu fungsi berakhir, itu menunjukkan bahwa semua perilaku rekursi dari panggilan rekursif yang dilakukan pada suatu fungsi …

9 lo.logic  computability  functional-programming 

Apakah ada sistem yang mirip dengan kalkulus lambda yang normalisasi kuat, tanpa perlu menambahkan sistem tipe di atasnya?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

Sejauh yang saya tahu, fungsi Haskell dengan batasan kelas tipe secara internal dikompilasi ke fungsi dengan argumen tambahan yang menerima kamus dengan implementasi yang diperlukan dari setiap kelas tipe tertentu. Apakah ada kemungkinan lain bagaimana mengkompilasi kelas tipe? Jika demikian, apa kelebihan mereka? Dan kompiler apa yang menggunakannya?

9 pl.programming-languages  functional-programming  compilers  type-systems 

Saya mencari konsep dalam teori tipe yang saya yakin mungkin telah dieksplorasi, tetapi tidak tahu nama di baliknya. Mari kita pertimbangkan bahasa seperti ML dengan tipe produk dan jumlah dan sistem tipe seperti Hindley-Milner. Saya akan menggunakan sintaks OCaml. Saya bertanya-tanya tentang cara dua nilai yang berbeda dapat berbeda. Menggunakan …

8 type-theory  functional-programming 

Sebagian besar sumber daya mengenai pengertian kategoris dalam pemrograman menggambarkan monad, tetapi saya belum pernah melihat deskripsi kategorik dari monad transformer. Bagaimana transformator monad dijelaskan dalam istilah teori kategori? Secara khusus, saya akan tertarik pada: hubungan antara trafo monad dan pangkalan monadanya; hubungan antara mereka dan monad yang mereka ubah …

8 type-theory  functional-programming  ct.category-theory  haskell  monad 

Saya telah menemukan aplikasi web ini yang memungkinkan Anda menghasilkan teorema gratis untuk jenis tertentu. Teorema yang dihasilkan mengukur lebih dari jenis dan hubungan pada jenis ini. Teorema ini (rumus) adalah teorema yang mana dari teori / sistem logis? Bagaimana sistem ini berhubungan dengan teori persamaan bahasa?

8 lo.logic  functional-programming  type-systems  parametricity  logical-relations 

Saya telah bermain-main dengan resumptions akhir-akhir ini, sebagian besar dari karya klasik Abramsky Retracing Some Paths in Process Algebra . Mereka cukup licin (pada dasarnya solusi untuk persamaan domain ), dan sangat mengingatkan pada jaringan Kahn.R=I→(O×R)R=I→(O×R)R = I \to (O \times R) Tentu saja, pengamatan ini tidak asli bagi saya …

8 reference-request  pl.programming-languages  functional-programming 

Saat menulis program Petri Net, saya dihadapkan dengan pilihan tentang struktur data untuk mewakili grafik. Daftar adjacency (yaitu daftar yang menyebutkan busur masuk dan keluar dari masing-masing tempat atau transisi) mudah diimplementasikan, tetapi ketika saya sedang mempelajari teori petri nets, saya dibawa dengan keindahan pendekatan persamaan-persamaan berbasis matriks - yang …

8 ds.data-structures  functional-programming  sparse-matrix