Erlang

Modul pembuka: latar Erlang dan BEAM, penyiapan Erlang/OTP 29 dengan rebar3, serta alur kerja shell erl.

1. Apa itu Erlang?Latar munculnya Erlang di dunia telekomunikasi, model aktor di atas BEAM, dan sifat bahasanya.
2. PenyiapanMemasang Erlang/OTP 29, mengenal shell erl, dan menyiapkan rebar3 untuk proyek.
3. Alur kerja shellEvaluasi ekspresi di shell erl, riwayat perintah, kompilasi modul, dan dokumentasi dari shell.

Bahasa inti Erlang: atom dan single assignment, bilangan, pencocokan pola, tuple, list, guard, case, dan if.

1. Atom dan single assignmentAtom sebagai label dan aturan single assignment yang mengikat variabel sekali saja.
2. Bilangan dan booleanBilangan bulat presisi arbitrer, aritmetika float, serta true dan false sebagai atom.
3. Pencocokan pola di mana-manaPencocokan pola pada assignment, klausa fungsi, tuple, list, dan literal.
4. Tuple dan listTuple sebagai struktur berukuran tetap dan list sebagai senarai bertaut beserta operasinya.
5. Guard, case, dan ifKlausul guard pada definisi fungsi, ekspresi case sebagai pencocok umum, dan batasan if.

Rekursi sebagai pengganti perulangan: tail call, akumulator, idiom pengolahan list, dan fungsi orde tinggi.

1. Rekursi sebagai iterasiRekursi sebagai mekanisme pengulangan pada bahasa tanpa pernyataan loop.
2. Akumulator dan tail callTail call optimization dan pola akumulator untuk rekursi berkebutuhan memori konstan.
3. Idiom pengolahan listPembangunan list secara terbalik, biaya operator ++, dan list comprehension.
4. Fungsi orde tinggimap, filter, dan fold dari modul lists serta fungsi anonim sebagai argumen.

Record sebagai gula sintaksis tuple, pengenalan native record EEP-79 pada OTP 29, serta string dan binary.

1. RecordRecord sebagai gula sintaksis di atas tuple, nilai bawaan, dan sintaks akses bidangnya.
2. Pengenalan native record (EEP-79)Native record eksperimental sesuai EEP-79 pada OTP 29 dan kedudukannya di jalur ini.
3. String dan binaryString sebagai list, penanganan unicode, dan dasar-dasar binary.

Konkurensi dasar: spawn, receive, PID dan mailbox, link, sinyal exit, monitor, timeout, dan registrasi nama.

1. spawn dan receivePembuatan proses dengan spawn dan penerimaan pesan dengan receive beserta rekursi state.
2. PID dan mailboxPengiriman pesan asinkron ke PID, selective receive, dan perilaku mailbox.
3. Link dan sinyal exitPropagasi kegagalan melalui link, sinyal exit, dan process_flag trap_exit.
4. MonitorPengamatan kegagalan proses secara satu arah dan pemilihan monitor versus link.
5. Timeout dan registrasiKlausul after pada receive dan pendaftaran nama proses dengan register dan whereis.

Behaviour OTP: gen_server, supervisor, pohon supervisi, gen_statem, application, dan hot code upgrade.

1. gen_serverCallback gen_server untuk server generik: handle_call, handle_cast, dan state yang mengalir.
2. supervisorSpesifikasi child, strategi restart, dan intensitas restart pada supervisor.
3. Pohon supervisiStruktur pohon supervisi: rest-for-one, one-for-all, dan susunan application.
4. gen_statemMesin state dengan gen_statem: mode callback, event, dan transisi berwaktu.
5. ApplicationBerkas .app, callback application, fase start, dan included application.
6. Hot code upgradeMekanisme hot code upgrade dengan appup dan rebar3 di laboratorium terkontrol.

Penyimpanan dan data biner: ETS, DETS, Mnesia, bit syntax, binary comprehension, dan iodata.

1. ETSTabel ETS dalam memori: tipe set, opsi konkurensi, dan match spec.
2. DETS dan persistensiTabel DETS berbasis disk, perbaikan saat shutdown tidak bersih, dan batas ukurannya.
3. MnesiaMnesia sebagai penyimpanan transaksional terdistribusi, kekuatan, dan sisi tajamnya.
4. Binary dan bit syntaxKonstruksi dan penguraian binary dengan bit syntax dan pencocokan segmen.
5. Binary comprehension dan iodataBinary comprehension untuk pembangunan binary efisien dan penghematan iolist.

Distribusi bawaan VM: node dan cookie, spawn jarak jauh, modul rpc, serta topologi penghubungan node.

1. Node dan cookieKonsep node, penghubungan VM, dan autentikasi cookie bersama.
2. Spawn jarak jauh dan RPCSpawn jarak jauh, modul rpc, dan transparansi lokasi dalam pengiriman pesan.
3. Pengenalan topologi distribusiTopologi terhubung penuh, node tersembunyi, dan batas penskalaan distribusi.

Keandalan program: typespec, dialyzer, EUnit, Common Test, PropEr, dan ct_doctest pada OTP 29.

1. TypespecAnotasi -spec dan -type untuk mendokumentasikan tipe dan mendukung dialyzer.
2. DialyzerSuccess typing, pembuatan PLT, dan cara membaca konflik dialyzer.
3. EUnitUnit test dengan EUnit: makro assert, generator, dan fixture.
4. Test suite Common TestTest suite Common Test: group, perangkat konfigurasi, dan siklus hidupnya.
5. PropEr dan ct_doctestPengujian berbasis properti dengan PropEr dan contoh dokumentasi dengan ct_doctest.

Kesiapan production: prinsip let it crash, logger, tracing dan debug, serta release dengan rebar3.

1. Let it crash dengan benarLet it crash yang benar: error kernel dan intensitas supervisi sebagai parameter desain.
2. Pencatatan log dengan loggerModul logger: level, handler, formatter, dan metadata terstruktur.
3. Tracing dan debugModul sys, trace, dan observer untuk mengamati perilaku sistem secara langsung.
4. Release dengan rebar3Release OTP dengan rebar3: sistem target dan skrip boot.

Proyek puncak jalur: pemilihan sistem dan perancangan pohon supervisi beserta protokol pesannya.

1. Pemilihan proyekPemilihan lingkup proyek puncak: sistem obrolan atau presence multi-node dengan persistensi.
2. Perancangan pohon supervisiPerancangan pohon supervisi proyek: struktur proses, strategi restart, dan protokol pesan.