Pertanyaan yang diberi tag theory

12
Program bebas bug secara teoritis

Saya telah membaca banyak artikel yang menyatakan bahwa kode tidak dapat bebas bug, dan mereka berbicara tentang teorema ini: Menghentikan masalah Teorema ketidaklengkapan Gödel Teorema Rice Sebenarnya teorema Rice tampak seperti implikasi dari masalah penghentian dan masalah penghentian...

11
Apa implikasi praktis dari teori tipe homotopy dalam pemrograman?

Saya baru mulai belajar Haskell, setelah datang dari dunia JavaScript / Ruby. Saya telah menemukan https://github.com/HoTT dan buku Teori Tipe Homotopy , yang sangat ingin saya baca. Namun, saya akan belajar konsep teori matematika dan tipe saat saya pergi, jadi sepertinya akan butuh waktu lama...

10
Lebih banyak kode = lebih banyak bug

Kembali di perguruan tinggi, saya ingat seorang profesor mengajar di kelas salah satu hukum ilmu komputer. Dia mengatakan sesuatu seperti "Lebih banyak kode sama dengan lebih banyak bug" dan memberinya nama (The Law Of Whatchamacallit) dan menghubungkannya dengan seseorang. Adakah yang tahu dari...

9
Analisis Leksikal tanpa ekspresi reguler

Saya telah melihat beberapa lexer di berbagai bahasa tingkat yang lebih tinggi ( Python , PHP , Javascript antara lain) dan mereka semua tampaknya menggunakan ekspresi reguler dalam satu bentuk atau lainnya. Walaupun saya yakin regex mungkin adalah cara terbaik untuk melakukan ini, saya...

8
kinerja versus usabilitas ulang

Bagaimana saya bisa menulis fungsi yang dapat digunakan kembali tanpa mengorbankan kinerja? Saya berulang kali menghadapi situasi di mana saya ingin menulis fungsi dengan cara yang membuatnya dapat digunakan kembali (misalnya tidak membuat asumsi tentang lingkungan data) tetapi mengetahui...