如何修复：“X中的成员‘值’产生X类型的结果，但上下文需要X”(X == "Either<List，APIError>")

文章/答案/技术大牛

发布

1回答

swift、completion

我正在使用Openweathermap为一个基于Swift的iOS应用程序设置一个应用程序接口客户端。我遵循了如何设置它的教程，但不得不更换天气提供商，因为他们的服务不再提供免费的api密钥。我对我的客户的完成类型有一个bug，但不完全理解发生了什么。本教程使用了模板类型，但我对其进行了更改以尝试解决另一个错误。我一直在尝试使用模板和非模板完成格式，但我不明白它的目的或它是如何工作的</e

浏览 21提问于2019-09-12得票数 2

回答已采纳

2回答

haskell >测序算子*

haskell、sequencing

我有一个问题来自对我的问题的回答：它涉及*>排序操作符的使用，而不是<*>应用运算符。基于的解释，我理解*>序列的动作，放弃了第一个参数的值。因此，对于我的代码，我尝试了fail6 = fail2 *> success，它可以工作，但它不应该工作，因为第一个参数的值，即fail2，应该被丢弃。为什么fail6能工作？fail6的</em

浏览 4提问于2021-04-14得票数 1

回答已采纳

2回答

Scala :：用于理解，或者使用自由变量

scala、for-comprehension

我需要将返回Either[String, X]的一系列函数打包成一个理解函数，还需要使用一些纯函数来转换某些调用的结果，并将这些结果缓存在临时变量中。以下(非常人工的)代码没有编译2:

浏览 5提问于2017-03-01得票数 0

2回答

正确使用

haskell

