Dalam basis kode yang kompleks, interaksi kompleks dari efek samping adalah hal paling sulit yang saya temukan untuk dipikirkan. Saya hanya bisa berbicara secara pribadi dengan cara otak saya bekerja. Efek samping dan keadaan persisten dan input bermutasi dan sebagainya membuat saya harus berpikir tentang "kapan" dan "di mana" sesuatu terjadi dengan alasan tentang kebenaran, bukan hanya "apa" yang terjadi di setiap fungsi individu.
Saya tidak bisa hanya fokus pada "apa". Saya tidak dapat menyimpulkan setelah benar-benar menguji suatu fungsi yang menyebabkan efek samping yang akan menyebarkan udara keandalan di seluruh kode yang menggunakannya, karena penelepon mungkin masih menyalahgunakannya dengan memanggilnya pada waktu yang salah, dari utas yang salah, di salah memesan. Sementara itu fungsi yang tidak menyebabkan efek samping dan hanya mengembalikan output baru yang diberikan input (tanpa menyentuh input) sangat tidak mungkin untuk disalahgunakan dengan cara ini.
Tapi saya tipe pragmatis, saya pikir, atau setidaknya mencoba untuk menjadi, dan saya tidak berpikir kita harus menghapus semua efek samping seminimal mungkin untuk alasan tentang kebenaran kode kita (paling tidak paling tidak Saya akan menemukan ini sangat sulit dilakukan dalam bahasa seperti C). Di mana saya merasa sangat sulit untuk beralasan tentang kebenaran adalah ketika kita memiliki kombinasi aliran kontrol yang kompleks dan efek samping.
Alur kontrol kompleks kepada saya adalah yang bersifat seperti grafik, sering rekursif atau rekursif (antrian acara, misalnya, yang tidak secara langsung menyebut peristiwa secara rekursif tetapi bersifat "rekursif-suka"), mungkin melakukan hal-hal dalam proses melintasi struktur grafik tertaut yang sebenarnya, atau memproses antrian peristiwa non-homogen yang berisi campuran eklektik peristiwa untuk diproses membawa kita ke semua jenis bagian basis kode yang berbeda dan semua memicu efek samping yang berbeda. Jika Anda mencoba untuk menggambar semua tempat yang pada akhirnya Anda akan berakhir dalam kode, itu akan menyerupai grafik yang kompleks dan berpotensi dengan node dalam grafik yang Anda tidak pernah harapkan akan ada di sana pada saat itu, dan mengingat bahwa mereka semua menyebabkan efek samping,
Bahasa fungsional dapat memiliki aliran kontrol yang sangat kompleks dan rekursif, tetapi hasilnya sangat mudah dipahami dalam hal kebenaran karena tidak ada segala macam efek samping eklektik yang terjadi dalam proses. Hanya ketika aliran kontrol yang kompleks memenuhi efek samping eklektik, saya merasa sakit kepala untuk mencoba memahami keseluruhan dari apa yang terjadi dan apakah itu akan selalu melakukan hal yang benar.
Jadi ketika saya memiliki kasus-kasus itu, saya sering merasa sangat sulit, jika bukan tidak mungkin, merasa sangat yakin tentang kebenaran kode tersebut, apalagi sangat yakin bahwa saya dapat membuat perubahan pada kode tersebut tanpa tersandung pada sesuatu yang tidak terduga. Jadi solusinya bagi saya ada yang menyederhanakan aliran kontrol atau meminimalkan / menyatukan efek samping (dengan menyatukan, maksud saya seperti hanya menyebabkan satu jenis efek samping ke banyak hal selama fase tertentu dalam sistem, bukan dua atau tiga atau lusin). Saya perlu salah satu dari dua hal itu terjadi untuk memungkinkan otak bodoh saya merasa yakin tentang kebenaran kode yang ada dan kebenaran perubahan yang saya perkenalkan. Sangat mudah untuk merasa yakin tentang kebenaran kode yang memperkenalkan efek samping jika efek sampingnya seragam dan sederhana bersama dengan aliran kontrol, seperti:
for each pixel in an image:
make it red
Sangat mudah untuk alasan tentang kebenaran kode tersebut, tetapi terutama karena efek sampingnya sangat seragam dan aliran kontrolnya sangat sederhana. Tetapi katakanlah kita memiliki kode seperti ini:
for each vertex to remove in a mesh:
start removing vertex from connected edges():
start removing connected edges from connected faces():
rebuild connected faces excluding edges to remove():
if face has less than 3 edges:
remove face
remove edge
remove vertex
Maka ini adalah pseudocode yang terlalu sederhana yang biasanya melibatkan lebih banyak fungsi dan loop bersarang dan lebih banyak hal yang harus dilakukan (memperbarui beberapa peta tekstur, bobot tulang, keadaan pemilihan, dll), tetapi bahkan kodesemu membuatnya sangat sulit untuk alasan tentang kebenaran karena interaksi aliran kontrol seperti grafik yang kompleks dan efek samping yang terjadi. Jadi satu strategi untuk menyederhanakan itu adalah menunda pemrosesan dan hanya fokus pada satu jenis efek samping pada suatu waktu:
for each vertex to remove:
mark connected edges
for each marked edge:
mark connected faces
for each marked face:
remove marked edges from face
if num_edges < 3:
remove face
for each marked edge:
remove edge
for each vertex to remove:
remove vertex
... sesuatu untuk efek ini sebagai satu iterasi penyederhanaan. Itu berarti kita melewati data beberapa kali yang pasti menimbulkan biaya komputasi, tetapi kita sering menemukan kita dapat multithread kode yang dihasilkan lebih mudah, sekarang efek samping dan aliran kontrol telah mengambil sifat yang seragam dan lebih sederhana ini. Lebih jauh, setiap loop dapat dibuat lebih ramah-cache daripada melintasi grafik yang terhubung dan menyebabkan efek samping saat berjalan (mis: gunakan bit paralel yang disetel untuk menandai apa yang perlu dilalui sehingga kita dapat melakukan pass yang ditangguhkan dalam urutan berurutan yang diurutkan) menggunakan bitmasks dan FFS). Tetapi yang paling penting, saya menemukan versi kedua jauh lebih mudah untuk dipikirkan dalam hal kebenaran serta perubahan tanpa menyebabkan bug. Yang seperti itu'
Lagi pula, kita perlu efek samping terjadi di beberapa titik, atau kita hanya akan memiliki fungsi yang menghasilkan data tanpa tempat. Seringkali kita perlu merekam sesuatu ke file, menampilkan sesuatu ke layar, mengirim data melalui soket, sesuatu seperti ini, dan semua ini adalah efek samping. Tetapi kita pasti dapat mengurangi jumlah efek samping berlebihan yang terjadi, dan juga mengurangi jumlah efek samping yang terjadi ketika kontrol mengalir sangat rumit, dan saya pikir akan jauh lebih mudah untuk menghindari bug jika kita melakukannya.