Saya telah membaca sedikit tentang denotational semantic (DS) dan saya sangat tertarik dengan proses mendesain program komputer di mana jenis dan fungsi memiliki pemetaan yang kuat dan jelas untuk matematika.
Apakah ada sumber daya yang membahas perancangan program berdasarkan DS secara detail? Saya telah melihat beberapa perawatan yang dangkal dari subjek.
Saya fasih berbahasa Haskell, Scala, Common Lisp, dan sedikit Skema sehingga sumber daya apa pun yang menggunakan bahasa-bahasa itu akan sangat dihargai.
Jawaban:
Desain denotasional ( desain program yang berakar dan mengalir dari semantik denotasional) adalah metodologi utama saya. Beberapa tahun yang lalu ketika menulis tentang FRP, saya menjadi lebih jelas tentang apa yang telah saya lakukan. Lihat pemrograman reaktif fungsional Push-pull . Untuk deskripsi yang lebih eksplisit tentang paradigma dan berbagai contoh, lihat Desain denotasi dengan morfisme kelas tipe . Begitu saya sadar akan polanya, saya mulai mencarinya di mana-mana. Ketika gagal, saya tahu saya mengalami kebocoran abstraksi. Untuk deskripsi awal dan informal, lihat posting blog Luke Palmer Semantic Design .
Saya selalu tertarik dengan aplikasi desain denotasional, jadi saya ingin mendengar tentang penjelajahan Anda.
sumber
Kami telah menerapkan semantik denotasional untuk desain bahasa itu sendiri, dengan alasan bahwa desain bahasa, khususnya, bahasa khusus domain, harus dimulai dengan definisi semantik. Jika Anda tertarik pada detailnya, Anda mungkin ingin melihat Semantics-Driven DSL Design dan Semantics First! Memikirkan Kembali Proses Desain Bahasa .
sumber