Pertanyaan yang diberi tag «lambda-calculus»

Pertanyaan mendasar: Apa yang dilakukan kalkulus lambda bagi kita yang tidak dapat kita lakukan dengan properti fungsi dasar dan notasi yang umumnya dipelajari dalam aljabar sekolah menengah? Pertama-tama, apa artinya abstrak dalam konteks kalkulus lambda? Pemahaman saya tentang kata abstrak adalah sesuatu yang terpisah dari mesin, ringkasan konsep dari suatu …

18 lambda-calculus  programming-paradigms 

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 

Apakah ada teknik untuk menyelesaikan persamaan fungsional untuk fungsi yang tidak diketahui dalam kalkulus lambda? Misalkan saya memiliki fungsi identitas yang didefinisikan secara ekstensi sebagai: Ix=xIx=xI x = x (yaitu, dengan menuliskan persamaan untuk perilaku yang diharapkan dari fungsi itu) dan sekarang saya ingin menyelesaikannya untuk dengan melakukan beberapa transformasi …

14 lambda-calculus 

Saya membaca tentang algoritma pengetikan Hindley-Milner saat menulis implementasi, dan melihat bahwa, selama setiap variabel terikat, Anda akan selalu mendapatkan tipe atau tipe atom di mana argumen akan menentukan tipe final, seperti t1 -> t1atau (t1 -> t2) -> (t1 -> t2)di mana t1dan t2jenis variabel. Saya tidak bisa memikirkan …

14 lambda-calculus  type-theory  typing  type-inference 

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 

Urutan yang berlaku: Selalu sepenuhnya mengevaluasi argumen dari suatu fungsi sebelum mengevaluasi fungsi itu sendiri, seperti - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 \ \rightarrow \ 9 Urutan …

14 logic  lambda-calculus  normal-forms 

Sebagian besar tutorial tentang Lambda Calculus memberikan contoh di mana Integer Positif dan Boolean dapat diwakili oleh Fungsi. Bagaimana dengan -1 dan saya?

14 data-structures  lambda-calculus  integers  real-numbers 

Saya pikir saya cukup bingung tentang apa yang disebut kalkulus dan apa yang disebut bahasa pemrograman. Saya cenderung berpikir, dan mungkin telah diberitahu, bahwa kalkulus adalah sistem formal untuk alasan tentang kesetaraan program. Program memiliki semantik operasional yang ditentukan oleh mesin, yang seharusnya (saya pikir?) Menjadi deterministik. Dengan cara ini, …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

Ekspresi kombinator (misalkan dalam basis SK) dapat dianggap sebagai fungsi yang memetakan ekspresi kalkulus kombinator ke ekspresi kalkulus kombinator. Artinya, seseorang dapat menganggap ekspresi XXX sebagai fungsi , di mana adalah himpunan semua ekspresi kombinator yang valid secara sintaksis dalam basis SK. Pemetaan ini dilakukan dengan menerapkan input ke ekspresi, …

13 lambda-calculus  combinatory-logic 

Saya ingin contoh quine dalam kalkulus lambda murni . Saya cukup terkejut bahwa saya tidak dapat menemukannya dengan googling. Halaman quine mencantumkan quine untuk banyak bahasa "nyata", tetapi tidak untuk kalkulus lambda. Tentu saja, ini berarti mendefinisikan apa yang saya maksudkan dengan quine dalam kalkulus lambda, yang saya lakukan di …

13 lambda-calculus 

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 

Pertama, saya ingin mengatakan bahwa teks saya di bawah ini mungkin mengandung kesalahan, jadi silakan tunjukkan kesalahan dalam perumusan pertanyaan saya. Pertimbangkan kalkulus lambda yang tidak diketik dengan boolean dan jika-pernyataan yang istilahnya diberikan oleh sintaks ini: t ::= v | t t | if t t t | x …

12 programming-languages  lambda-calculus 

Saya mencoba memahami tata bahasa konteks-sensitif. Saya mengerti mengapa bahasa disukai { w w ∣ w ∈ A∗}{ww∣w∈A∗}\{ww \mid w \in A^*\} { anbncn∣ n ∈ N }{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} bukan konteks bebas, tetapi apa yang ingin saya ketahui jika bahasa yang mirip dengan kalkulus lambda yang tidak …

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

Saya melihat Kalkulus Konstruksi dan tempatnya di Kubus Lambda . Jika saya mengerti dengan benar, setiap sumbu kubus dapat dianggap sebagai menambahkan operasi lain yang melibatkan jenis ke kalkulus yang diketik sederhana, λ→λ→\lambda_\to . Sumbu pertama menambahkan operator tipe-ke-istilah, operator tipe-ke-tipe kedua, dan operator mengetik-ketiga, atau operator tipe-ke-tipe. CoC memiliki …

11 terminology  lambda-calculus  type-theory  dependent-types