代码之家 › 专栏 › 技术社区 › softshipper

我违反抽象法则了吗?

category-theory haskell

2

softshipper · 技术社区 · 8 年前

我有两个变量,第一个是类型 Either String Int 第二个是类型 IO (Either String Int)

如您所见,两个变量的结构几乎相同,只是第二个变量被包装到 IO

为了使其可组合,我计划将两者提升到单变压器中 EitherT ,但我必须提升到的第一个变量 IO .

将第一个变量提升到 IO 使其可组合,尽管没有副作用。

1 回复 | 直到 8 年前

1

2

Daniel Wagner 8 年前

不,这没有错;事实上 it is encouraged .

推荐文章

Kristóf Marussy · 棱柱体或仿射遍历的对偶是什么?

7 年前

André Luiz Ferreira Pinto · 将F-代数[F,A]合成为F-代数[F,Seq[A]]

7 年前

softshipper · 分解器的简单定义

7 年前

hgiesel · Haskell的Edward Kmetts包概述

7 年前

softshipper · 我违反抽象法则了吗?

8 年前

Dan OneaÈÄ · 玫瑰树的初始代数

8 年前