Pertanyaan tentang topik tersebut 'algebraic-data-types'
Mengapa dalam tipe data aljabar, jika saya dapat mendefinisikan fungsi `dari` dan `ke` khusus untuk dua tipe, kedua tipe tersebut dapat dianggap setara?
Saya membaca blog ini: http://chris-taylor.github.io/blog/2013/02/10/the-algebra-of-algebraic-data-types/
Ia mengatakan:
Namun, ketika saya berbicara tentang kesetaraan, yang saya maksud bukan kesetaraan Haskell, dalam arti fungsi (==)....
285 dilihat
schedule
05.11.2023
