Belajar Dari Error Tipe Memfokus Kepada Haskell

Halo teman programmer,

Hari Sabtu tanggal 13 Juni 2020 jam 1403 sd 1603 kita membahas Sistem Tipe. Apakah itu mendukung pemrograman atau kerap bikin masalah doang? Atau sekaligus kedua-duanya?

Struktur presentasinya berikut:

-1. Perbandingan Tipe Statik sama Tipe Dinamik

• lho, kalau bisa dinamik, kenapa mau kode statik alias kaku?

0. Gim Tetris Tipe

• sebenarnya tipe statik itu kelebihannya di mana?

1. Belajar Dari Error Variabel Tipe

• Penamaan Ulang (Alpha Renaming)
• Yang Bikin Bingung Ketika Tipe Dikhususkan

2. Pengenalan Djinn: malas nulis kode minta aja bantuan jin

3. Pengenalan Sistem F: Terkuak! Inilah rahasia indra ke-6 yang dimiliki jagoan kode Haskell