Pertanyaan yang diberi tag «programming-languages»

Pertanyaan terkait dengan desain, implementasi, dan analisis bahasa pemrograman. BUKAN untuk pertanyaan tentang cara memprogram, yang di luar topik di situs ini.





1
Ekspresifitas dari ekspresi reguler modern
Baru-baru ini saya berdiskusi dengan seorang teman tentang sebuah situs web yang mengusulkan tantangan regex, terutama mencocokkan sekelompok kata dengan properti khusus. Dia sedang mencari regex yang cocok dengan string seperti di ||||||||mana jumlah |prima. Saya segera mengatakan kepadanya bahwa tidak akan pernah berhasil karena jika bahasa seperti itu biasa, …


1
Representasi rangkaian pada level type
Saya ingin belajar lebih banyak tentang pemrograman concatenative melalui pembuatan bahasa kecil yang sederhana, berdasarkan stack dan mengikuti paradigma concatenative. Sayangnya, saya belum menemukan banyak sumber daya mengenai bahasa konkatatif dan implementasinya, jadi maafkan saya sebelumnya untuk kemungkinan kenaifan saya. Karena itu saya mendefinisikan bahasa saya sebagai urutan sederhana rangkaian …



1
Bisakah bahasa formal digunakan untuk mempelajari notasi matematika?
Pertanyaan: Apakah ada teks pengantar dalam bahasa formal atau teori bahasa pemrograman yang membahas bagaimana menerapkannya pada studi notasi optimal? Secara khusus, saya tertarik untuk mempelajari apa bahasa stack, pohon parse, dan indeks, dan bagaimana memprediksi kapan suatu jenis notasi tertentu akan mengarah pada redundansi eksponensial. Saya pada dasarnya tidak …

1
Analisis Aliran Data dengan pengecualian
Analisis aliran data bekerja di atas grafik aliran kontrol. Ketika bahasa yang dipertimbangkan mendukung pengecualian, grafik aliran kontrol dapat meledak. Apa teknik standar untuk menghadapi ledakan ini? Bisakah kita mengabaikan tepi yang dipicu oleh pengecualian? Bagaimanapun juga, aliran data menganalisis perhitungan perkiraan yang berlebihan, sehingga kami akan berakhir dengan solusi …




1
Lambda Calculus: Bagaimana konteks evaluasi "bekerja"
Dalam kalkulus lambda murni, kita memiliki seperangkat istilah yang didefinisikan secara induktif (tata bahasa): e::=x∣λx.e∣e1e2e::=x∣λx.e∣e1e2e::= x \mid \lambda x . e \mid e_1 e_2 Di bawah strategi evaluasi panggilan-oleh-nilai, kami memiliki aturan inferensi untuk pengurangan beta dan aturan tentang cara mengevaluasi aplikasi (aturan kongruensi). Saya mencoba memahami bagaimana konteks evaluasi …

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.