1,130 followers
@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…