Harap Cantumkan Satuan di Nama

atau gunakan tipe kuat

ditulis oleh Ruud van Asseldonkditerbitkan

Ada satu jebakan keterbacaan kode yang mudah dihindari begitu Anda menyadarinya, namun jebakan itu meresap: menghilangkan unit. Pertimbangkan tiga cuplikan berikut dalam Python, Java, dan Haskell:

Berapa lama program ini tidur? Program Python tidur selama lima menit, program Java tidur selama 0,3 detik, dan program Haskell tidur selama 0,3 milidetik.

Bagaimana Anda bisa mengetahuinya dari kode ? Anda tidak bisa. Anda hanya perlu hafal bahwa time.sleep

membutuhkan beberapa detik, sedangkan threadDelay

membutuhkan waktu mikrodetik. Jika Anda cukup sering mencarinya, pada akhirnya pengetahuan itu akan melekat, tetapi bagaimana kita bisa menjaga agar kode tetap dapat dibaca bahkan untuk orang yang belum pernah bertemu time.sleep sebelumnya?

Opsi 1: pasang unit dalam nama

Alih-alih ini: 

def frobnicate(batas waktu: int) -> Tidak ada:   ...  frobnicate(300)

Melakukan hal ini: 

def frobnicate(*, timeout_seconds: int) - > Tidak ada:  
 # memaksa penelepon untuk menggunakan argumen bernama  # untuk semua argumen setelah *.  ...  frobnicate(timeout_seconds=300)
Dalam kasus pertama, kami bahkan tidak dapat mengatakan di situs panggilan bahwa 300 adalah batas waktu, tetapi bahkan jika kita tahu itu, itu adalah batas waktu 300, apa?  Milidetik?  Detik?  hari di Mars?  Sebaliknya, situs panggilan kedua sepenuhnya cukup jelas.
Menggunakan argumen bernama bagus untuk bahasa yang mendukungnya, tetapi ini tidak selalu memungkinkan.  Bahkan dalam Python, di mana time.sleep didefinisikan dengan satu argumen bernama dtk
, Bagaimana F-150 Lightning tidur (dtk=300)
 karena alasan implementasi.  Dalam hal ini, kita dapat memberikan nilai sebuah nama sebagai gantinya.
Alih-alih ini: 
Melakukan hal ini: 
sleep_seconds = 300 waktu.tidur(sleep_seconds)
Sekarang kodenya tidak ambigu, dan dapat dibaca tanpa harus membaca dokumentasi.
Opsi 2: gunakan tipe kuat
Alternatif untuk menempatkan unit di name, adalah menggunakan tipe yang lebih kuat daripada integer atau float.  Misalnya, kita mungkin menggunakan tipe durasi.
Alih-alih ini: 
def frobnicate(batas waktu: int) -> Tidak ada:   ...  
frobnicate( 300)
Melakukan hal ini: 
def frobnicate(batas waktu: timedelta) -> Tidak ada:   ...   batas waktu = delta waktu(detik=300) 
frobnicate(batas waktu)
Untuk angka floating-point tertentu, Anda perlu diberi tahu di luar pita apa unit untuk dapat menafsirkannya .  Jika Anda beruntung, informasi ini ada dalam nama variabel atau argumen, tetapi jika Anda tidak beruntung, informasi ini hanya ditentukan dalam dokumentasi — atau tidak ditentukan sama sekali.  Tetapi untuk nilai timedelta, tidak ada ambiguitas tentang bagaimana menafsirkannya, ini adalah bagian dari jenisnya.  Ini juga menghilangkan ambiguitas dari kode.
Cakupan
Saran untuk menggunakan tipe kuat atau untuk menempatkan unit dalam nama tidak terbatas pada variabel dan argumen fungsi , ini berlaku untuk API s, nama metrik, format serialisasi, file konfigurasi, flag baris perintah, dll. Dan meskipun nilai durasi adalah kasus yang paling umum, saran ini tidak terbatas pada itu, tetapi juga berlaku untuk jumlah moneter, panjang, data ukuran, dll.
Misalnya, jangan kembalikan ini: 
{  "error_code" :  "E429",  "pesan eror ":  "Batas tarif terlampaui",  "coba_setelah":  100, }
Kembalikan ini sebagai gantinya: 
{  "error_code":   "E429",  "pesan eror":  "Batas tarif terlampaui",  "coba lagi_setelah_detik":  100, }
Jangan mendesain konfigurasi Anda file seperti ini: 
request_timeout=10
Terima satu dari ini sebagai gantinya: 
request_timeout=10 detik request_timeout_seconds=10
Dan jangan mendesain CLI Anda aplikasi akuntansi seperti ini: 
tampilkan transaksi --jumlah minimum 32
Terima salah satu dari ini sebagai gantinya: 
 show-transactions --minimum-amount-eur 32 show-transactions --minimum-amount "32 EUR"
Baca selengkapnya