因此，我有以下功能：chk2 i@((n,_):error in explicitly typed binding*** Type : [(Integer,Integer)] -> Either(Either [(Integer,Integer (Integer,Integer)) (Integer,In

浏览 3提问于2011-01-23得票数 0

回答已采纳

2回答

类型记录:如何使用未知的字符串键迭代对象

typescript

端点每次都可以给我一个具有唯一键的对象，例如： "-MKlw6VSTSf-FPBaTxfB": { "jugadoresposiciones": 4}{ "mensaje": "Hubo un error"我已宣布这类： type APIErrorNo inde

浏览 2提问于2020-11-12得票数 0

回答已采纳

2回答

专业构造函数的模式匹配

types、agda

我试图把我的问题简化成一个较小的例子。test2构造函数接受列表和成员资格值，并根据从列表中删除元素的结果对数据类型进行索引。. | () 这会产生同样

浏览 5提问于2014-11-20得票数 7

回答已采纳

4回答

具有无符号整数条件的while循环

c++

在下面这段简单的代码中，我不确定while循环是如何工作的 short num_bits = 0; x >>= 1; return num_bits;无符号整数如何计算为True或False？

浏览 1提问于2017-05-01得票数 3

1回答

如何将函数输出显示为列表[a]，而不是字符串，在下面示例代码的上下文中显示[a]

haskell

我还不明白如何使用任何一种类型，因此在此期间，我决定开始处理这个问题的婴儿阶段。由于练习的一部分需要构造一个函数来区分素数和非素数，所以我决定首先创建一个临时函数:如果数字(a)不是素数，我必须显示它的除数1.a的列表。如果数字(a)是素数，我必须显示字符串"(a)是素数“。first argument of `(==)', namely `mod a i'

浏览 0提问于2019-04-30得票数 3

回答已采纳

2回答

为甚麽我的(代替！)函数具有这种类型。

haskell

我试着写一个不同的版本。as !!!y=f as y then x然而，函数<e

浏览 3提问于2015-01-27得票数 3

回答已采纳

2回答

Scala:输入检查可能返回空列表的产量

scala

我必须遵循Scala中的代码，这意味着返回句子。，因为x的类型不是List[word]，而是Any (因为它可能不会产生任何结果)。我想到的简单的解决办法是 if (word.isLegit()) sentenceStartingWith(word) else Li

浏览 4提问于2017-01-31得票数 3

回答已采纳

3回答

在Scala中将(任一列表的未来列表)转换为(任一列表的未来列表)

scala、monads、future

我在一个宠物Scala项目中遇到了一个我真的不知道如何克服的情况。我希望createLists返回Future[Either[ErrorCreatingList, List[MyList]]

浏览 0提问于2018-08-04得票数 4

2回答

用任一方法中断递归

haskell、recursion

在我的项目中，我在几个地方使用了以下unfold函数。unfold :: (a -> Either b a) -> a -> b这似乎是一种非常普遍的递归模式(只需在a类型的值上应用一个函数，直到得到一个Right b)，但我在Hoogle的某个地方找不到这样的函数。

浏览 8提问于2021-05-16得票数 2

回答已采纳

1回答

Scala中的类序列函数

scala、haskell

给定一个List[Either[A,B]]，我可以使用Haskell中的sequence来提取Right[B]s或Left[A]的整个List。，但对于处理List[Either[A,B]] => Either[A, List[B]]来说，它是一个狭义的函数。scala> def f[A, B](es: List[Either[A, B]]): <em

浏览 2提问于2015-03-31得票数 1

3回答

什么是C++中未评估的非静态数据成员的值类别？

c++、language-lawyer、c++20、decltype

，如果E是一个非括号的id-表达式或非括号的类成员访问(expr.ref)，则解密类型(E)是由E命名的实体的类型。如果没有这样的实体，或者如果E命名了一组重载的函数，则程序是错误的； X::i是未计算上下文中的有效，因此它的解密类型应该是X中声明的i

浏览 9提问于2021-06-08得票数 18

回答已采纳

1回答

If语句在多列表列表理解中的应用

python、if-statement、zip、list-comprehension

我有两个长度相等的列表，如果它们的差异小于5，我想从这两个列表中删除值：Y_List = [94, 98, 104, 587, 1046]例如，我想使用列表理解从每个值中删除第二个和第三个值： X_list = [x if y-x <= 5 for (x,y)

浏览 6提问于2017-02-14得票数 1

3回答

为什么flow不能更精确地确定本例中的函数式类型？

javascript、flowtype

我有一些代码，用于处理一些函数式javascript概念，例如Brian Lonsdorf在中提出的任一概念。type RightApi<X> = { fold: <C: *>(f: Function, g:X => C) => C const Right = <X:

浏览 0提问于2018-09-06得票数 1

2回答

在列表中查找最大值的意外值无- Python 3递归

python、list、recursion

我正在尝试编写一个简单的递归函数来查找列表中的最大值，而不使用任何内置函数，例外是'print‘和'len’。我使用递归进行了一个简单的线性搜索，将列表中的每个成员与当前的最大值进行比较。x=[1,2,3] if len(x

浏览 11提问于2017-08-03得票数 1

回答已采纳

1回答

从泛型lambda - clang到gcc调用“`this`”成员函数

c++、lambda、this、language-lawyer、c++14

问题：传递一个捕获this并在没有显式this->的情况下调用this成员函数的泛型lambda (到模板函数)，不会在gcc上编译。如果lambda不是泛型的，或者如果lambda没有传递给任何其他函数，而是被调用到位，那么它将使用一个显式的this->进行编译。在所有情况下，Clang对代码都很酷。谁是对的？错误:不能调用成员函数'void示例：：foo(Int)‘而没有对象调用({ foo(x)；})；

浏览 3提问于2015-08-19得票数 41

回答已采纳

2回答

为什么在两个相似的函数定义中，类型推断与as-模式有区别？

haskell、type-signature

我有以下两个类似的函数定义：left _ (Right x) = Right x 当我检查这两个函数的类型签名时，我对以下类型感到困惑：left :: (t -> a) -> Either</e

浏览 0提问于2019-03-30得票数 25

回答已采纳

5回答

基于另一个数据成员的类数据成员类型？

c++、class、templates、c++11

然后，我有另一个类bar，它有一个数据成员x、y、z，可以是A，但类型取决于其他数据成员x_type、y_type和z_type，而这些值在编译时不可用。我想使用模板数据成员并在构造函数中定义类型，在构造函数中获取类型的值，但显然这是不可能的，至少在C++11中是不可能的。那

浏览 6提问于2016-09-10得票数 3

回答已采纳

点击加载更多