Pertanyaan yang diberi tag «programming-languages»

Saya sering bekerja dengan lexer / parser , sebagai lawan dari parser combinator dan melihat orang-orang yang tidak pernah mengambil kelas dalam parsing, bertanya tentang parsing data biner. Biasanya data tidak hanya biner tetapi juga peka konteks. Ini pada dasarnya menyebabkan hanya memiliki satu jenis token, token untuk byte. Adakah …

13 programming-languages  compilers  parsers 

Di wiki haskell ada contoh berikut penggunaan bersyarat dari IO monad (lihat di sini) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Perhatikan bahwa dalam contoh ini, definisi IO adiambil RealWorld -> (a, RealWorld)untuk membuat …

12 programming-languages  functional-programming  haskell 

Tutup. Pertanyaan ini di luar topik . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga sesuai topik untuk Computer Science Stack Exchange. Ditutup 10 bulan lalu . Python cukup terkenal menggunakan lekukan untuk secara sintaksis mendefinisikan blok kode. (Lihat pernyataan majemuk dalam Referensi Bahasa Python). Setelah …

12 programming-languages  python  syntax 

Saya suka semua itu waktu kompilasi dan saya suka ide bahwa setelah Anda menyusun program banyak jaminan dibuat tentang eksekusi itu. Secara umum sistem tipe statis (Haskell, C ++, ...) tampaknya memberikan jaminan waktu kompilasi yang lebih kuat daripada sistem tipe dinamis apa pun. Dari apa yang saya pahami, Ada …

12 programming-languages  type-theory  type-checking  software-verification 

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 

Baru-baru ini saya menyadari bahwa ada semacam hubungan antara teori tipe Russell dan sistem tipe, seperti yang ditemukan misalnya dalam Haskell. Sebenarnya, beberapa notasi untuk tipe di Haskell tampaknya memiliki prekursor dalam tipe teori. Tapi, IMHO, motivasi Russell pada tahun 1908 adalah untuk menghindari paradoks Russell, dan saya tidak yakin …

12 programming-languages  type-theory 

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 

Saat membuat klien untuk API web di C #, saya mengalami masalah terkait nulldengan nilai yang mewakili dua hal yang berbeda: tidak ada , mis. foomungkin atau mungkin tidakbar tidak diketahui : secara default respons API hanya mencakup subset properti, Anda harus menunjukkan properti tambahan yang Anda inginkan. Jadi tidak …

11 programming-languages  language-design 

Apakah ada alat untuk membuat prototipe semantik bahasa pemrograman dan sistem tipe dan itu juga memungkinkan untuk semacam pengecekan model properti standar, seperti tipe kesehatan? Saya menanyakan hal ini, karena saya membaca buku tentang Paduan dan menyediakan fungsionalitas tepat yang saya inginkan, tetapi untuk model yang diungkapkan menggunakan logika relasional. …

11 reference-request  programming-languages  semantics  model-checking 

Mengapa bahasa tingkat tinggi sepertinya tidak pernah mencapai bahasa tingkat rendah dalam hal kecepatan? Contoh bahasa tingkat tinggi adalah Python, Haskell, dan Java. Bahasa tingkat rendah akan lebih sulit untuk didefinisikan, tetapi katakanlah C. Perbandingan dapat ditemukan di seluruh Internet 1 dan mereka semua setuju bahwa C jauh lebih cepat, …

11 programming-languages  performance 

Sebuah jawaban pada Programmers.SE ciri esai oleh Masak ( Objects tidak ADT ) yang mengatakan Objek berperilaku seperti fungsi karakteristik atas nilai-nilai tipe, bukan sebagai aljabar. Objek menggunakan abstraksi prosedural daripada jenis abstraksi ADT biasanya memiliki implementasi unik dalam suatu program. Ketika bahasa seseorang memiliki modul, ada kemungkinan untuk memiliki …

11 programming-languages  object-oriented  abstract-data-types 

Saya mencoba untuk mendapatkan gambaran besar tentang pentingnya titik tetap (lfp) dalam analisis program. Misalnya interpretasi abstrak tampaknya menggunakan keberadaan lfp. Banyak makalah penelitian tentang analisis program juga sangat berfokus pada menemukan titik paling tidak tetap. Lebih khusus lagi, artikel ini di wikipedia: Knaster-Tarski Theorem menyebutkan bahwa lfp digunakan untuk …

11 programming-languages  finite-model-theory  fixed-point 

Saya membutuhkan definisi singkat dari "keadaan suatu objek" dalam pemrograman berorientasi objek (untuk makalah). Sekitar setengah hari saya mencari makalah yang bisa saya kutip tentang topik ini, tetapi saya tidak dapat menemukannya. Semua makalah yang saya temukan sebagian besar makalah umum tentang pemrograman berorientasi objek dan mereka tidak menentukan keadaan …

11 terminology  reference-request  programming-languages  object-oriented 

Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Saya sedang mengerjakan bahasa berbasis ekspresi dari silsilah ML, jadi tentu saja perlu inferensi jenis> :) Sekarang, saya mencoba untuk memperluas solusi berbasis kendala untuk masalah tipe menyimpulkan, berdasarkan pada implementasi sederhana dalam EOPL (Friedman dan Wand), tetapi mereka secara elegan memihak tipe data aljabar. Apa yang saya miliki sejauh …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing