Pertanyaan yang diberi tag «functional-programming»

Karena ada kalkulus lambda yang tidak diketik, dan kalkulus lambda yang diketik sederhana (seperti yang dijelaskan, misalnya, dalam buku Jenis dan Bahasa Pemrograman Benjamin Pierce), apakah ada logika kombinatorik yang diketik secara sederhana? Sebagai contoh, akan terlihat bahwa tipe alami untuk kombinator S, K, dan saya adalah S : (a …

8 logic  lambda-calculus  functional-programming  combinatory-logic 

Saya terutama tertarik pada solusi untuk masalah yang dirangkum pencarian tergantung pada urutan evaluasi. Menurut [1], pencarian terenkapsulasi dalam PAKCS tergantung pada urutan evaluasi, sementara di MCC, itu tidak, tetapi menggunakannya membutuhkan pengetahuan tentang implementasi kompiler dan tidak mengikuti spesifikasi bahasa Curry. Ini ditulis pada 2007, jadi tentu saja sudah …

8 reference-request  functional-programming  nondeterminism  logic-programming 

Apa artinya ketika suatu argumen ke suatu fungsi disebut argumen dummy ? Saya belum menemukan istilah ini di luar Fortran, apakah ini istilah umum dalam ilmu komputer? Apa yang akan menjadi contoh argumen yang diteruskan sebagai dummy dan tidak dianggap sebagai dummy? Saya menemukan definisi ini , yang saya tidak …

8 terminology  programming-languages  functional-programming 

Saya belajar pemrograman dalam ML (OCaml), dan sebelumnya saya bertanya tentang fungsi tipe ML'a -> 'b . Sekarang saya sudah bereksperimen sedikit dengan fungsi tipe 'a list -> 'b list. Ada beberapa contoh sederhana yang jelas: let rec loop l = loop l let return_empty l = [] let rec …

8 programming-languages  typing  functional-programming