Matematika modern adalah topik yang menarik. Yang anehnya justru temukan karena ricing.

Sudah sekian lama saya memakai bepindah, dari satu jenis Window Manager ke Window Manager yang lain. Setelah awesomewm, saya akan lanjut ke i3wm, dan kemudian xmonad.

Konfigurasi xmonad ini ditulis dengan Haskell. Kita tidak perlu memahami Haskell untuk mengkonfigurasi XMonad 🙂. Menarik dari dunia ricing, ternyata bisa ada urutan jauh ke matematika modern.

Haskell adalah salah satu functional programming yang menarik, karena bersifat pure functional. Coding di haskell seperti menulis rumus matematika, yaitu tidak tergantung urutan penulisan. Salah satu sumbangan FP ke dunia matematika adalah monad, karena dengan adanya monad, fungsi2 dapat di-eksekusi sesuai urutan penulisan.

Monad ini ditemukan perlahan dari waktu ke waktu oleh orang banyak, mulai dari menghilangkan side effect pada IO sampai jadilah monad. Makanya sumbangan matematika ini, tidak ada yang dapat penghargaan semacam nobel, walaupun luar biasa.

Untuk memahami monad, kita perlu memahami category theory, teori kategori di dunia matematika masuk dalam bagian abstract nonsense. Dasarnya adalah abstract algebra. Pembahasan Monad selalu terkait dengan teori kategori, karena kita mesti paham dasarnya, misalnya mengenai functor.

Aljabar abstrak sendiri mendasari ilmu2 matematika lainnnya, yang seringkali dipakai sebagai dasar algoritma dalam dunia IT. Sebut saja group theory, set theory, category theory, homotopy theory, type theory. Kalau di ruang kuliah mungkin kita mengenalnya, dalam mata kuliah matematika diskrit yang terkait dengan: logic, combinatory, set theory, graph theory, probability, set theory, algebra, geometry, dan topology.

🤔

Bidang ricing memang untuk kalangan hobbyist, karena pada umumnya memang tidak dapat di-monetisasi. Bidang ricing juga kurang popular di kalangan negara2 yang mengejar pekerjaan. Contoh mudahnya saja anak benua.

Namun di sisi lain ricing membuka pintu, untuk memahami sistim di linux secara menyenangkan. Memungkinkan kita belajar coding satu-per-satu tanpa beban. Misalnya belajar lua di awesomewm, belajar haskell di xmonad, belajar C di DWM.

Memang tidak mudah mempelajari xmonad ini. xmonad ini.... Beberapa orang menyebutnya dengan kata kasar xmodhyaar 🙈. Mohon maaf, saya sekedar menggambarkan tingkat kesulitannya.

Bagi yang tidak punya waktu menghabisi satu buku, belajar pelan-pelan seperti ini adalah suatu jalan yang dapat ditempuh.

Bagi saya pribadi, saya tidak akan tergerak belajar matematika modern, kalau saya hanya belajar membikin website. Awal tahun lalu tanpa sengaja, saya membuat dua profesor dari luar negri terperangah, ketika mengobrol dari kampus, karena ada orang biasa yang bukan akademisi, ternyata memahami sedikit2 mengenai teori kategori, yang di dunia akademisi-pun tidak banyak yang paham.

Yang unik, saya justru memulai-nya dari ricing 🤟🏽.

😜

Sekian.