Programlama Dilleri #03 | Okunabilirlik ve Yazılabilirlik

Eğitmen: Dr. Süleyman Burak ÇELİK

Merhaba, Programlama Dilleri dersine hoş geldiniz. Bugün bir programı okumanın ve bir programı yazmanın ne anlama geldiğini ayıracağız. Aynı küçük hesabı birkaç gösterimle çalıştıracağız. Hesabın sonucu değişmeden adları ve yapıyı değiştirebiliriz. Böylece bir kodun daha kısa görünmesiyle ne yaptığının anlaşılması arasında otomatik bir eşitlik kurmamış oluruz. Önce davranışı tanımlayacağız, sonra gösterimin o davranışı ne kadar açık taşıdığını soracağız. Adlar, türler, tutarlı kurallar ve soyutlama ile aynı hesabı izlemek. Programlama dili kavramlarını gerçek konuşmayla eşleşen çalışan şemalar ve bağımsız doğrulanmış özgün örneklerle adım adım inceliyoruz. Bu derste: 1. Ad değişir, hesabın izi korunabilir 2. Tekrardaki değişen durum 3. Aynı işaret, tanımlanmış iki anlam 4. Bir bayrak, sıradan miktar değildir 5. Blok sınırı ve hesaplama sırası 6. Kuralların birleşimlerinde istisna 7. Soyutlama: ayrıntıyı adlandırılmış bir işlemde tut 8. Ortak kuralda bir değişikliği izlemek 9. İfade gücü, karakter sayısından geniştir Bölümler: 0:00 Okumak ve yazmak: iki ayrı soru 1:24 Üç satırlık öğretim hesabı 2:42 Ad değişir, hesabın izi korunabilir 3:58 Tekrardaki değişen durum 5:15 Aynı işaret, tanımlanmış iki anlam 6:35 Bir bayrak, sıradan miktar değildir 7:53 Blok sınırı ve hesaplama sırası 9:16 Kuralların birleşimlerinde istisna 10:34 Soyutlama: ayrıntıyı adlandırılmış bir işlemde tut 11:52 Ortak kuralda bir değişikliği izlemek 13:06 İfade gücü, karakter sayısından geniştir 14:29 Özelliği, problem ve okuyanın bağlamıyla değerlendir 15:48 Açık ilişki, tanımlı davranış, bağımsız kontrol Kaynak kitap: Sebesta, Concepts of Programming Languages, 12e, §1.3.1–1.3.2. Fiziksel PDF41–50 gerçekten okundu; reflow ebook sabit sayfa farkı yok. Kavram ve konu sırası kaynak kitaptan izlenir; anlatım, şemalar ve sayısal örnekler özgündür. Gösterilen hesaplar açıkça tanımlı öğretim modeline aittir; gerçek dillerin performans ölçümü veya bütün girdiler için biçimsel kanıt değildir. Kaynak kitap kullanıcı tarafından temin edildi. Hedef kitle: bilgisayar mühendisliği ve yazılım öğrencileri.