Pertanyaan yang diberi tag «imperative-programming»

Pemrograman fungsional memiliki dasar teoritis dalam kalkulus lambda dan logika kombinatorik . Sebagai seseorang yang terlibat dalam komputasi statistik, saya menemukan konsep-konsep ini sangat berguna untuk pemodelan. Apakah ada dasar matematika yang setara dengan pemrograman imperatif , atau apakah itu hanya tumbuh dari aplikasi perangkat keras praktis dalam bahasa mesin …

48 imperative-programming  pl.programming-languages 

Mungkin aplikasi yang paling umum dari tipe linear dalam PL adalah menggunakannya untuk memberikan bahasa yang mengontrol aliasing (yaitu, nilai linier memiliki satu pointer ke sana, lebih atau kurang). Tetapi ada sedikit ketidakcocokan antara penggunaan ini dan model denotasional khas dari logika linier. IIRC, Benton menunjukkan bahwa jika kategori tertutup …

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

Dalam bagian "Pengantar Bahasa Pemrograman" Anthony Aaby tentang Semantik , ia membuat pengamatan berikut: Banyak pekerjaan dalam semantik bahasa pemrograman termotivasi oleh masalah yang dihadapi dalam mencoba membangun dan memahami program-program penting --- program dengan perintah penugasan. Karena perintah tugas menugaskan nilai ke variabel, tugas dapat memiliki efek yang tak …

19 imperative-programming  semantics  big-picture 

Saya membaca buku Simon Peyton Jones, Implementasi Bahasa Pemrograman Fungsional dan ada satu pernyataan yang sedikit mengejutkan saya (di halaman 39): Untuk tingkat yang jauh lebih besar daripada kasus untuk bahasa imperatif, bahasa fungsional sebagian besar variasi sintaksis satu sama lain, dengan perbedaan semantik yang relatif sedikit. Sekarang, ini ditulis …

17 functional-programming  semantics  imperative-programming 

Dalam pencarian saya untuk makalah penelitian tentang sistem tipe untuk bahasa imperatif, saya hanya menemukan solusi untuk bahasa dengan referensi yang bisa berubah tetapi tanpa struktur kontrol imperatif asli seperti operator majemuk, loop atau kondisional. Jadi tidak jelas bagaimana bahasa imperatif dengan inferensi tipe parsial seperti http://rust-lang.org dapat diimplementasikan. Makalah …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming