bifunctor

0熱度

1回答

參數化類型別名我有一個Seq[R]，我想拆分此爲Tuple2[Seq[E], Seq[S]]，我編寫此我想到的是，我可以使用自定義Bifunctor爲seqs和鍛鍊一個元組，而試圖實現代碼： import scalaz.Bifunctor type MyType[E, S] = (Seq[E], Seq[S]) case class MyVali[E, S](tp: (Seq[E], Se

11熱度

1回答

雙共同體的方法是什麼？

在沉思些什麼有用的標準類建議to this one class Coordinate c where createCoordinate :: x -> y -> c x y getFirst :: c x y -> x getSecond :: c x y -> y addCoordinates :: (Num x, Num y) => c x y -> c

3熱度

2回答

Hom Functor與Scala的Function1的對立有什麼聯繫？

Hom functorHom(-,-)在第一個參數中是逆變的，在第二個參數中是協變的。這個事實可以以某種方式提供另一種解釋爲什麼斯卡拉的Function1[-T1, +R]具有相同的屬性？我已經看到這個說法，例如here，但是在兩個概念之間的聯繫應該被解釋的地方，有太多的手揮舞着它將我吹走。