Pertanyaan yang diberi tag «typeclass»

Saya ingin mendefinisikan kelas tipe untuk objek geometris yang dapat disatukan: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies Idenya adalah memiliki fungsi persimpangan tujuan umum yang dapat menangani objek dari berbagai jenis. Orang bisa …

11 haskell  type-systems  typeclass 

Sepertinya instance Bounded harus memiliki implementasi Enum yang waras. Saya pribadi tidak bisa memikirkan contoh tandingan, meskipun jika seseorang menemukan yang tidak patologis maka saya akan mengerti mengapa ini tidak terjadi. Dari melakukan :ipada dua typeclasses sepertinya satu-satunya pengecualian saat ini di perpustakaan standar adalah untuk tupel, yang Dibatasi tetapi …

9 haskell  typeclass