[{"data":1,"prerenderedAt":460},["ShallowReactive",2],{"site-header":3,"site-footer-license":42,"article-rahasia-zero-cost-abstraction-di-rust-with-latest":46},{"navigations":4},[5,20,37],{"collection":6,"item":7},"series",{"__typename":6,"title":8,"slug":9,"children_series":10},"Artikel","all",[11,14,17],{"title":12,"slug":13},"Algoritma dan Struktur Data","algoritma-struktur-data",{"title":15,"slug":16},"Kecerdasan Artifisial","kecerdasan-artifisial",{"title":18,"slug":19},"Konsep Dasar Pemrograman","konsep-dasar-pemrograman",{"collection":6,"item":21},{"__typename":6,"title":22,"slug":23,"children_series":24},"Tutorial","tutorial",[25,28,31,34],{"title":26,"slug":27},"Belajar Java","belajar-java",{"title":29,"slug":30},"Belajar Pascal","belajar-pascal",{"title":32,"slug":33},"Belajar Golang","belajar-golang",{"title":35,"slug":36},"Belajar Python","belajar-python",{"collection":6,"item":38},{"__typename":6,"title":39,"slug":40,"children_series":41},"Lab","lab",[],{"name":43,"url":44,"show":45},"CC BY-SA","https://creativecommons.org/licenses/by-sa/4.0/",false,{"article":47,"renderedBody":418,"renderedTakeaway":419,"latestArticles":420,"toc":440},{"prerequisite":48,"id":49,"title":50,"slug":51,"excerpt":52,"published_at":48,"thumbnail_image":48,"tags":53,"reading_time":59,"takeway":60,"body":61,"authors":62,"series":70},null,"124","Rahasia Zero-Cost Abstraction di Rust, Dibedah dari Assembly","rahasia-zero-cost-abstraction-di-rust","\"Abstraksi tinggi selalu lebih lambat\" itu anggapan lama. Iterator Rust bisa menyamai loop manual, dan assembly-nya bisa kita baca sendiri. Yuk, kita bongkar!",[54,55,56,57,58],"rust","performance","system-programming","compiler","optimasi",6,"- Zero-cost abstraction bukan berarti bebas biaya, tapi memindahkan biaya itu ke tahap kompilasi supaya runtime-nya bersih.\n- Monomorphization menyalin fungsi generik untuk tiap tipe konkret, jadi kompiler bisa membuang lapisan abstraksinya sepenuhnya. Fungsi yang isinya dua pemanggilan trait menyusut jadi `mov eax, 8` dan `ret`.\n- Rantai iterator di Rust terukur secepat loop manual karena nggak ada alokasi heap, pengecekan batas hilang, dan loop-nya berubah jadi instruksi SIMD.\n- Closure diterjemahkan jadi struct anonim di stack, dan trait Fn, FnMut, atau FnOnce yang dipilih kompiler menunjukkan cara dia memakai variabel di sekitarnya.\n- Yang tetap dibayar: waktu build lebih lama dan ukuran biner yang bisa membengkak akibat duplikasi fungsi untuk tiap tipe konkret.","Ambil satu array angka, lalu tulis ini di JavaScript:\n\n```js\nconst total = angka\n  .filter((x) => x % 2 === 0)\n  .map((x) => x * 2)\n  .reduce((a, b) => a + b, 0);\n```\n\nSatu baris, enak dibaca, rapi banget, kan? 😅 Tapi kita semua tahu harganya: `filter` bikin array baru, `map` bikin array baru lagi, lalu `reduce` jalan di atas hasilnya. Buat array berisi sejuta angka, itu artinya dua array sementara yang harus dialokasikan, dibuang, dan dibersihkan *Garbage Collector*, padahal hasil akhirnya cuma satu bilangan.\n\nItu sebabnya programmer yang berburu performa tinggi sering turun kasta: nulis *loop* `for` mentah, pakai pointer manual, dan merelakan kodenya jadi lebih panjang demi satu-dua milidetik. Selama beberapa dekade, itu memang aturan tak tertulisnya: makin tinggi *level* abstraksi, makin mahal ongkos *runtime*-nya.\n\nRust menantang aturan itu dengan prinsip yang diwarisi dari dunia C++: *Zero-Cost Abstractions*. Bjarne Stroustrup, pencipta C++, merumuskannya seperti ini:\n\n> Secara umum, implementasi C++ mengikuti prinsip *zero-overhead*: yang nggak kamu pakai, nggak kamu bayar. Dan yang kamu pakai, nggak bisa kamu tulis sendiri dengan lebih efisien.\n\nKedengarannya kayak slogan *marketing*, ya. Makanya kita nggak akan percaya begitu saja. Yuk, kita bongkar *assembly*-nya sendiri, pakai `rustc` 1.99 dengan LLVM di belakangnya.\n\n## Jadi apa sih \"zero-cost\" itu?\n\nKata \"zero\" di sini bukan berarti gratis tanpa ongkos sama sekali. Ongkosnya tetap ada, cuma tempat membayarnya yang dipindah: dari *runtime* ke *compile-time*. **Biayanya pindah, bukan hilang.**\n\n`rustc` dan LLVM bekerja ekstra keras saat proses *build*. Mereka menyalin fungsi generik untuk tiap tipe konkret, membuka abstraksi berlapis jadi kode datar, lalu membuang seluruh pembukuan yang cuma jadi beban. Yang tersisa di berkas biner adalah instruksi mesin biasa, sering kali sama persis dengan versi manualnya.\n\nTiga mekanisme utama yang dipakai untuk itu: *monomorphization*, *iterator*, dan *closure*.\n\n## Rahasia 1: monomorphization, polimorfisme tanpa lompatan *runtime*\n\nDi bahasa yang pakai *dynamic dispatch* seperti Java atau Python, memanggil method dari sebuah *interface* berarti CPU harus mencari alamat fungsinya dulu di *runtime*, biasanya lewat *vtable*. Biaya satu lompatan emang kecil, tapi efeknya besar: kompiler cuma bisa melihat dari luar fungsi yang dipanggil, jadi dia kehilangan kesempatan membuang kode mati atau menyatukan perhitungan.\n\nRust bisa memilih jalur lain. Coba kode ini:\n\n```rust\ntrait Hitung {\n    fn nilai(&self) -> i32;\n}\n\nstruct A;\nimpl Hitung for A {\n    fn nilai(&self) -> i32 { 3 }\n}\n\nstruct B;\nimpl Hitung for B {\n    fn nilai(&self) -> i32 { 5 }\n}\n\nfn pakai\u003CT: Hitung>(x: T) -> i32 {\n    x.nilai()\n}\n\npub fn statis() -> i32 {\n    pakai(A) + pakai(B)\n}\n\npub fn dinamis(d: &dyn Hitung) -> i32 {\n    d.nilai()\n}\n```\n\nDua fungsi terakhir hasilnya sama-sama 8, tapi jalannya beda jauh. Ini yang dihasilkan `rustc -O` untuk `statis()` nih:\n\n```asm\nstatis:\n    mov     eax, 8\n    ret\n```\n\nDua instruksi 🤯 Tanpa pemanggilan fungsi, tanpa tabel *method*, tanpa jejak `A` atau `B`. Kompiler sudah menghitung semuanya di *compile-time* dan menyisakan jawabannya saja.\n\nSekarang versi `&dyn`, satu-satunya cara Rust memaksa *dynamic dispatch*:\n\n```asm\ndinamis:\n    jmp     qword ptr [rsi + 24]\n```\n\nSatu instruksi, tapi isinya lompat ke alamat yang baru diketahui saat program jalan, dibaca dari *vtable* pada offset 24. Kompiler berhenti di situ: dia nggak tahu fungsi apa yang bakal dipanggil, jadi nggak ada yang bisa di-*inline*.\n\nProses penyalinan inilah yang disebut *monomorphization*. Waktu kamu menulis `pakai::\u003CA>()` dan `pakai::\u003CB>()`, Rust benar-benar membuat dua fungsi berbeda di berkas biner, satu untuk `A` dan satu untuk `B`. Kamu tetap bisa memaksa *dynamic dispatch* kapan pun kamu mau, dan kadang itu memang keputusan yang benar. Bedanya, di Rust itu pilihan, bukan satu-satunya jalan.\n\n## Rahasia 2: iterator secepat *loop* manual\n\nBalik ke masalah di pembuka: rantai `.filter().map().sum()` di Rust.\n\n```rust\nlet numbers: Vec\u003Ci32> = (1..=10).collect();\n\nlet functional: i32 = numbers\n    .iter()\n    .filter(|&&x| x % 2 == 0)\n    .map(|&x| x * 2)\n    .sum();\n\nlet mut manual = 0;\nfor &x in &numbers {\n    if x % 2 == 0 {\n        manual += x * 2;\n    }\n}\n\nprintln!(\"iterator = {functional}, for loop = {manual}\");\n```\n\nDijalankan, hasilnya `iterator = 60, for loop = 60`, sama seperti yang kita harapkan.\n\nYang menarik bukan hasilnya, tapi apa yang terjadi setelah kompilasi. Dua fungsi itu dikompilasi terpisah dengan `rustc -O -C panic=abort`, lalu instruksinya dihitung satu per satu:\n\n- Versi *iterator*: 53 instruksi, nol instruksi `call`.\n- Versi *loop* manual: 57 instruksi, nol instruksi `call`.\n\nVersi iterator malah punya empat instruksi lebih sedikit, bukan lebih banyak. Dua-duanya juga berisi instruksi vektor yang sama: `movdqu`, `pand`, `paddd`, dan `pcmpeqd`. Artinya *loop*-nya diubah jadi SIMD 128-bit yang memproses empat bilangan `i32` sekaligus. Kalau `-C target-feature=+avx2` ditambahkan, keduanya naik ke instruksi `ymm` dan jumlahnya jadi 103 lawan 107, dengan pola yang sama.\n\nGimana kompiler bisa sejauh itu? Tiga hal:\n\n1. **Tanpa alokasi di *heap*.** Iterator Rust tuh *struct* kecil di *stack* yang cuma menyimpan posisi penelusuran. Nggak ada objek baru yang dibuat di tengah rantai.\n2. **Pengecekan batas ikut hilang.** Waktu kamu menulis `array[i]`, kompiler wajib menyisipkan pemeriksaan `i \u003C len` di *runtime* supaya akses di luar batas bisa dicegah. Lewat iterator, panjang dan arah penelusurannya bisa dibuktikan di *compile-time*, jadi pengecekan per elemen itu nggak perlu ada lagi. Di *assembly* di atas, yang tersisa cuma penambahan pointer biasa.\n3. **Hasilnya jadi ramah vektorisasi.** Rantai iterator adalah mesin status yang bersih dan tanpa efek samping, jadi LLVM gampang mengenalinya sebagai pola *map-filter-reduce* dan menggantinya dengan instruksi SIMD.\n\nIni bukan cuma teori di kertas. Buku resmi *The Rust Programming Language* pernah mengukur dua versi fungsi pencarian kata di teks *Sherlock Holmes*: versi *loop* 19.620.300 ns per iterasi, versi iterator 19.234.900 ns. Versi iterator sedikit lebih cepat. Angka itu dari mesin penulis buku di edisi pertama, jadi anggap petunjuk arah, bukan patokan mutlak.\n\n## Rahasia 3: closure itu cuma *struct* anonim\n\nDi bahasa ber-*Garbage Collector*, *closure* yang menangkap variabel dari luar biasanya butuh alokasi di *heap*: nilai yang ditangkap dibungkus jadi objek supaya umurnya lebih panjang dari fungsi asalnya.\n\nDi Rust caranya beda. *Closure* diterjemahkan jadi *struct* anonim yang isinya variabel yang ditangkap, dan disimpan di *stack* seperti nilai biasa:\n\n```rust\nlet batas = 5;\nlet dibaca = |x: i32| x > batas;                 // cuma membaca  -> Fn\nlet mut hitungan = 0;\nlet mut menambah = |x: i32| { hitungan += x; };  // mengubah      -> FnMut\nlet pemilik = String::from(\"halo\");\nlet memindah = move || pemilik.len();            // memindahkan   -> FnOnce\n```\n\nBedanya cuma soal apa yang dilakukan *closure* itu ke variabel di sekitarnya, dan kompiler yang menentukannya:\n\n- Kalau *closure*-nya cuma membaca, dia meminjam referensi biasa dan mengimplementasikan *trait* `Fn`.\n- Kalau dia mengubah nilainya, pinjamannya jadi `&mut` dan *trait*-nya `FnMut`.\n- Kalau dia mengambil kepemilikannya, nilainya pindah ke dalam *struct*, dan *trait*-nya `FnOnce`.\n\nNggak ada *allocator* yang dilibatkan, karena semuanya hidup di *stack*. Dijalankan, outputnya: `dibaca(7)` balik `true`, `hitungan` berakhir di `7`, dan panjang `pemilik` tetap `4` walaupun isinya sudah dipindah masuk ke dalam *closure*.\n\n## Pajak yang tetap harus dibayar\n\nKalau abstraksinya benar-benar nol ongkos, kenapa nggak semua bahasa begitu? Karena ongkosnya nggak hilang, cuma pindah tempat.\n\n**Waktu *build* lebih lama.** Analisis *borrow checker*, *monomorphization*, dan optimasi agresif memang kerja berat. Tapi hati-hati dengan penjelasan populer yang menyalahkan *monomorphization* sendirian: salah satu pengembang kompiler Rust pernah bilang eksperimen di masa awal Rust menunjukkan *monomorphization* bukan penyebab utamanya, karena versi dinamis pun butuh banyak kode pembukuan yang harus dioptimasi. Penyebab sebenarnya tersebar, dari pohon dependensi yang besar sampai tahap optimasi LLVM itu sendiri.\n\n**Ukuran biner bisa membengkak.** Setiap tipe konkret menghasilkan salinan fungsinya sendiri. Pakai `Vec\u003Ci32>`, `Vec\u003Cu64>`, dan `Vec\u003CString>` di satu program, kamu dapat tiga salinan kode yang mirip. Di program kecil efeknya tipis; di proyek besar, *code bloat* itu nyata. Salah satu obatnya: pakai `&dyn Trait` untuk kode yang dipanggil jarang dan nggak butuh cepat. Seperti yang kita lihat di atas, itu memang benar-benar menghemat kode.\n\nJadi harga *zero-cost abstraction* bukan nol. Yang berubah cuma siapa yang membayarnya: mesin *build* kamu dan pembaca kodenya nanti, bukan CPU pengguna.\n\n## Penutup\n\nYang bikin prinsip ini menarik bukan sekadar performanya, tapi izin yang dia berikan: kamu nggak perlu merasa bersalah nulis iterator berantai, nyusun *trait* modular, atau bikin *closure* di kode yang kritis secara performa. Kalau memang ada biayanya, biaya itu ditaruh di tempat yang jauh lebih murah buat kamu bayar.\n\nKalau kamu mau lihat sendiri *assembly*-nya, tempel kode di atas ke [Compiler Explorer](https://godbolt.org/), pilih `rustc` versi stabil, lalu tambahkan `-O -C panic=abort` di kolom argumen. Cara paling cepat buat berhenti percaya dan mulai memeriksa. Selamat ber-*systems programming* ria! 🦀\n",[63,68],{"authors_id":64},{"name":65,"slug":66,"role":67,"profile_picture":48},"Daffa Izzuddin","izzudd","Writer",{"authors_id":69},{"name":65,"slug":66,"role":67,"profile_picture":48},{"id":71,"title":8,"slug":9,"articles":72,"parent_series":48},"9",[73,83,92,102,113,115,123,133,141,152,162,171,178,188,196,205,214,221,230,239,246,255,262,271,278,286,294,302,309,317,325,335,344,352,362,370,381,389,397,404,411],{"id":74,"title":75,"slug":76,"excerpt":77,"thumbnail_image":48,"tags":78},"109","State of JS 2025 Bilang Developer Cuma Pakai 2,6 Framework Sepanjang Karier","state-of-js-2025-developer-cuma-pakai-2-6-framework","Coba hitung semua framework yang pernah kamu coba, lalu potong jadi yang beneran dipakai buat kerjaan. Daftarnya jauh lebih pendek dari dugaan. State of JS 2025 nanya ke 13.002 developer, dan rata-ratanya cuma 2,6. Yuk, lihat angkanya bareng-bareng!",[79,80,81,82],"javascript","survei","framework","karier",{"id":84,"title":85,"slug":86,"excerpt":87,"thumbnail_image":48,"tags":88},"111","Rust Masuk Kernel Linux: Revolusi Nyata atau Cuma Euforia RIIR?","rust-di-kernel-linux-revolusi-atau-cuma-hype","Selama lebih dari 30 tahun kernel Linux cuma mau bahasa C, lalu tiba-tiba Rust resmi masuk di Linux 6.1. Itu revolusi beneran atau cuma kebawa euforia meme Rewrite It In Rust? Yuk lihat datanya, bukan cuma opininya.",[54,89,90,56,91],"linux","kernel","memory-safety",{"id":93,"title":94,"slug":95,"excerpt":96,"thumbnail_image":48,"tags":97},"107","Cara kamu pakai AI lebih menentukan daripada apakah kamu pakai AI","cara-pakai-ai-menentukan-pemahaman-kode","Fiturnya selesai, test-nya hijau, dan dua hari kemudian kamu baca kodenya kayak kode orang lain. Ternyata ada satu cara pakai AI yang bikin kamu paham lebih baik daripada nggak pakai AI sama sekali. Yuk lihat datanya.",[98,99,100,101],"ai","belajar","kognitif","ai-assisted-coding",{"id":103,"title":104,"slug":105,"excerpt":106,"thumbnail_image":48,"tags":107},"113","Garbage Collector dituduh bikin aplikasi lemot. Seberapa adil tuduhan itu?","garbage-collector-dituduh-bikin-aplikasi-lemot","GC sering jadi tersangka utama tiap aplikasi melambat, dan banyak yang percaya dia jalan pakai timer tiap beberapa detik. Dua-duanya nggak sepenuhnya benar. Yuk bedah cara kerja GC dari dalam, plus satu pengecualian yang bikin Discord kesakitan tiap 2 menit. 🤔",[108,55,109,110,111,112],"backend","golang","jvm","garbage-collector","memory",{"id":49,"title":50,"slug":51,"excerpt":52,"thumbnail_image":48,"tags":114},[54,55,56,57,58],{"id":116,"title":117,"slug":118,"excerpt":119,"thumbnail_image":48,"tags":120},"110","Ketika Pilih Framework Cuma Biar Kelihatan Beda","ketika-pilih-framework-cuma-biar-kelihatan-beda","Terakhir kali kamu milih framework atau library baru, itu karena masalahmu butuh alat itu, atau karena alatnya kedengaran keren dan belum banyak yang pakai? Pertanyaan ini nggak enak dijawab. Soalnya keputusan teknologi sering diambil dengan alasan yang nggak pernah ditulis di dokumen teknis mana pun.",[82,81,121,122],"opini","pengalaman",{"id":124,"title":125,"slug":126,"excerpt":127,"thumbnail_image":48,"tags":128},"30","Berkenalan dengan Bahasa Go: Kenapa Banyak Dipakai untuk Backend Modern?","berkenalan-dengan-bahasa-go-untuk-backend-modern","Kok bisa sih Go yang masih muda ini jadi bahasa andalan Docker sampai Kubernetes? Yuk, kita kenalan sama Goroutine, Channel, dan alasan dia hemat memori luar biasa!",[109,129,108,130,131,132],"go","concurrency","goroutine","system-design",{"id":134,"title":135,"slug":136,"excerpt":137,"thumbnail_image":48,"tags":138},"11","Apa Kabar JavaScript? Rilis State of JS 2022","apa-kabar-javascript-rilis-state-of-js-2022","Survei State of JS 2022 resmi dirilis dengan lonjakan responden yang luar biasa! Framework dan build tool apa saja yang berhasil mencuri perhatian tahun ini?",[79,139,140],"web","news",{"id":142,"title":143,"slug":144,"excerpt":145,"thumbnail_image":48,"tags":146},"37","Kenapa Backend Butuh Graceful Shutdown? Jangan Asal Cabut Kabel Server!","kenapa-backend-butuh-graceful-shutdown-jangan-asal-cabut-kabel-server","Pernah nggak sih, abis kalian nge-*deploy* backend, beberapa detik kemudian monitoring malah banjir *alert* **502 Bad Gateway** dari pengguna? Saldo udah kepotong tapi status order belum keburu ter-*update* di *database*. Yuk, kita bahas kenapa *graceful shutdown* itu wajib banget!",[108,147,148,149,150,132,151],"devops","fastapi","docker","kubernetes","architecture",{"id":153,"title":154,"slug":155,"excerpt":156,"thumbnail_image":48,"tags":157},"39","Database Sharding vs Partitioning: Kapan Data Perlu Dipecah?","database-sharding-vs-partitioning-kapan-data-perlu-dipecah","Tabel transaksi kalian udah nembus miliaran baris dan tiap *query* laporan bikin *CPU* melonjak 100%? Sebelum asal pecah data, yuk kita pahami dulu beda *sharding* sama *partitioning*!",[108,158,159,132,151,160,161],"database","postgresql","sharding","scaling",{"id":163,"title":164,"slug":165,"excerpt":166,"thumbnail_image":48,"tags":167},"24","Kenapa Butuh Rate Limiting?","kenapa-butuh-rate-limiting","Pernah nggak sih endpoint login kalian diserbu bot yang nyoba nembak ribuan password cuma dalam semenit? Yuk, kita bahas kenapa Rate Limiting itu wajib, plus cara masangnya di FastAPI!",[108,168,132,169,170,148],"rate-limiting","api","redis",{"id":172,"title":173,"slug":174,"excerpt":175,"thumbnail_image":48,"tags":176},"38","Optimistic vs Pessimistic Locking: Mengatasi Rebutan Data di Database","optimistic-vs-pessimistic-locking-mengatasi-rebutan-data-di-database","Seribu orang ngeklik \"Beli Sekarang\" di detik yang sama buat rebutan 1 tiket terakhir. Kira-kira apa yang bakal terjadi di server kalian? Yuk, kita banding *pessimistic* sama *optimistic locking*!",[108,158,130,159,132,151,177],"sql",{"id":179,"title":180,"slug":181,"excerpt":182,"thumbnail_image":48,"tags":183},"26","REST API vs gRPC: Kapan Sebaiknya Mulai Pindah dari JSON?","rest-api-vs-grpc-kapan-sebaiknya-pindah-dari-json","Pernah nggak sih sistem mikroservis kalian mulai kerasa berat padahal cuma tuker-tukeran data internal? Belum tentu masalah servernya. Yuk, kita bahas kapan REST + JSON masih juara dan kapan gRPC jadi jawabannya!",[108,184,185,186,187,132],"grpc","rest-api","microservices","protobuf",{"id":189,"title":190,"slug":191,"excerpt":192,"thumbnail_image":48,"tags":193},"46","Mengapa C Mulai Ditinggalkan: Duel Filosofi Keamanan Rust vs Kesederhanaan Zig","mengapa-c-mulai-ditinggalkan-duel-filosofi-rust-vs-zig","Pernah denger kalau sekitar 70% celah keamanan kritis software modern itu asalnya dari bahasa C? Iya, bahasa yang udah jadi fondasi internet ini 😅. Yuk, kita bedah duel filosofi Rust vs Zig dan cari tahu mana yang pas buat proyek kalian!",[56,54,194,195,91],"zig","c",{"id":197,"title":198,"slug":199,"excerpt":200,"thumbnail_image":48,"tags":201},"23","Kenapa Pakai FastAPI dan Kenapa Dia Kenceng Banget?","kenapa-pakai-fastapi-dan-kenapa-dia-kenceng-banget","Sering dengar FastAPI tapi masih bingung kenapa dia bisa ngebut kayak NodeJS dan Go? Yuk, kita bedah bareng rahasia ASGI, sihir Pydantic, sampai dokumentasi otomatisnya!",[148,202,108,203,204],"python","asgi","pydantic",{"id":206,"title":207,"slug":208,"excerpt":209,"thumbnail_image":48,"tags":210},"14","Instalasi Java dengan Visual Studio Code","instalasi-java-dengan-visual-studio-code","Mau belajar ngoding Java tapi spek laptop pas-pasan buat buka IDE berat? Yuk, cari tahu cara setup VS Code biar ngoding Java tetap lancar dan enteng!",[211,212,213],"howto","java","editor",{"id":215,"title":216,"slug":217,"excerpt":218,"thumbnail_image":48,"tags":219},"15","Kenapa Ada Banyak Sekali Distro Linux?","kenapa-ada-banyak-sekali-distro-linux","Pernah bingung pas mau install Linux tapi malah disuguhi puluhan pilihan distro? Tenang, kalian nggak sendirian. Yuk, cari tahu kenapa distro Linux bisa sebanyak itu dan apa bedanya!",[89,220],"distro",{"id":222,"title":223,"slug":224,"excerpt":225,"thumbnail_image":48,"tags":226},"31","Mengenal Redis: Lebih dari Sekadar In-Memory Cache","mengenal-redis-lebih-dari-sekadar-in-memory-cache","Masih nganggep Redis cuma buat caching? Padahal dia bisa jadi leaderboard, message broker, sampai rate limiter lho. Yuk, kita bedah semua kemampuannya!",[170,108,227,228,229,202],"cache","nosql","in-memory",{"id":231,"title":232,"slug":233,"excerpt":234,"thumbnail_image":48,"tags":235},"20","Tailwind v3.0 Rilis: Ada JIT, Arbitrary Values, dan Banyak Lagi!","tailwind-v3-0-rilis-jit-arbitrary-dan-banyak-lagi","Tailwind CSS v3.0 resmi dirilis dengan segudang peningkatan performa yang bikin proses coding makin asyik. Apa aja sih fitur andalan yang wajib dicoba?",[236,237,238],"tailwind-css","css-framework","web-development",{"id":240,"title":241,"slug":242,"excerpt":243,"thumbnail_image":48,"tags":244},"18","React, Angular, atau Vue: Pilih Framework yang Mana?","react-angular-vue-pilih-framework-yang-mana","Bingung menentukan pilihan di antara React, Angular, dan Vue untuk proyek web kalian berikutnya? Tenang, yuk kita bandingkan kelebihan masing-masing di sini!",[238,245,81],"frontend",{"id":247,"title":248,"slug":249,"excerpt":250,"thumbnail_image":48,"tags":251},"19","Static Typing dan Dynamic Typing: Apa Bedanya?","static-typing-dan-dynamic-typing-apa-bedanya","Pernah bingung kenapa di Java tipe data harus dideklarasikan, sementara di Python tinggal pakai aja? Yuk, cari tahu perbedaan static typing dan dynamic typing di sini!",[252,253,254],"programming","types","comparison",{"id":256,"title":257,"slug":258,"excerpt":259,"thumbnail_image":48,"tags":260},"21","TypeScript: JavaScript dengan Gaya dan Tipe Data Statis","typescript-javascript-dengan-gaya","Pernah pusing gara-gara runtime error di JavaScript? Yuk, kenalan dengan TypeScript yang bawa fitur static typing biar kode kalian makin rapi dan aman!",[261,79,238],"typescript",{"id":263,"title":264,"slug":265,"excerpt":266,"thumbnail_image":48,"tags":267},"22","Yang Baru di Nuxt 3: Nitro Engine, Vite, dan Fitur Keren Lainnya","yang-baru-di-nuxt-3-nitro-vite-dan-banyak-lagi","Nuxt 3 hadir membawa perubahan arsitektur besar-besaran untuk menyelaraskan dengan Vue 3. Penasaran apa saja peningkatan performa dan fitur barunya?",[268,269,270],"nuxt-3","vue-3","frontend-framework",{"id":272,"title":273,"slug":274,"excerpt":275,"thumbnail_image":48,"tags":276},"112","Aplikasimu lambat, dan kamu udah kepikiran ganti bahasa. Tunggu dulu","aplikasimu-lambat-dan-kamu-udah-kepikiran-ganti-bahasa-tunggu-dulu","Ada endpoint yang grafiknya spike tiap beberapa menit, dan kepikiran buat pindah dari Go ke Rust? Discord dan Cloudflare beneran melakukannya — tapi cuma setelah kehabisan cara lain dan punya datanya. Yuk, bedah gejala mana yang beneran butuh rewrite, dan mana yang cuma butuh profiling. 🤔",[108,55,109,54,132,277],"profiling",{"id":279,"title":280,"slug":281,"excerpt":282,"thumbnail_image":48,"tags":283},"32","Docker Compose untuk Developer Santai: Satu Perintah Buat Jalankan Semua Service","docker-compose-untuk-developer-santai","Pernah nggak kalian ngulang-ngulang perintah `docker run` cuma buat nyalain web, database, dan cache satu-satu? Capek, kan? Yuk, kita rapikan semuanya jadi satu file dan satu perintah!",[149,284,147,285,108],"docker-compose","containers",{"id":287,"title":288,"slug":289,"excerpt":290,"thumbnail_image":48,"tags":291},"35","Mengenal Idempotency Key: Rahasia Anti-Double Charge di API Pembayaran","mengenal-idempotency-key-rahasia-anti-double-charge-di-api-pembayaran","Pernah internet kalian ngadat pas lagi nekan tombol Bayar, terus panik ngekliknya tiga kali? Kalau endpoint-nya nggak idempotent, saldo bisa kepotong berkali-kali. Yuk, kenalan sama Idempotency Key!",[108,169,292,132,293,148,170],"idempotency","payment",{"id":295,"title":296,"slug":297,"excerpt":298,"thumbnail_image":48,"tags":299},"25","Kenapa Event Queue Bikin Backend Kalian Nggak Gampang Tumbang?","kenapa-event-queue-bikin-backend-kamu-nggak-gampang-tumbang","Pernah klik tombol Beli Sekarang dan notifikasi suksesnya muncul dalam sekejap, padahal di belakang layar ada invoice, email, sampai push notification yang harus dibuat? Rahasianya Event Queue. Yuk, kita bedah!",[108,132,300,301,151],"event-queue","message-broker",{"id":303,"title":304,"slug":305,"excerpt":306,"thumbnail_image":48,"tags":307},"36","Mencegah Efek Domino di Mikroservis dengan Circuit Breaker Pattern","mencegah-efek-domino-di-mikroservis-dengan-circuit-breaker-pattern","Pernah nggak sih, satu fitur minor di aplikasi kalian mendadak lelet, eh malah bikin halaman checkout dan login ikut down total? Itu namanya *cascading failure*. Yuk, kita bahas gimana *circuit breaker pattern* (pemutus arus) nyelametin arsitektur kalian!",[108,186,308,132,151],"circuit-breaker",{"id":310,"title":311,"slug":312,"excerpt":313,"thumbnail_image":48,"tags":314},"17","Pemrograman Asynchronous vs Multithreading, Apa Sih Bedanya?","pemrograman-asynchronous-dan-multithreading-apa-bedanya","Sering dengar istilah asynchronous dan multithreading pas ngoding tapi masih bingung bedanya? Yuk, kita bedah perbedaannya lewat analogi bikin mi instan yang gampang dipahami!",[315,130,316],"pemrograman","tips-coding",{"id":318,"title":319,"slug":320,"excerpt":321,"thumbnail_image":48,"tags":322},"16","Menggunakan TypeScript dengan Node.js dan Express","menggunakan-typescript-dengan-node-js-dan-express","Pengen bikin server Express di Node.js tapi pakai fitur-fitur keren TypeScript? Yuk, intip cara setup lengkapnya dari nol di sini!",[79,323,324,261],"nodejs","express",{"id":326,"title":327,"slug":328,"excerpt":329,"thumbnail_image":48,"tags":330},"40","Menyelami Distributed Tracing: Melacak Jejak Request di Balik Keruwetan Microservices","menyelami-distributed-tracing-melacak-jejak-request-microservices","Satu klik Checkout di backend kalian bisa memicu puluhan network call antar-service, tapi pas ada yang lambat, service mana sebenernya yang salah? Log aja nggak cukup buat njawab itu. Yuk, kita bedah Distributed Tracing!",[108,331,332,333,186,151,334],"distributed-systems","observability","open-telemetry","tracing",{"id":336,"title":337,"slug":338,"excerpt":339,"thumbnail_image":48,"tags":340},"28","Mengatasi N+1 Query Problem: Musuh Tersembunyi Performa Backend","mengatasi-n-plus-1-query-problem-musuh-tersembunyi-backend","Pernah bikin endpoint yang cuma nampilin 50 postingan beserta nama penulisnya, tapi response-nya lambat banget? Bisa jadi kalian kena N+1 Query. Yuk, kita bedah penyebabnya dan cara memberantasnya!",[158,177,341,342,343,55,108],"orm","sqlalchemy","django",{"id":345,"title":346,"slug":347,"excerpt":348,"thumbnail_image":48,"tags":349},"13","Hal yang Perlu Diperhatikan Sebelum Pindah ke Linux","hal-yang-perlu-diperhatikan-sebelum-pindah-ke-linux","Tertarik migrasi dari Windows ke Linux tapi masih ragu? Yuk, pelajari kelebihan, kekurangan, dan persiapan penting sebelum kamu benar-benar pindah!",[89,350,351],"windows","foss",{"id":353,"title":354,"slug":355,"excerpt":356,"thumbnail_image":48,"tags":357},"27","Background Worker & Task Queue: Jangan Jalankan Proses Berat di Request HTTP!","background-worker-task-queue-jangan-jalankan-proses-berat-di-http","Pernah nggak sih kalian klik Daftar Akun lalu halaman loading muter sampai 15 detik tanpa kepastian? Penyebabnya klasik banget. Yuk, kita bahas kenapa proses berat nggak boleh dijalanin di request HTTP!",[108,358,359,148,360,170,361],"task-queue","celery","rabbitmq","async",{"id":363,"title":364,"slug":365,"excerpt":366,"thumbnail_image":48,"tags":367},"12","Buat PowerShell Lebih Berwarna dengan Starship","buat-powershell-lebih-berwarna-dengan-starship","Bosen sama tampilan PowerShell yang hitam putih dan kaku? Yuk, sulap terminalmu jadi lebih interaktif, estetik, dan berwarna pakai Starship!",[368,350,369],"shell","powershell",{"id":371,"title":372,"slug":373,"excerpt":374,"thumbnail_image":48,"tags":375},"41","Log Aggregation Modern dengan Grafana Loki dan Vector: Hemat Storage Tanpa Indeks Raksasa","log-aggregation-modern-grafana-loki-vector-hemat-storage","Klaster Elasticsearch kalian rakus RAM dan boros storage, ya? Padahal nggak semua kata di log perlu diindeks, lho. Yuk, kita kenalan sama duet Grafana Loki dan Vector yang jauh lebih ramah kantong!",[108,376,377,378,379,380,147,132],"observa","logging","grafana","loki","vector",{"id":382,"title":383,"slug":384,"excerpt":385,"thumbnail_image":48,"tags":386},"45","Rate Limiting Algorithms: Token Bucket vs Leaky Bucket vs Sliding Window","rate-limiting-algorithms-token-bucket-leaky-bucket-sliding-window","Udah tahu kenapa *rate limiting* itu wajib, tapi masih bingung beda Token Bucket, Leaky Bucket, Fixed Window, dan Sliding Window? Yuk, kita adu empat algoritma ini bareng-bareng dan cari tahu mana yang paling pas buat API kalian!",[108,132,168,170,387,151,388],"api-gateway","traffict-management",{"id":390,"title":391,"slug":392,"excerpt":393,"thumbnail_image":48,"tags":394},"118","Belajar Idempotency dari Stok yang Keburu Kebeli","pub-sub-sendiri-lalu-belajar-idempotency","Tugas pertama saya di kerjaan pertama: sistem yang kewalahan menerima webhook. Saya putuskan membangun pub/sub sendiri dari nol, dan pelajaran yang akhirnya datang bukan dari situ — tapi dari stok gudang yang keburu kebeli orang.",[292,395,359,360,396],"event-driven","post-mortem",{"id":398,"title":399,"slug":400,"excerpt":401,"thumbnail_image":48,"tags":402},"34","Kenapa Backend Butuh Database Connection Pooling?","kenapa-backend-butuh-database-connection-pooling","Pernah kena error Too many connections padahal CPU server masih santai di angka 30%? Masalahnya bukan di query kalian, tapi di cara aplikasi ngobrol sama database. Yuk, kenalan sama Connection Pooling!",[108,158,159,403,132,55],"connection-pooling",{"id":405,"title":406,"slug":407,"excerpt":408,"thumbnail_image":48,"tags":409},"33","Berkenalan dengan RabbitMQ: Si Kurir Pesan Serba Bisa","berkenalan-dengan-rabbitmq-si-kurir-pesan-serba-bisa","Pernah nggak sih kalian klik Bayar Sekarang dan notifikasi suksesnya muncul seketika, padahal email konfirmasi baru nyampe beberapa detik kemudian? Rahasianya ada di satu kurir tak terlihat. Yuk, kita kenalan sama RabbitMQ!",[360,301,108,186,361,410],"queue",{"id":412,"title":413,"slug":414,"excerpt":415,"thumbnail_image":48,"tags":416},"29","Memahami Database Indexing: Rahasia Query Super Cepat","memahami-database-indexing-rahasia-query-super-cepat","Query kalian mulai lelet padahal data baru nembus jutaan baris? Sebelum buru-buru *upgrade* server, yuk cek dulu *index*-nya. Yuk, kita bedah gimana *database indexing* sebenernya kerja!",[158,177,159,417,55,108],"indexing","\u003Cp>Ambil satu array angka, lalu tulis ini di JavaScript:\u003C/p>\n\n\u003Cdiv class=\"code-block-wrapper my-6 not-prose rounded-xl border-2 border-black dark:border-gray-600 shadow-neo overflow-hidden bg-[#24292e] text-[#e1e4e8] transition-all\">\n  \u003Cdiv class=\"code-block-header flex items-center justify-between px-4 py-2.5 bg-[#1f2428] border-b-2 border-black dark:border-gray-600 font-mono text-xs font-bold text-gray-300 select-none\">\n    \u003Cdiv class=\"flex items-center gap-2\">\n      \u003Cspan class=\"w-3 h-3 rounded-full bg-[#ff5f56] border border-black/40 inline-block\">\u003C/span>\n      \u003Cspan class=\"w-3 h-3 rounded-full bg-[#ffbd2e] border border-black/40 inline-block\">\u003C/span>\n      \u003Cspan class=\"w-3 h-3 rounded-full bg-[#27c93f] border border-black/40 inline-block\">\u003C/span>\n      \u003Cspan class=\"ml-2 font-mono font-bold text-xs uppercase tracking-wider text-gray-300\">JS\u003C/span>\n    \u003C/div>\n    \u003Cbutton type=\"button\" class=\"copy-code-btn flex items-center gap-1.5 px-3 py-1 text-xs font-bold bg-[#2f363d] text-gray-200 border-2 border-black dark:border-gray-500 rounded-lg shadow-neo-sm hover:translate-x-0.5 hover:translate-y-0.5 hover:shadow-none hover:bg-gray-700 transition-all cursor-pointer\" data-code=\"const%20total%20%3D%20angka%0A%20%20.filter((x)%20%3D%3E%20x%20%25%202%20%3D%3D%3D%200)%0A%20%20.map((x)%20%3D%3E%20x%20*%202)%0A%20%20.reduce((a%2C%20b)%20%3D%3E%20a%20%2B%20b%2C%200)%3B\" title=\"Salin kode\">\n      \u003Csvg class=\"w-3.5 h-3.5 copy-icon-svg\" fill=\"none\" stroke=\"currentColor\" viewBox=\"0 0 24 24\">\n        \u003Cpath stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2\" d=\"M8 16H6a2 2 0 01-2-2V6a2 2 0 012-2h8a2 2 0 012 2v2m-6 12h8a2 2 0 002-2v-8a2 2 0 00-2-2h-8a2 2 0 00-2 2v8a2 2 0 002 2z\">\u003C/path>\n      \u003C/svg>\n      \u003Cspan class=\"copy-text\">Copy\u003C/span>\n    \u003C/button>\n  \u003C/div>\n  \u003Cdiv class=\"code-block-content p-4 overflow-x-auto text-sm font-mono leading-relaxed bg-[#24292e]\">\n    \u003Cpre class=\"shiki github-dark\" style=\"background-color:#24292e;color:#e1e4e8\" tabindex=\"0\">\u003Ccode>\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">const\u003C/span>\u003Cspan style=\"color:#79B8FF\"> total\u003C/span>\u003Cspan style=\"color:#F97583\"> =\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> angka\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#E1E4E8\">  .\u003C/span>\u003Cspan style=\"color:#B392F0\">filter\u003C/span>\u003Cspan style=\"color:#E1E4E8\">((\u003C/span>\u003Cspan style=\"color:#FFAB70\">x\u003C/span>\u003Cspan style=\"color:#E1E4E8\">) \u003C/span>\u003Cspan style=\"color:#F97583\">=>\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> x \u003C/span>\u003Cspan style=\"color:#F97583\">%\u003C/span>\u003Cspan style=\"color:#79B8FF\"> 2\u003C/span>\u003Cspan style=\"color:#F97583\"> ===\u003C/span>\u003Cspan style=\"color:#79B8FF\"> 0\u003C/span>\u003Cspan style=\"color:#E1E4E8\">)\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#E1E4E8\">  .\u003C/span>\u003Cspan style=\"color:#B392F0\">map\u003C/span>\u003Cspan style=\"color:#E1E4E8\">((\u003C/span>\u003Cspan style=\"color:#FFAB70\">x\u003C/span>\u003Cspan style=\"color:#E1E4E8\">) \u003C/span>\u003Cspan style=\"color:#F97583\">=>\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> x \u003C/span>\u003Cspan style=\"color:#F97583\">*\u003C/span>\u003Cspan style=\"color:#79B8FF\"> 2\u003C/span>\u003Cspan style=\"color:#E1E4E8\">)\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#E1E4E8\">  .\u003C/span>\u003Cspan style=\"color:#B392F0\">reduce\u003C/span>\u003Cspan style=\"color:#E1E4E8\">((\u003C/span>\u003Cspan style=\"color:#FFAB70\">a\u003C/span>\u003Cspan style=\"color:#E1E4E8\">, \u003C/span>\u003Cspan style=\"color:#FFAB70\">b\u003C/span>\u003Cspan style=\"color:#E1E4E8\">) \u003C/span>\u003Cspan style=\"color:#F97583\">=>\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> a \u003C/span>\u003Cspan style=\"color:#F97583\">+\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> b, \u003C/span>\u003Cspan style=\"color:#79B8FF\">0\u003C/span>\u003Cspan style=\"color:#E1E4E8\">);\u003C/span>\u003C/span>\u003C/code>\u003C/pre>\n  \u003C/div>\n\u003C/div>\u003Cp>Satu baris, enak dibaca, rapi banget, kan? 😅 Tapi kita semua tahu harganya: \u003Ccode>filter\u003C/code> bikin array baru, \u003Ccode>map\u003C/code> bikin array baru lagi, lalu \u003Ccode>reduce\u003C/code> jalan di atas hasilnya. Buat array berisi sejuta angka, itu artinya dua array sementara yang harus dialokasikan, dibuang, dan dibersihkan \u003Cem>Garbage Collector\u003C/em>, padahal hasil akhirnya cuma satu bilangan.\u003C/p>\n\u003Cp>Itu sebabnya programmer yang berburu performa tinggi sering turun kasta: nulis \u003Cem>loop\u003C/em> \u003Ccode>for\u003C/code> mentah, pakai pointer manual, dan merelakan kodenya jadi lebih panjang demi satu-dua milidetik. Selama beberapa dekade, itu memang aturan tak tertulisnya: makin tinggi \u003Cem>level\u003C/em> abstraksi, makin mahal ongkos \u003Cem>runtime\u003C/em>-nya.\u003C/p>\n\u003Cp>Rust menantang aturan itu dengan prinsip yang diwarisi dari dunia C++: \u003Cem>Zero-Cost Abstractions\u003C/em>. Bjarne Stroustrup, pencipta C++, merumuskannya seperti ini:\u003C/p>\n\u003Cblockquote>\n\u003Cp>Secara umum, implementasi C++ mengikuti prinsip \u003Cem>zero-overhead\u003C/em>: yang nggak kamu pakai, nggak kamu bayar. Dan yang kamu pakai, nggak bisa kamu tulis sendiri dengan lebih efisien.\u003C/p>\n\u003C/blockquote>\n\u003Cp>Kedengarannya kayak slogan \u003Cem>marketing\u003C/em>, ya. Makanya kita nggak akan percaya begitu saja. Yuk, kita bongkar \u003Cem>assembly\u003C/em>-nya sendiri, pakai \u003Ccode>rustc\u003C/code> 1.99 dengan LLVM di belakangnya.\u003C/p>\n\u003Ch2 id=\"jadi-apa-sih-zero-cost-itu\">Jadi apa sih "zero-cost" itu?\u003C/h2>\n\u003Cp>Kata "zero" di sini bukan berarti gratis tanpa ongkos sama sekali. Ongkosnya tetap ada, cuma tempat membayarnya yang dipindah: dari \u003Cem>runtime\u003C/em> ke \u003Cem>compile-time\u003C/em>. \u003Cstrong>Biayanya pindah, bukan hilang.\u003C/strong>\u003C/p>\n\u003Cp>\u003Ccode>rustc\u003C/code> dan LLVM bekerja ekstra keras saat proses \u003Cem>build\u003C/em>. Mereka menyalin fungsi generik untuk tiap tipe konkret, membuka abstraksi berlapis jadi kode datar, lalu membuang seluruh pembukuan yang cuma jadi beban. Yang tersisa di berkas biner adalah instruksi mesin biasa, sering kali sama persis dengan versi manualnya.\u003C/p>\n\u003Cp>Tiga mekanisme utama yang dipakai untuk itu: \u003Cem>monomorphization\u003C/em>, \u003Cem>iterator\u003C/em>, dan \u003Cem>closure\u003C/em>.\u003C/p>\n\u003Ch2 id=\"rahasia-1-monomorphization-polimorfisme-tanpa-lompatan-runtime\">Rahasia 1: monomorphization, polimorfisme tanpa lompatan \u003Cem>runtime\u003C/em>\u003C/h2>\n\u003Cp>Di bahasa yang pakai \u003Cem>dynamic dispatch\u003C/em> seperti Java atau Python, memanggil method dari sebuah \u003Cem>interface\u003C/em> berarti CPU harus mencari alamat fungsinya dulu di \u003Cem>runtime\u003C/em>, biasanya lewat \u003Cem>vtable\u003C/em>. Biaya satu lompatan emang kecil, tapi efeknya besar: kompiler cuma bisa melihat dari luar fungsi yang dipanggil, jadi dia kehilangan kesempatan membuang kode mati atau menyatukan perhitungan.\u003C/p>\n\u003Cp>Rust bisa memilih jalur lain. Coba kode ini:\u003C/p>\n\n\u003Cdiv class=\"code-block-wrapper my-6 not-prose rounded-xl border-2 border-black dark:border-gray-600 shadow-neo overflow-hidden bg-[#24292e] text-[#e1e4e8] transition-all\">\n  \u003Cdiv class=\"code-block-header flex items-center justify-between px-4 py-2.5 bg-[#1f2428] border-b-2 border-black dark:border-gray-600 font-mono text-xs font-bold text-gray-300 select-none\">\n    \u003Cdiv class=\"flex items-center gap-2\">\n      \u003Cspan class=\"w-3 h-3 rounded-full bg-[#ff5f56] border border-black/40 inline-block\">\u003C/span>\n      \u003Cspan class=\"w-3 h-3 rounded-full bg-[#ffbd2e] border border-black/40 inline-block\">\u003C/span>\n      \u003Cspan class=\"w-3 h-3 rounded-full bg-[#27c93f] border border-black/40 inline-block\">\u003C/span>\n      \u003Cspan class=\"ml-2 font-mono font-bold text-xs uppercase tracking-wider text-gray-300\">RUST\u003C/span>\n    \u003C/div>\n    \u003Cbutton type=\"button\" class=\"copy-code-btn flex items-center gap-1.5 px-3 py-1 text-xs font-bold bg-[#2f363d] text-gray-200 border-2 border-black dark:border-gray-500 rounded-lg shadow-neo-sm hover:translate-x-0.5 hover:translate-y-0.5 hover:shadow-none hover:bg-gray-700 transition-all cursor-pointer\" data-code=\"trait%20Hitung%20%7B%0A%20%20%20%20fn%20nilai(%26self)%20-%3E%20i32%3B%0A%7D%0A%0Astruct%20A%3B%0Aimpl%20Hitung%20for%20A%20%7B%0A%20%20%20%20fn%20nilai(%26self)%20-%3E%20i32%20%7B%203%20%7D%0A%7D%0A%0Astruct%20B%3B%0Aimpl%20Hitung%20for%20B%20%7B%0A%20%20%20%20fn%20nilai(%26self)%20-%3E%20i32%20%7B%205%20%7D%0A%7D%0A%0Afn%20pakai%3CT%3A%20Hitung%3E(x%3A%20T)%20-%3E%20i32%20%7B%0A%20%20%20%20x.nilai()%0A%7D%0A%0Apub%20fn%20statis()%20-%3E%20i32%20%7B%0A%20%20%20%20pakai(A)%20%2B%20pakai(B)%0A%7D%0A%0Apub%20fn%20dinamis(d%3A%20%26dyn%20Hitung)%20-%3E%20i32%20%7B%0A%20%20%20%20d.nilai()%0A%7D\" title=\"Salin kode\">\n      \u003Csvg class=\"w-3.5 h-3.5 copy-icon-svg\" fill=\"none\" stroke=\"currentColor\" viewBox=\"0 0 24 24\">\n        \u003Cpath stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2\" d=\"M8 16H6a2 2 0 01-2-2V6a2 2 0 012-2h8a2 2 0 012 2v2m-6 12h8a2 2 0 002-2v-8a2 2 0 00-2-2h-8a2 2 0 00-2 2v8a2 2 0 002 2z\">\u003C/path>\n      \u003C/svg>\n      \u003Cspan class=\"copy-text\">Copy\u003C/span>\n    \u003C/button>\n  \u003C/div>\n  \u003Cdiv class=\"code-block-content p-4 overflow-x-auto text-sm font-mono leading-relaxed bg-[#24292e]\">\n    \u003Cpre class=\"shiki github-dark\" style=\"background-color:#24292e;color:#e1e4e8\" tabindex=\"0\">\u003Ccode>\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">trait\u003C/span>\u003Cspan style=\"color:#B392F0\"> Hitung\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> {\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">    fn\u003C/span>\u003Cspan style=\"color:#B392F0\"> nilai\u003C/span>\u003Cspan style=\"color:#E1E4E8\">(\u003C/span>\u003Cspan style=\"color:#F97583\">&\u003C/span>\u003Cspan style=\"color:#79B8FF\">self\u003C/span>\u003Cspan style=\"color:#E1E4E8\">) \u003C/span>\u003Cspan style=\"color:#F97583\">->\u003C/span>\u003Cspan style=\"color:#B392F0\"> i32\u003C/span>\u003Cspan style=\"color:#E1E4E8\">;\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#E1E4E8\">}\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">struct\u003C/span>\u003Cspan style=\"color:#B392F0\"> A\u003C/span>\u003Cspan style=\"color:#E1E4E8\">;\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">impl\u003C/span>\u003Cspan style=\"color:#B392F0\"> Hitung\u003C/span>\u003Cspan style=\"color:#F97583\"> for\u003C/span>\u003Cspan style=\"color:#B392F0\"> A\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> {\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">    fn\u003C/span>\u003Cspan style=\"color:#B392F0\"> nilai\u003C/span>\u003Cspan style=\"color:#E1E4E8\">(\u003C/span>\u003Cspan style=\"color:#F97583\">&\u003C/span>\u003Cspan style=\"color:#79B8FF\">self\u003C/span>\u003Cspan style=\"color:#E1E4E8\">) \u003C/span>\u003Cspan style=\"color:#F97583\">->\u003C/span>\u003Cspan style=\"color:#B392F0\"> i32\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> { \u003C/span>\u003Cspan style=\"color:#79B8FF\">3\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> }\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#E1E4E8\">}\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">struct\u003C/span>\u003Cspan style=\"color:#B392F0\"> B\u003C/span>\u003Cspan style=\"color:#E1E4E8\">;\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">impl\u003C/span>\u003Cspan style=\"color:#B392F0\"> Hitung\u003C/span>\u003Cspan style=\"color:#F97583\"> for\u003C/span>\u003Cspan style=\"color:#B392F0\"> B\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> {\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">    fn\u003C/span>\u003Cspan style=\"color:#B392F0\"> nilai\u003C/span>\u003Cspan style=\"color:#E1E4E8\">(\u003C/span>\u003Cspan style=\"color:#F97583\">&\u003C/span>\u003Cspan style=\"color:#79B8FF\">self\u003C/span>\u003Cspan style=\"color:#E1E4E8\">) \u003C/span>\u003Cspan style=\"color:#F97583\">->\u003C/span>\u003Cspan style=\"color:#B392F0\"> i32\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> { \u003C/span>\u003Cspan style=\"color:#79B8FF\">5\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> }\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#E1E4E8\">}\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">fn\u003C/span>\u003Cspan style=\"color:#B392F0\"> pakai\u003C/span>\u003Cspan style=\"color:#E1E4E8\"><\u003C/span>\u003Cspan style=\"color:#B392F0\">T\u003C/span>\u003Cspan style=\"color:#F97583\">:\u003C/span>\u003Cspan style=\"color:#B392F0\"> Hitung\u003C/span>\u003Cspan style=\"color:#E1E4E8\">>(x\u003C/span>\u003Cspan style=\"color:#F97583\">:\u003C/span>\u003Cspan style=\"color:#B392F0\"> T\u003C/span>\u003Cspan style=\"color:#E1E4E8\">) \u003C/span>\u003Cspan style=\"color:#F97583\">->\u003C/span>\u003Cspan style=\"color:#B392F0\"> i32\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> {\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#E1E4E8\">    x\u003C/span>\u003Cspan style=\"color:#F97583\">.\u003C/span>\u003Cspan style=\"color:#B392F0\">nilai\u003C/span>\u003Cspan style=\"color:#E1E4E8\">()\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#E1E4E8\">}\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">pub\u003C/span>\u003Cspan style=\"color:#F97583\"> fn\u003C/span>\u003Cspan style=\"color:#B392F0\"> statis\u003C/span>\u003Cspan style=\"color:#E1E4E8\">() \u003C/span>\u003Cspan style=\"color:#F97583\">->\u003C/span>\u003Cspan style=\"color:#B392F0\"> i32\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> {\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#B392F0\">    pakai\u003C/span>\u003Cspan style=\"color:#E1E4E8\">(\u003C/span>\u003Cspan style=\"color:#B392F0\">A\u003C/span>\u003Cspan style=\"color:#E1E4E8\">) \u003C/span>\u003Cspan style=\"color:#F97583\">+\u003C/span>\u003Cspan style=\"color:#B392F0\"> pakai\u003C/span>\u003Cspan style=\"color:#E1E4E8\">(\u003C/span>\u003Cspan style=\"color:#B392F0\">B\u003C/span>\u003Cspan style=\"color:#E1E4E8\">)\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#E1E4E8\">}\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">pub\u003C/span>\u003Cspan style=\"color:#F97583\"> fn\u003C/span>\u003Cspan style=\"color:#B392F0\"> dinamis\u003C/span>\u003Cspan style=\"color:#E1E4E8\">(d\u003C/span>\u003Cspan style=\"color:#F97583\">:\u003C/span>\u003Cspan style=\"color:#F97583\"> &dyn\u003C/span>\u003Cspan style=\"color:#B392F0\"> Hitung\u003C/span>\u003Cspan style=\"color:#E1E4E8\">) \u003C/span>\u003Cspan style=\"color:#F97583\">->\u003C/span>\u003Cspan style=\"color:#B392F0\"> i32\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> {\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#E1E4E8\">    d\u003C/span>\u003Cspan style=\"color:#F97583\">.\u003C/span>\u003Cspan style=\"color:#B392F0\">nilai\u003C/span>\u003Cspan style=\"color:#E1E4E8\">()\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#E1E4E8\">}\u003C/span>\u003C/span>\u003C/code>\u003C/pre>\n  \u003C/div>\n\u003C/div>\u003Cp>Dua fungsi terakhir hasilnya sama-sama 8, tapi jalannya beda jauh. Ini yang dihasilkan \u003Ccode>rustc -O\u003C/code> untuk \u003Ccode>statis()\u003C/code> nih:\u003C/p>\n\n\u003Cdiv class=\"code-block-wrapper my-6 not-prose rounded-xl border-2 border-black dark:border-gray-600 shadow-neo overflow-hidden bg-[#24292e] text-[#e1e4e8] transition-all\">\n  \u003Cdiv class=\"code-block-header flex items-center justify-between px-4 py-2.5 bg-[#1f2428] border-b-2 border-black dark:border-gray-600 font-mono text-xs font-bold text-gray-300 select-none\">\n    \u003Cdiv class=\"flex items-center gap-2\">\n      \u003Cspan class=\"w-3 h-3 rounded-full bg-[#ff5f56] border border-black/40 inline-block\">\u003C/span>\n      \u003Cspan class=\"w-3 h-3 rounded-full bg-[#ffbd2e] border border-black/40 inline-block\">\u003C/span>\n      \u003Cspan class=\"w-3 h-3 rounded-full bg-[#27c93f] border border-black/40 inline-block\">\u003C/span>\n      \u003Cspan class=\"ml-2 font-mono font-bold text-xs uppercase tracking-wider text-gray-300\">ASM\u003C/span>\n    \u003C/div>\n    \u003Cbutton type=\"button\" class=\"copy-code-btn flex items-center gap-1.5 px-3 py-1 text-xs font-bold bg-[#2f363d] text-gray-200 border-2 border-black dark:border-gray-500 rounded-lg shadow-neo-sm hover:translate-x-0.5 hover:translate-y-0.5 hover:shadow-none hover:bg-gray-700 transition-all cursor-pointer\" data-code=\"statis%3A%0A%20%20%20%20mov%20%20%20%20%20eax%2C%208%0A%20%20%20%20ret\" title=\"Salin kode\">\n      \u003Csvg class=\"w-3.5 h-3.5 copy-icon-svg\" fill=\"none\" stroke=\"currentColor\" viewBox=\"0 0 24 24\">\n        \u003Cpath stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2\" d=\"M8 16H6a2 2 0 01-2-2V6a2 2 0 012-2h8a2 2 0 012 2v2m-6 12h8a2 2 0 002-2v-8a2 2 0 00-2-2h-8a2 2 0 00-2 2v8a2 2 0 002 2z\">\u003C/path>\n      \u003C/svg>\n      \u003Cspan class=\"copy-text\">Copy\u003C/span>\n    \u003C/button>\n  \u003C/div>\n  \u003Cdiv class=\"code-block-content p-4 overflow-x-auto text-sm font-mono leading-relaxed bg-[#24292e]\">\n    \u003Cpre class=\"shiki github-dark\" style=\"background-color:#24292e;color:#e1e4e8\">\u003Ccode>statis:\n    mov     eax, 8\n    ret\u003C/code>\u003C/pre>\n  \u003C/div>\n\u003C/div>\u003Cp>Dua instruksi 🤯 Tanpa pemanggilan fungsi, tanpa tabel \u003Cem>method\u003C/em>, tanpa jejak \u003Ccode>A\u003C/code> atau \u003Ccode>B\u003C/code>. Kompiler sudah menghitung semuanya di \u003Cem>compile-time\u003C/em> dan menyisakan jawabannya saja.\u003C/p>\n\u003Cp>Sekarang versi \u003Ccode>&dyn\u003C/code>, satu-satunya cara Rust memaksa \u003Cem>dynamic dispatch\u003C/em>:\u003C/p>\n\n\u003Cdiv class=\"code-block-wrapper my-6 not-prose rounded-xl border-2 border-black dark:border-gray-600 shadow-neo overflow-hidden bg-[#24292e] text-[#e1e4e8] transition-all\">\n  \u003Cdiv class=\"code-block-header flex items-center justify-between px-4 py-2.5 bg-[#1f2428] border-b-2 border-black dark:border-gray-600 font-mono text-xs font-bold text-gray-300 select-none\">\n    \u003Cdiv class=\"flex items-center gap-2\">\n      \u003Cspan class=\"w-3 h-3 rounded-full bg-[#ff5f56] border border-black/40 inline-block\">\u003C/span>\n      \u003Cspan class=\"w-3 h-3 rounded-full bg-[#ffbd2e] border border-black/40 inline-block\">\u003C/span>\n      \u003Cspan class=\"w-3 h-3 rounded-full bg-[#27c93f] border border-black/40 inline-block\">\u003C/span>\n      \u003Cspan class=\"ml-2 font-mono font-bold text-xs uppercase tracking-wider text-gray-300\">ASM\u003C/span>\n    \u003C/div>\n    \u003Cbutton type=\"button\" class=\"copy-code-btn flex items-center gap-1.5 px-3 py-1 text-xs font-bold bg-[#2f363d] text-gray-200 border-2 border-black dark:border-gray-500 rounded-lg shadow-neo-sm hover:translate-x-0.5 hover:translate-y-0.5 hover:shadow-none hover:bg-gray-700 transition-all cursor-pointer\" data-code=\"dinamis%3A%0A%20%20%20%20jmp%20%20%20%20%20qword%20ptr%20%5Brsi%20%2B%2024%5D\" title=\"Salin kode\">\n      \u003Csvg class=\"w-3.5 h-3.5 copy-icon-svg\" fill=\"none\" stroke=\"currentColor\" viewBox=\"0 0 24 24\">\n        \u003Cpath stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2\" d=\"M8 16H6a2 2 0 01-2-2V6a2 2 0 012-2h8a2 2 0 012 2v2m-6 12h8a2 2 0 002-2v-8a2 2 0 00-2-2h-8a2 2 0 00-2 2v8a2 2 0 002 2z\">\u003C/path>\n      \u003C/svg>\n      \u003Cspan class=\"copy-text\">Copy\u003C/span>\n    \u003C/button>\n  \u003C/div>\n  \u003Cdiv class=\"code-block-content p-4 overflow-x-auto text-sm font-mono leading-relaxed bg-[#24292e]\">\n    \u003Cpre class=\"shiki github-dark\" style=\"background-color:#24292e;color:#e1e4e8\">\u003Ccode>dinamis:\n    jmp     qword ptr [rsi + 24]\u003C/code>\u003C/pre>\n  \u003C/div>\n\u003C/div>\u003Cp>Satu instruksi, tapi isinya lompat ke alamat yang baru diketahui saat program jalan, dibaca dari \u003Cem>vtable\u003C/em> pada offset 24. Kompiler berhenti di situ: dia nggak tahu fungsi apa yang bakal dipanggil, jadi nggak ada yang bisa di-\u003Cem>inline\u003C/em>.\u003C/p>\n\u003Cp>Proses penyalinan inilah yang disebut \u003Cem>monomorphization\u003C/em>. Waktu kamu menulis \u003Ccode>pakai::<A>()\u003C/code> dan \u003Ccode>pakai::<B>()\u003C/code>, Rust benar-benar membuat dua fungsi berbeda di berkas biner, satu untuk \u003Ccode>A\u003C/code> dan satu untuk \u003Ccode>B\u003C/code>. Kamu tetap bisa memaksa \u003Cem>dynamic dispatch\u003C/em> kapan pun kamu mau, dan kadang itu memang keputusan yang benar. Bedanya, di Rust itu pilihan, bukan satu-satunya jalan.\u003C/p>\n\u003Ch2 id=\"rahasia-2-iterator-secepat-loop-manual\">Rahasia 2: iterator secepat \u003Cem>loop\u003C/em> manual\u003C/h2>\n\u003Cp>Balik ke masalah di pembuka: rantai \u003Ccode>.filter().map().sum()\u003C/code> di Rust.\u003C/p>\n\n\u003Cdiv class=\"code-block-wrapper my-6 not-prose rounded-xl border-2 border-black dark:border-gray-600 shadow-neo overflow-hidden bg-[#24292e] text-[#e1e4e8] transition-all\">\n  \u003Cdiv class=\"code-block-header flex items-center justify-between px-4 py-2.5 bg-[#1f2428] border-b-2 border-black dark:border-gray-600 font-mono text-xs font-bold text-gray-300 select-none\">\n    \u003Cdiv class=\"flex items-center gap-2\">\n      \u003Cspan class=\"w-3 h-3 rounded-full bg-[#ff5f56] border border-black/40 inline-block\">\u003C/span>\n      \u003Cspan class=\"w-3 h-3 rounded-full bg-[#ffbd2e] border border-black/40 inline-block\">\u003C/span>\n      \u003Cspan class=\"w-3 h-3 rounded-full bg-[#27c93f] border border-black/40 inline-block\">\u003C/span>\n      \u003Cspan class=\"ml-2 font-mono font-bold text-xs uppercase tracking-wider text-gray-300\">RUST\u003C/span>\n    \u003C/div>\n    \u003Cbutton type=\"button\" class=\"copy-code-btn flex items-center gap-1.5 px-3 py-1 text-xs font-bold bg-[#2f363d] text-gray-200 border-2 border-black dark:border-gray-500 rounded-lg shadow-neo-sm hover:translate-x-0.5 hover:translate-y-0.5 hover:shadow-none hover:bg-gray-700 transition-all cursor-pointer\" data-code=\"let%20numbers%3A%20Vec%3Ci32%3E%20%3D%20(1..%3D10).collect()%3B%0A%0Alet%20functional%3A%20i32%20%3D%20numbers%0A%20%20%20%20.iter()%0A%20%20%20%20.filter(%7C%26%26x%7C%20x%20%25%202%20%3D%3D%200)%0A%20%20%20%20.map(%7C%26x%7C%20x%20*%202)%0A%20%20%20%20.sum()%3B%0A%0Alet%20mut%20manual%20%3D%200%3B%0Afor%20%26x%20in%20%26numbers%20%7B%0A%20%20%20%20if%20x%20%25%202%20%3D%3D%200%20%7B%0A%20%20%20%20%20%20%20%20manual%20%2B%3D%20x%20*%202%3B%0A%20%20%20%20%7D%0A%7D%0A%0Aprintln!(%22iterator%20%3D%20%7Bfunctional%7D%2C%20for%20loop%20%3D%20%7Bmanual%7D%22)%3B\" title=\"Salin kode\">\n      \u003Csvg class=\"w-3.5 h-3.5 copy-icon-svg\" fill=\"none\" stroke=\"currentColor\" viewBox=\"0 0 24 24\">\n        \u003Cpath stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2\" d=\"M8 16H6a2 2 0 01-2-2V6a2 2 0 012-2h8a2 2 0 012 2v2m-6 12h8a2 2 0 002-2v-8a2 2 0 00-2-2h-8a2 2 0 00-2 2v8a2 2 0 002 2z\">\u003C/path>\n      \u003C/svg>\n      \u003Cspan class=\"copy-text\">Copy\u003C/span>\n    \u003C/button>\n  \u003C/div>\n  \u003Cdiv class=\"code-block-content p-4 overflow-x-auto text-sm font-mono leading-relaxed bg-[#24292e]\">\n    \u003Cpre class=\"shiki github-dark\" style=\"background-color:#24292e;color:#e1e4e8\" tabindex=\"0\">\u003Ccode>\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">let\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> numbers\u003C/span>\u003Cspan style=\"color:#F97583\">:\u003C/span>\u003Cspan style=\"color:#B392F0\"> Vec\u003C/span>\u003Cspan style=\"color:#E1E4E8\"><\u003C/span>\u003Cspan style=\"color:#B392F0\">i32\u003C/span>\u003Cspan style=\"color:#E1E4E8\">> \u003C/span>\u003Cspan style=\"color:#F97583\">=\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> (\u003C/span>\u003Cspan style=\"color:#79B8FF\">1\u003C/span>\u003Cspan style=\"color:#F97583\">..=\u003C/span>\u003Cspan style=\"color:#79B8FF\">10\u003C/span>\u003Cspan style=\"color:#E1E4E8\">)\u003C/span>\u003Cspan style=\"color:#F97583\">.\u003C/span>\u003Cspan style=\"color:#B392F0\">collect\u003C/span>\u003Cspan style=\"color:#E1E4E8\">();\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">let\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> functional\u003C/span>\u003Cspan style=\"color:#F97583\">:\u003C/span>\u003Cspan style=\"color:#B392F0\"> i32\u003C/span>\u003Cspan style=\"color:#F97583\"> =\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> numbers\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">    .\u003C/span>\u003Cspan style=\"color:#B392F0\">iter\u003C/span>\u003Cspan style=\"color:#E1E4E8\">()\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">    .\u003C/span>\u003Cspan style=\"color:#B392F0\">filter\u003C/span>\u003Cspan style=\"color:#E1E4E8\">(\u003C/span>\u003Cspan style=\"color:#F97583\">|&&\u003C/span>\u003Cspan style=\"color:#E1E4E8\">x\u003C/span>\u003Cspan style=\"color:#F97583\">|\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> x \u003C/span>\u003Cspan style=\"color:#F97583\">%\u003C/span>\u003Cspan style=\"color:#79B8FF\"> 2\u003C/span>\u003Cspan style=\"color:#F97583\"> ==\u003C/span>\u003Cspan style=\"color:#79B8FF\"> 0\u003C/span>\u003Cspan style=\"color:#E1E4E8\">)\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">    .\u003C/span>\u003Cspan style=\"color:#B392F0\">map\u003C/span>\u003Cspan style=\"color:#E1E4E8\">(\u003C/span>\u003Cspan style=\"color:#F97583\">|&\u003C/span>\u003Cspan style=\"color:#E1E4E8\">x\u003C/span>\u003Cspan style=\"color:#F97583\">|\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> x \u003C/span>\u003Cspan style=\"color:#F97583\">*\u003C/span>\u003Cspan style=\"color:#79B8FF\"> 2\u003C/span>\u003Cspan style=\"color:#E1E4E8\">)\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">    .\u003C/span>\u003Cspan style=\"color:#B392F0\">sum\u003C/span>\u003Cspan style=\"color:#E1E4E8\">();\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">let\u003C/span>\u003Cspan style=\"color:#F97583\"> mut\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> manual \u003C/span>\u003Cspan style=\"color:#F97583\">=\u003C/span>\u003Cspan style=\"color:#79B8FF\"> 0\u003C/span>\u003Cspan style=\"color:#E1E4E8\">;\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">for\u003C/span>\u003Cspan style=\"color:#F97583\"> &\u003C/span>\u003Cspan style=\"color:#E1E4E8\">x \u003C/span>\u003Cspan style=\"color:#F97583\">in\u003C/span>\u003Cspan style=\"color:#F97583\"> &\u003C/span>\u003Cspan style=\"color:#E1E4E8\">numbers {\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">    if\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> x \u003C/span>\u003Cspan style=\"color:#F97583\">%\u003C/span>\u003Cspan style=\"color:#79B8FF\"> 2\u003C/span>\u003Cspan style=\"color:#F97583\"> ==\u003C/span>\u003Cspan style=\"color:#79B8FF\"> 0\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> {\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#E1E4E8\">        manual \u003C/span>\u003Cspan style=\"color:#F97583\">+=\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> x \u003C/span>\u003Cspan style=\"color:#F97583\">*\u003C/span>\u003Cspan style=\"color:#79B8FF\"> 2\u003C/span>\u003Cspan style=\"color:#E1E4E8\">;\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#E1E4E8\">    }\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#E1E4E8\">}\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#B392F0\">println!\u003C/span>\u003Cspan style=\"color:#E1E4E8\">(\u003C/span>\u003Cspan style=\"color:#9ECBFF\">\"iterator = {functional}, for loop = {manual}\"\u003C/span>\u003Cspan style=\"color:#E1E4E8\">);\u003C/span>\u003C/span>\u003C/code>\u003C/pre>\n  \u003C/div>\n\u003C/div>\u003Cp>Dijalankan, hasilnya \u003Ccode>iterator = 60, for loop = 60\u003C/code>, sama seperti yang kita harapkan.\u003C/p>\n\u003Cp>Yang menarik bukan hasilnya, tapi apa yang terjadi setelah kompilasi. Dua fungsi itu dikompilasi terpisah dengan \u003Ccode>rustc -O -C panic=abort\u003C/code>, lalu instruksinya dihitung satu per satu:\u003C/p>\n\u003Cul>\n\u003Cli>Versi \u003Cem>iterator\u003C/em>: 53 instruksi, nol instruksi \u003Ccode>call\u003C/code>.\u003C/li>\n\u003Cli>Versi \u003Cem>loop\u003C/em> manual: 57 instruksi, nol instruksi \u003Ccode>call\u003C/code>.\u003C/li>\n\u003C/ul>\n\u003Cp>Versi iterator malah punya empat instruksi lebih sedikit, bukan lebih banyak. Dua-duanya juga berisi instruksi vektor yang sama: \u003Ccode>movdqu\u003C/code>, \u003Ccode>pand\u003C/code>, \u003Ccode>paddd\u003C/code>, dan \u003Ccode>pcmpeqd\u003C/code>. Artinya \u003Cem>loop\u003C/em>-nya diubah jadi SIMD 128-bit yang memproses empat bilangan \u003Ccode>i32\u003C/code> sekaligus. Kalau \u003Ccode>-C target-feature=+avx2\u003C/code> ditambahkan, keduanya naik ke instruksi \u003Ccode>ymm\u003C/code> dan jumlahnya jadi 103 lawan 107, dengan pola yang sama.\u003C/p>\n\u003Cp>Gimana kompiler bisa sejauh itu? Tiga hal:\u003C/p>\n\u003Col>\n\u003Cli>\u003Cstrong>Tanpa alokasi di \u003Cem>heap\u003C/em>.\u003C/strong> Iterator Rust tuh \u003Cem>struct\u003C/em> kecil di \u003Cem>stack\u003C/em> yang cuma menyimpan posisi penelusuran. Nggak ada objek baru yang dibuat di tengah rantai.\u003C/li>\n\u003Cli>\u003Cstrong>Pengecekan batas ikut hilang.\u003C/strong> Waktu kamu menulis \u003Ccode>array[i]\u003C/code>, kompiler wajib menyisipkan pemeriksaan \u003Ccode>i < len\u003C/code> di \u003Cem>runtime\u003C/em> supaya akses di luar batas bisa dicegah. Lewat iterator, panjang dan arah penelusurannya bisa dibuktikan di \u003Cem>compile-time\u003C/em>, jadi pengecekan per elemen itu nggak perlu ada lagi. Di \u003Cem>assembly\u003C/em> di atas, yang tersisa cuma penambahan pointer biasa.\u003C/li>\n\u003Cli>\u003Cstrong>Hasilnya jadi ramah vektorisasi.\u003C/strong> Rantai iterator adalah mesin status yang bersih dan tanpa efek samping, jadi LLVM gampang mengenalinya sebagai pola \u003Cem>map-filter-reduce\u003C/em> dan menggantinya dengan instruksi SIMD.\u003C/li>\n\u003C/ol>\n\u003Cp>Ini bukan cuma teori di kertas. Buku resmi \u003Cem>The Rust Programming Language\u003C/em> pernah mengukur dua versi fungsi pencarian kata di teks \u003Cem>Sherlock Holmes\u003C/em>: versi \u003Cem>loop\u003C/em> 19.620.300 ns per iterasi, versi iterator 19.234.900 ns. Versi iterator sedikit lebih cepat. Angka itu dari mesin penulis buku di edisi pertama, jadi anggap petunjuk arah, bukan patokan mutlak.\u003C/p>\n\u003Ch2 id=\"rahasia-3-closure-itu-cuma-struct-anonim\">Rahasia 3: closure itu cuma \u003Cem>struct\u003C/em> anonim\u003C/h2>\n\u003Cp>Di bahasa ber-\u003Cem>Garbage Collector\u003C/em>, \u003Cem>closure\u003C/em> yang menangkap variabel dari luar biasanya butuh alokasi di \u003Cem>heap\u003C/em>: nilai yang ditangkap dibungkus jadi objek supaya umurnya lebih panjang dari fungsi asalnya.\u003C/p>\n\u003Cp>Di Rust caranya beda. \u003Cem>Closure\u003C/em> diterjemahkan jadi \u003Cem>struct\u003C/em> anonim yang isinya variabel yang ditangkap, dan disimpan di \u003Cem>stack\u003C/em> seperti nilai biasa:\u003C/p>\n\n\u003Cdiv class=\"code-block-wrapper my-6 not-prose rounded-xl border-2 border-black dark:border-gray-600 shadow-neo overflow-hidden bg-[#24292e] text-[#e1e4e8] transition-all\">\n  \u003Cdiv class=\"code-block-header flex items-center justify-between px-4 py-2.5 bg-[#1f2428] border-b-2 border-black dark:border-gray-600 font-mono text-xs font-bold text-gray-300 select-none\">\n    \u003Cdiv class=\"flex items-center gap-2\">\n      \u003Cspan class=\"w-3 h-3 rounded-full bg-[#ff5f56] border border-black/40 inline-block\">\u003C/span>\n      \u003Cspan class=\"w-3 h-3 rounded-full bg-[#ffbd2e] border border-black/40 inline-block\">\u003C/span>\n      \u003Cspan class=\"w-3 h-3 rounded-full bg-[#27c93f] border border-black/40 inline-block\">\u003C/span>\n      \u003Cspan class=\"ml-2 font-mono font-bold text-xs uppercase tracking-wider text-gray-300\">RUST\u003C/span>\n    \u003C/div>\n    \u003Cbutton type=\"button\" class=\"copy-code-btn flex items-center gap-1.5 px-3 py-1 text-xs font-bold bg-[#2f363d] text-gray-200 border-2 border-black dark:border-gray-500 rounded-lg shadow-neo-sm hover:translate-x-0.5 hover:translate-y-0.5 hover:shadow-none hover:bg-gray-700 transition-all cursor-pointer\" data-code=\"let%20batas%20%3D%205%3B%0Alet%20dibaca%20%3D%20%7Cx%3A%20i32%7C%20x%20%3E%20batas%3B%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%2F%2F%20cuma%20membaca%20%20-%3E%20Fn%0Alet%20mut%20hitungan%20%3D%200%3B%0Alet%20mut%20menambah%20%3D%20%7Cx%3A%20i32%7C%20%7B%20hitungan%20%2B%3D%20x%3B%20%7D%3B%20%20%2F%2F%20mengubah%20%20%20%20%20%20-%3E%20FnMut%0Alet%20pemilik%20%3D%20String%3A%3Afrom(%22halo%22)%3B%0Alet%20memindah%20%3D%20move%20%7C%7C%20pemilik.len()%3B%20%20%20%20%20%20%20%20%20%20%20%20%2F%2F%20memindahkan%20%20%20-%3E%20FnOnce\" title=\"Salin kode\">\n      \u003Csvg class=\"w-3.5 h-3.5 copy-icon-svg\" fill=\"none\" stroke=\"currentColor\" viewBox=\"0 0 24 24\">\n        \u003Cpath stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2\" d=\"M8 16H6a2 2 0 01-2-2V6a2 2 0 012-2h8a2 2 0 012 2v2m-6 12h8a2 2 0 002-2v-8a2 2 0 00-2-2h-8a2 2 0 00-2 2v8a2 2 0 002 2z\">\u003C/path>\n      \u003C/svg>\n      \u003Cspan class=\"copy-text\">Copy\u003C/span>\n    \u003C/button>\n  \u003C/div>\n  \u003Cdiv class=\"code-block-content p-4 overflow-x-auto text-sm font-mono leading-relaxed bg-[#24292e]\">\n    \u003Cpre class=\"shiki github-dark\" style=\"background-color:#24292e;color:#e1e4e8\" tabindex=\"0\">\u003Ccode>\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">let\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> batas \u003C/span>\u003Cspan style=\"color:#F97583\">=\u003C/span>\u003Cspan style=\"color:#79B8FF\"> 5\u003C/span>\u003Cspan style=\"color:#E1E4E8\">;\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">let\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> dibaca \u003C/span>\u003Cspan style=\"color:#F97583\">=\u003C/span>\u003Cspan style=\"color:#F97583\"> |\u003C/span>\u003Cspan style=\"color:#E1E4E8\">x\u003C/span>\u003Cspan style=\"color:#F97583\">:\u003C/span>\u003Cspan style=\"color:#B392F0\"> i32\u003C/span>\u003Cspan style=\"color:#F97583\">|\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> x \u003C/span>\u003Cspan style=\"color:#F97583\">>\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> batas;                 \u003C/span>\u003Cspan style=\"color:#6A737D\">// cuma membaca  -> Fn\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">let\u003C/span>\u003Cspan style=\"color:#F97583\"> mut\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> hitungan \u003C/span>\u003Cspan style=\"color:#F97583\">=\u003C/span>\u003Cspan style=\"color:#79B8FF\"> 0\u003C/span>\u003Cspan style=\"color:#E1E4E8\">;\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">let\u003C/span>\u003Cspan style=\"color:#F97583\"> mut\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> menambah \u003C/span>\u003Cspan style=\"color:#F97583\">=\u003C/span>\u003Cspan style=\"color:#F97583\"> |\u003C/span>\u003Cspan style=\"color:#E1E4E8\">x\u003C/span>\u003Cspan style=\"color:#F97583\">:\u003C/span>\u003Cspan style=\"color:#B392F0\"> i32\u003C/span>\u003Cspan style=\"color:#F97583\">|\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> { hitungan \u003C/span>\u003Cspan style=\"color:#F97583\">+=\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> x; };  \u003C/span>\u003Cspan style=\"color:#6A737D\">// mengubah      -> FnMut\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">let\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> pemilik \u003C/span>\u003Cspan style=\"color:#F97583\">=\u003C/span>\u003Cspan style=\"color:#B392F0\"> String\u003C/span>\u003Cspan style=\"color:#F97583\">::\u003C/span>\u003Cspan style=\"color:#B392F0\">from\u003C/span>\u003Cspan style=\"color:#E1E4E8\">(\u003C/span>\u003Cspan style=\"color:#9ECBFF\">\"halo\"\u003C/span>\u003Cspan style=\"color:#E1E4E8\">);\u003C/span>\u003C/span>\n\u003Cspan class=\"line\">\u003Cspan style=\"color:#F97583\">let\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> memindah \u003C/span>\u003Cspan style=\"color:#F97583\">=\u003C/span>\u003Cspan style=\"color:#F97583\"> move\u003C/span>\u003Cspan style=\"color:#F97583\"> ||\u003C/span>\u003Cspan style=\"color:#E1E4E8\"> pemilik\u003C/span>\u003Cspan style=\"color:#F97583\">.\u003C/span>\u003Cspan style=\"color:#B392F0\">len\u003C/span>\u003Cspan style=\"color:#E1E4E8\">();            \u003C/span>\u003Cspan style=\"color:#6A737D\">// memindahkan   -> FnOnce\u003C/span>\u003C/span>\u003C/code>\u003C/pre>\n  \u003C/div>\n\u003C/div>\u003Cp>Bedanya cuma soal apa yang dilakukan \u003Cem>closure\u003C/em> itu ke variabel di sekitarnya, dan kompiler yang menentukannya:\u003C/p>\n\u003Cul>\n\u003Cli>Kalau \u003Cem>closure\u003C/em>-nya cuma membaca, dia meminjam referensi biasa dan mengimplementasikan \u003Cem>trait\u003C/em> \u003Ccode>Fn\u003C/code>.\u003C/li>\n\u003Cli>Kalau dia mengubah nilainya, pinjamannya jadi \u003Ccode>&mut\u003C/code> dan \u003Cem>trait\u003C/em>-nya \u003Ccode>FnMut\u003C/code>.\u003C/li>\n\u003Cli>Kalau dia mengambil kepemilikannya, nilainya pindah ke dalam \u003Cem>struct\u003C/em>, dan \u003Cem>trait\u003C/em>-nya \u003Ccode>FnOnce\u003C/code>.\u003C/li>\n\u003C/ul>\n\u003Cp>Nggak ada \u003Cem>allocator\u003C/em> yang dilibatkan, karena semuanya hidup di \u003Cem>stack\u003C/em>. Dijalankan, outputnya: \u003Ccode>dibaca(7)\u003C/code> balik \u003Ccode>true\u003C/code>, \u003Ccode>hitungan\u003C/code> berakhir di \u003Ccode>7\u003C/code>, dan panjang \u003Ccode>pemilik\u003C/code> tetap \u003Ccode>4\u003C/code> walaupun isinya sudah dipindah masuk ke dalam \u003Cem>closure\u003C/em>.\u003C/p>\n\u003Ch2 id=\"pajak-yang-tetap-harus-dibayar\">Pajak yang tetap harus dibayar\u003C/h2>\n\u003Cp>Kalau abstraksinya benar-benar nol ongkos, kenapa nggak semua bahasa begitu? Karena ongkosnya nggak hilang, cuma pindah tempat.\u003C/p>\n\u003Cp>\u003Cstrong>Waktu \u003Cem>build\u003C/em> lebih lama.\u003C/strong> Analisis \u003Cem>borrow checker\u003C/em>, \u003Cem>monomorphization\u003C/em>, dan optimasi agresif memang kerja berat. Tapi hati-hati dengan penjelasan populer yang menyalahkan \u003Cem>monomorphization\u003C/em> sendirian: salah satu pengembang kompiler Rust pernah bilang eksperimen di masa awal Rust menunjukkan \u003Cem>monomorphization\u003C/em> bukan penyebab utamanya, karena versi dinamis pun butuh banyak kode pembukuan yang harus dioptimasi. Penyebab sebenarnya tersebar, dari pohon dependensi yang besar sampai tahap optimasi LLVM itu sendiri.\u003C/p>\n\u003Cp>\u003Cstrong>Ukuran biner bisa membengkak.\u003C/strong> Setiap tipe konkret menghasilkan salinan fungsinya sendiri. Pakai \u003Ccode>Vec<i32>\u003C/code>, \u003Ccode>Vec<u64>\u003C/code>, dan \u003Ccode>Vec<String>\u003C/code> di satu program, kamu dapat tiga salinan kode yang mirip. Di program kecil efeknya tipis; di proyek besar, \u003Cem>code bloat\u003C/em> itu nyata. Salah satu obatnya: pakai \u003Ccode>&dyn Trait\u003C/code> untuk kode yang dipanggil jarang dan nggak butuh cepat. Seperti yang kita lihat di atas, itu memang benar-benar menghemat kode.\u003C/p>\n\u003Cp>Jadi harga \u003Cem>zero-cost abstraction\u003C/em> bukan nol. Yang berubah cuma siapa yang membayarnya: mesin \u003Cem>build\u003C/em> kamu dan pembaca kodenya nanti, bukan CPU pengguna.\u003C/p>\n\u003Ch2 id=\"penutup\">Penutup\u003C/h2>\n\u003Cp>Yang bikin prinsip ini menarik bukan sekadar performanya, tapi izin yang dia berikan: kamu nggak perlu merasa bersalah nulis iterator berantai, nyusun \u003Cem>trait\u003C/em> modular, atau bikin \u003Cem>closure\u003C/em> di kode yang kritis secara performa. Kalau memang ada biayanya, biaya itu ditaruh di tempat yang jauh lebih murah buat kamu bayar.\u003C/p>\n\u003Cp>Kalau kamu mau lihat sendiri \u003Cem>assembly\u003C/em>-nya, tempel kode di atas ke \u003Ca href=\"https://godbolt.org/\">Compiler Explorer\u003C/a>, pilih \u003Ccode>rustc\u003C/code> versi stabil, lalu tambahkan \u003Ccode>-O -C panic=abort\u003C/code> di kolom argumen. Cara paling cepat buat berhenti percaya dan mulai memeriksa. Selamat ber-\u003Cem>systems programming\u003C/em> ria! 🦀\u003C/p>\n","\u003Cul>\n\u003Cli>Zero-cost abstraction bukan berarti bebas biaya, tapi memindahkan biaya itu ke tahap kompilasi supaya runtime-nya bersih.\u003C/li>\n\u003Cli>Monomorphization menyalin fungsi generik untuk tiap tipe konkret, jadi kompiler bisa membuang lapisan abstraksinya sepenuhnya. Fungsi yang isinya dua pemanggilan trait menyusut jadi \u003Ccode>mov eax, 8\u003C/code> dan \u003Ccode>ret\u003C/code>.\u003C/li>\n\u003Cli>Rantai iterator di Rust terukur secepat loop manual karena nggak ada alokasi heap, pengecekan batas hilang, dan loop-nya berubah jadi instruksi SIMD.\u003C/li>\n\u003Cli>Closure diterjemahkan jadi struct anonim di stack, dan trait Fn, FnMut, atau FnOnce yang dipilih kompiler menunjukkan cara dia memakai variabel di sekitarnya.\u003C/li>\n\u003Cli>Yang tetap dibayar: waktu build lebih lama dan ukuran biner yang bisa membengkak akibat duplikasi fungsi untuk tiap tipe konkret.\u003C/li>\n\u003C/ul>\n",[421,423,425,427,429,431],{"id":49,"title":50,"slug":51,"excerpt":52,"thumbnail_image":48,"tags":422},[54,55,56,57,58],{"id":84,"title":85,"slug":86,"excerpt":87,"thumbnail_image":48,"tags":424},[54,89,90,56,91],{"id":272,"title":273,"slug":274,"excerpt":275,"thumbnail_image":48,"tags":426},[108,55,109,54,132,277],{"id":103,"title":104,"slug":105,"excerpt":106,"thumbnail_image":48,"tags":428},[108,55,109,110,111,112],{"id":390,"title":391,"slug":392,"excerpt":393,"thumbnail_image":48,"tags":430},[292,395,359,360,396],{"id":432,"title":433,"slug":434,"excerpt":435,"thumbnail_image":48,"tags":436},"119","Aturan Sintaks: Satu Titik Koma Bikin Program Nggak Jalan","aturan-sintaks-pemrograman","Baru nulis beberapa baris, programnya udah nolak jalan? Seringnya bukan logikanya yang salah, cuma satu karakter yang kurang atau salah tempat.",[437,438,439,202],"syntax","dasar","konsep",[441,445,448,451,454,457],{"text":442,"depth":443,"id":444},"Jadi apa sih \"zero-cost\" itu?",2,"jadi-apa-sih-zero-cost-itu",{"text":446,"depth":443,"id":447},"Rahasia 1: monomorphization, polimorfisme tanpa lompatan runtime","rahasia-1-monomorphization-polimorfisme-tanpa-lompatan-runtime",{"text":449,"depth":443,"id":450},"Rahasia 2: iterator secepat loop manual","rahasia-2-iterator-secepat-loop-manual",{"text":452,"depth":443,"id":453},"Rahasia 3: closure itu cuma struct anonim","rahasia-3-closure-itu-cuma-struct-anonim",{"text":455,"depth":443,"id":456},"Pajak yang tetap harus dibayar","pajak-yang-tetap-harus-dibayar",{"text":458,"depth":443,"id":459},"Penutup","penutup",1791872769331]