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...
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...
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,...
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...
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...
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...
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...
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...
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...
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...
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...
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 if x then T else F; Z =>...
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...
Apakah secara teori dimungkinkan untuk menentukan bahasa pemrograman yang tidak dapat diterapkan? Bahasa pemrograman adalah cara mendefinisikan fungsi. Implementasi berarti metode untuk menjalankan program yang diberikan dalam bahasa itu pada input yang diberikan ke output fungsi yang sesuai dengan...
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...
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...
Apakah ada bahasa pemrograman (atau logika) yang dapat mengimplementasikan (atau mengekspresikan) fungsi jika dan hanya jika f adalah fungsi bijektif yang dapat dihitung?f:N→Nf:N→Nf:\mathbb{N}\to
Berasal dari latar belakang C ++ saya tidak mengerti mengapa seseorang membutuhkan tipe / tipe ekspresi sebagai warga negara kelas satu? Satu-satunya bahasa yang saya tahu yang mendukung fitur ini adalah Aldor. Adakah yang punya literatur tentang tipe sebagai warga negara kelas satu atau tahu...
Whist membaca sebuah artikel yang menguraikan perbedaan dalam pemrograman OO dan Fungsional. Saya menemukan pointer fungsi. Sudah lama sejak saya menyelesaikan gelar Ilmu Komputer saya (2003) dan jadi saya mencari petunjuk untuk menyegarkan ingatan saya. Pointer adalah variabel yang berisi...
Untuk fungsi atau perhitungan, kami memiliki istilah seperti: Deterministik - Determinisme Murni - Kemurnian Sekarang apa kata benda yang tepat untuk bebas efek samping ? "Efek samping"? "Kebebasan efek samping"? "Tidak efektif dari