1
Menggunakan tipe keunikan untuk menerapkan paralelisme aman
Saya telah tertarik pada jenis keunikan sebagai alternatif untuk monad dalam bahasa fungsional murni untuk beberapa waktu; Sayangnya, ini adalah semacam area esoterik penelitian CS dan sumber daya online tentang pemrograman dengan tipe keunikan sedikit dan jarang. Sudah jelas bagaimana tipe keunikan dapat digunakan untuk menerapkan struktur data stateful seperti …