Rekomendasi:

  • Rahasia Tidur Cepat: Meraih Malam Tenang dalam… Tahukah Anda bahwa tidur yang nyenyak dapat membantu Anda menjalani hari yang lebih produktif? Namun, bagi sebagian orang, mendapatkan tidur yang nyenyak bukanlah hal yang mudah. Jika Anda termasuk salah…
  • Cara Mudah Menurunkan Berat Badan dalam 1 Bulan:… Ingin Turunkan Berat Badan dalam 1 Bulan? Berikut Tips Ampuh Wujudkan Impianmu! Berat badan berlebih bukan hanya mengganggu penampilan, tetapi juga kesehatan. Obesitas dapat menyebabkan berbagai penyakit kronis seperti jantung,…
  • Jika Anda tidak bangun untuk menangkap peluang… Setiap kali Jordan Rosenfeld, 47, kurang tidur, dietnya terganggu. "Saya makan karbohidrat dan gula keesokan harinya," kata Rosenfeld. "Favorit saya adalah Fritos dan Cinnamon Toast Crunch. Juga, saya tidak minum…
  • Ini otakmu yang tidak pernah tidur Sehari setelah tidak tidur nyenyak, Anda mungkin merasa sedikit kabur, sedikit lebih lapar dari biasanya, lebih lambat merespons, mudah tersinggung, dan bahkan mungkin sedikit sedih. Atau Anda mungkin merasa baik-baik…
  • Tips Ampuh Turun Berat Badan Cepat dan Sehat:… Cara Menurunkan Berat Badan Cepat: Panduan Lengkap untuk Mencapai Tujuan Berat Badan Ideal Ingin tahu cara menurunkan berat badan cepat? Anda tidak sendirian! Banyak orang berjuang dengan berat badan, dan…
  • Rahasia Sukses Turunkan Berat Badan dengan Cepat:… Pengen Tahu Rahasia Cepat Langsing? Yuk, Intip Cara-cara Berikut Ini! Siapa sangka, menurunkan berat badan dengan cepat ternyata bukan mustahil, lho! Ada banyak cara yang bisa dilakukan jika Anda bertekad…
  • Daftar periksa tidur: 8 kebiasaan tidur sehat terbaik Maret adalah Bulan Kesadaran Tidur.Apakah Anda bolak-balik sepanjang malam? Apakah Anda bangun sebelum fajar dan tidak bisa kembali tidur? Apakah Anda merasa sulit untuk melayang? Seiring bertambahnya usia seorang wanita…
  • Cara Ampuh dan Mengejutkan: Turunkan Berat Badan… Mendambakan berat badan ideal namun kesulitan mencapainya? Jangan khawatir, Anda tidak sendirian. Sejarah Indonesia Intan. Tapi, tenang saja, ada beberapa cara turun berat badan mendadak yang bisa Anda coba. Yuk,…
  • Metode Diet Sehat yang Efektif: Kunci Tubuh Langsing… Diet Sehat: Rahasia Menurunkan Berat Badan dan Meraih Tubuh Ideal Pernahkah Anda merasa frustrasi dengan pola diet yang tidak membuahkan hasil? Apakah Anda ingin menurunkan berat badan dan mencapai tubuh…
  • Pencarian saya untuk tidur tanpa gangguan Biasanya terjadi secara perlahan. Seperti sudut bayangan yang diangkat ke dalam ruangan hitam, membiarkan secercah cahaya masuk, pikiran tentang apa yang harus saya lakukan dan anak-anak saya menyelinap pergi di…
  • Rahasia Tidur Cepat: Meraih Malam Tenang dalam… Tahukah Anda bahwa tidur yang nyenyak dapat membantu Anda menjalani hari yang lebih produktif? Namun, bagi sebagian orang, mendapatkan tidur yang nyenyak bukanlah hal yang mudah. Jika Anda termasuk salah…
  • Makan Lebih Baik untuk Tidur Lebih Baik: Hubungan… Sebagai Inc. kolega Jessica Stillman menunjukkan dalam artikel viral-nya tentang mengapa Anda harus mengadopsi kebiasaan tidur balita, mendapatkan tidur malam yang baik cukup sulit sebelum pandemi . "Coronasomnia"? Ini adalah…
  • Rahasia Cepat Langsing: Tips Praktis untuk… Mau Cepat Langsing? Ikuti 5 Tips Ampuh Ini! Bagi sebagian orang, memiliki berat badan ideal merupakan sebuah dambaan. Namun, menurunkan berat badan bukanlah perkara mudah. Dibutuhkan kedisiplinan dan usaha yang…
  • Rahasia Cepat Langsing: Tips Praktis untuk… Mau Cepat Langsing? Ikuti 5 Tips Ampuh Ini! Bagi sebagian orang, memiliki berat badan ideal merupakan sebuah dambaan. Namun, menurunkan berat badan bukanlah perkara mudah. Dibutuhkan kedisiplinan dan usaha yang…
  • Rahasia Diet Sehat dan Aman untuk Ibu Menyusui:… Bagaimana Cara Diet Sehat untuk Ibu Menyusui Tanpa Membuat ASI Hilang? Menjadi ibu menyusui merupakan momen yang membahagiakan sekaligus menantang. Di satu sisi, Anda ingin memberikan ASI terbaik untuk buah…
  • Diet yang Tepat: Kunci Kehamilan Bagi yang Berjuang… Menurunkan Berat Badan untuk Kehamilan: Tips dan Trik yang Harus Anda Ketahui Menurunkan berat badan sebelum hamil memang bukan perkara mudah, tetapi sangat penting untuk mempersiapkan tubuh Anda untuk kehamilan…
  • Aktivitas 30 Detik Ini Secara Dramatis Dapat… Terkadang, hal-hal kecillah yang paling membantu.Jika Anda seperti saya, pagi hari kerja bisa menjadi pekerjaan yang berat. Anda bersandar pada kopi untuk dorongan buatan dan Anda membajak email kerja dan…
  • Rahasia Langsing dengan Fitness Tanpa Gagal Demi… Langkah Sederhana untuk Menurunkan Berat Badan yang Efektif dan Sehat Memulai perjalanan penurunan berat badan bukanlah hal yang mudah, bukan? Anda mungkin merasa kewalahan dan tidak yakin harus mulai dari…
  • 9 Rahasia Tidur Nyenyak yang Wajib Diketahui Pendahuluan Sulit tidur? Anda tidak sendirian. Jutaan orang berjuang untuk mendapatkan tidur yang nyenyak di malam hari. Tapi jangan khawatir, ada banyak hal yang dapat Anda lakukan untuk meningkatkan kualitas…
  • Rahasia Bangun Pagi dengan Mudah: Tips Ampuh untuk Sukses Bangun pagi memang terasa sulit bagi sebagian orang. Namun, dengan menerapkan tips bangun pagi yang tepat, Anda bisa bangun lebih awal dengan perasaan segar dan bersemangat. Apakah Anda sering merasa…
  • Rahasia Diet Sehat dan Tidur Nyenyak untuk Hidup… Tips Diet Sehat Sebelum Tidur Agar Tidur Lebih Berkualitas Pernahkah Anda merasa kesulitan tidur di malam hari? Atau Anda sering terbangun di tengah malam dan sulit untuk tidur kembali? Jika…
  • Tips Ampuh Tolak Rasa Ngantuk: Solusi Cerdas untuk… Tahukah Anda bahwa rasa kantuk yang berlebihan dapat mengganggu aktivitas sehari-hari? Jika Anda sering merasa mengantuk, mungkin Anda perlu mencoba beberapa tips untuk mengatasinya. Mengantuk merupakan kondisi di mana seseorang…
  • Cara Aman Menurunkan Berat Badan Bagi Ibu Hamil Cara Menurunkan Berat Badan ketika Hamil yang Aman dan Sehat Menjaga berat badan yang sehat selama kehamilan sangat penting bagi kesehatan ibu dan bayi. Namun, banyak ibu hamil yang mengalami…
  • Bagaimana Mengkritik, dan Bukan Mengasingkan,… Memuji kinerja yang baik itu mudah karena semua orang suka menerima pujian. Tapi apa yang Anda lakukan ketika tendangan di pantat lebih tepat daripada tepukan di punggung? Berikut cara melakukannya…
  • Berat Badan Pasca Caesar: Turunkan dengan Aman dan Efektif Bagaimana Menurunkan Berat Badan Pasca Caesar dengan Aman dan Efektif Menurunkan berat badan setelah melahirkan caesar bisa jadi tantangan tersendiri. Pasalnya, ibu baru biasanya merasa lelah dan tidak punya banyak…
  • Transformasi Tubuh: Tips Menambah Berat Badan Cepat… Tahukah Anda bahwa berat badan yang kurang dapat menyebabkan berbagai masalah kesehatan? Tips Anti Mainstream, ada beberapa tips yang bisa Anda lakukan. Banyak orang yang menginginkan berat badan yang ideal,…
  • Rahasia Menurunkan Berat Badan Tanpa Menyiksa:… Apakah Anda merasa bosan dengan diet ketat dan olahraga berat yang tidak kunjung berhasil menurunkan berat badan? Tenang, Anda tidak sendirian. Banyak orang yang mengalami hal yang sama. Namun, jangan…
  • Rahasia Diet Sehat dan Olahraga: Raih Tubuh Ideal… Cara Diet Sehat dan Olahraga: Kunci Hidup Sehat dan Bahagia Di zaman sekarang, banyak orang yang menyadari pentingnya menjaga kesehatan tubuh. Namun, sayangnya, tidak semua orang tahu cara diet sehat…
  • Teknologi Tenang Saat mendesain produk, kami bertujuan untuk memilih posisi terbaik untuk komponen antarmuka pengguna, menempatkan yang paling penting di tempat yang paling mudah diakses di layar. Yang tak kalah penting adalah…
  • Insomnia bukan hanya ketidaknyamanan. Ini dapat… Erica pertama kali menemui dokter tentang ketidakmampuannya untuk tidur atau insomnia, dia berusia 9 tahun. "Saya sering ingat dia menanyakan pertanyaan tentang berapa banyak soda yang saya minum," katanya. Sayangnya,…
Designed by SuaraSekitar Terkini
© Copyright 2026, All Rights Reserved