@Kory__3 そうです。codata型はOOPにおけるインターフェース、その要素はそれを実装するインスタンスであると考えられます。 (詳しくは Downen, P., Sullivan, Z.J., Ariola, Z.M., & Jones, S.L. (2019). Codata in Action. European Symposium on Programming. https://t.co/ZIaRznD8NV か Review: Codata in…
1,130 followers
2,537 followers
See this blog post that explains the duality between FP and OO in a simple and clean way. https://t.co/dzS12EL61F
1,039 followers
@typeswitch More recently re-channelled by spj: https://t.co/ZOC1rV2yOE
1,928 followers
@eschnett @duetosymmetry Hard for me to make sense of that paper (you mean https://t.co/IFgMIiTECJ , right?). I sorta trapped out at "The most visual way to view the duality is in the categorical diagrams of sums versus products...."