- Java 双重比较
- java - 比较器与 Apache BeanComparator
- Objective-C 完成 block 导致额外的方法调用?
- database - RESTful URI 是否应该公开数据库主键?
我想使用功能组合管道来构建对象,同时保持类型安全。我应该为可组合函数使用什么类型来将它们拼接在一起?
我有一个包含一些输入数据的对象,我的目标是使用可组合函数对输入数据执行计算。
例如,在下面的代码中,我从一个 sideLength 值开始;然后用三个独立的函数添加计算值(面积、周长和立方体面积);每个人都对自己的知识负责。像 cubeArea 这样的一些计算是基于管道中以前的计算。
import * as R from "ramda";
interface ISquare {
sideLength: number;
area: number;
circumference: number;
cubeArea: number;
}
type ISquareBase = Pick<ISquare, "sideLength">;
type ISquareWithArea = Pick<ISquare, "area" | "sideLength">;
type ISquareWithCircumference = Pick<ISquare, "circumference" | "sideLength">;
type ISquareWithCubeArea = Pick<ISquare, "cubeArea" | "sideLength">;
const addArea = (shape: ISquareBase): ISquareWithArea => ({
...shape,
area: shape.sideLength * shape.sideLength
});
const addCircumference = (shape: ISquareBase): ISquareWithCircumference => ({
...shape,
circumference: shape.sideLength * 4
});
const addCubeArea = (shape: ISquareWithArea): ISquareWithCubeArea => ({
...shape,
cubeArea: shape.area * shape.sideLength
});
const buildSquare = R.compose(
addArea, // { sideLength: 2, area: 4 }
addCircumference, // { sideLength: 2, area: 4, circumference: 8 }
addCubeArea // { sideLength: 2, area: 4, circumference: 8, cubeArea: 8 }
);
const initialSquare: ISquareBase = { sideLength: 2 };
// The below line gives typescript error:
// Argument of type 'Pick<ISquare, "sideLength">' is not assignable to parameter of type 'Pick<ISquare, "sideLength" | "area">'.
// Property 'area' is missing in type 'Pick<ISquare, "sideLength">' but required in type 'Pick<ISquare, "sideLength" | "area">'.
const calculatedSquare: ISquare = buildSquare(initialSquare);
console.log(calculatedSquare);
// Expect: { sideLength: 2, circumference: 8, area: 4, cubeArea: 8 }
当我尝试使用上面的组合函数 buildSquare 时,Typescript 出现类型错误。
Argument of type 'Pick<ISquare, "sideLength">' is not assignable to parameter of type 'Pick<ISquare, "sideLength" | "area">'.
Property 'area' is missing in type 'Pick<ISquare, "sideLength">' but required in type 'Pick<ISquare, "sideLength" | "area">'.
我可以放宽类型签名以使其正常工作,但随后我无法确保在运行 addArea 中的面积计算之前 addCubeArea 无法运行的类型。
如何在保持类型安全的同时做到这一点?我可以使用替代类型结构吗?
最佳答案
我认为你的主要问题是你正在编写的函数需要是 generic ,否则编译器无法跟踪这样一个事实,例如,如果 sq
已经有一个 area
属性,addCircumference(sq)
将产生一个同时具有 area
和 circumference
的对象。您当前的键入仅保证 addCircumference()
的输出具有 circumference
,但无法指定是否存在 area
。对于所有类型系统所知,也许您没有将 area
复制到输出中。
首先,由于我的环境中没有 ramda 类型,我假设 compose()
在您使用它时会像这样:
declare namespace R {
export function compose<I0, I1, I2, O>(
f: (x: I0) => I1,
g: (x: I1) => I2,
h: (x: I2) => O
): (x: I0) => O;
}
现在让我们重做三个函数的签名:
const addArea = <T extends { sideLength: number }>(
shape: T
): T & { area: number } => ({
...shape,
area: shape.sideLength * shape.sideLength
});
const addCircumference = <T extends { sideLength: number }>(
shape: T
): T & { circumference: number } => ({
...shape,
circumference: shape.sideLength * 4
});
const addCubeArea = <T extends { sideLength: number; area: number }>(
shape: T
): T & { cubeArea: number } => ({
...shape,
cubeArea: shape.area * shape.sideLength
});
所有这些类型本质上都接受(适当的 constrained )泛型类型 T
的输入,并产生 T
intersected 类型的输出具有表示添加的属性的对象类型。
这部分仍然有效:
const buildSquare = R.compose(
addArea, // { sideLength: 2, area: 4 }
addCircumference, // { sideLength: 2, area: 4, circumference: 8 }
addCubeArea // { sideLength: 2, area: 4, circumference: 8, cubeArea: 8 }
);
但是现在buildSquare
的类型是
const buildSquare: <T extends { sideLength: number; }>(x: T) =>
T & { area: number; } & { circumference: number; } & { cubeArea: number; }
意思是 buildSquare
接受一个 T
类型的对象,限制为 {sideLength: number}
,并返回一个 类型的对象T
添加了三个数值属性 area
、circumference
和 number
。我觉得很合理。
让我们测试一下:
const initialSquare = { sideLength: 2 };
const calculatedSquare: ISquare = buildSquare(initialSquare); // okay
现在没有错误,万岁!好的,希望有所帮助;祝你好运!
编辑:您可能将 Ramda 的 compose()
函数倒过来了(正如我所说,我不确定类型)...如果是这样,那么您将遇到更难的问题类型推断的时间。也就是说,如果 R.compose
看起来像
declare namespace R {
export function compose<I0, I1, I2, O>(
h: (x: I2) => O,
g: (x: I1) => I2,
f: (x: I0) => I1
): (x: I0) => O;
}
那么即使您将参数的顺序切换到它,您也会得到一个错误:
const buildSquare = R.compose(
addCubeArea, // { sideLength: 2, area: 4, circumference: 8, cubeArea: 8 }
addCircumference, // error! { sideLength: 2, area: 4, circumference: 8 }
addArea // { sideLength: 2, area: 4, circumference }
); // error!
这是一个已知的 design limitation与 algorithm that supports higher-order generic function inference介绍于 TypeScript 3.4 .当类型在函数参数中从左向右流动时,该算法表现相当好,而当类型应该从右向左流动时,该算法表现相当差。在这种情况下,您将需要放弃类型推断并在某处手动指定类型。例如,给定此处的 R.compose()
定义,您可以手动指定 I0
、I1
、I2
和 O
类型:
const buildSquare = R.compose<
{ sideLength: number },
{ sideLength: number; area: number },
{ sideLength: number; area: number; circumference: number },
{ sideLength: number; area: number; circumference: number; cubeArea: number }
>(
addCubeArea, // { sideLength: 2, area: 4, circumference: 8, cubeArea: 8 }
addCircumference, // { sideLength: 2, area: 4, circumference: 8 }
addArea // { sideLength: 2, area: 4, circumference }
); // okay
(如果您想保存击键,您可以在该规范中使用您的类型别名)。或者您可以为 R.compose()
的每个参数指定具体类型:
const addAreaConcrete = (x: { sideLength: number }) => addArea(x);
const addCircumferenceConcrete = (x: { sideLength: number; area: number }) =>
addCircumference(x);
const addCubeAreaConcrete = (x: {
sideLength: number;
area: number;
circumference: number;
}) => addCubeArea(x);
const buildSquareConcrete = R.compose(
addCubeAreaConcrete,
addCircumferenceConcrete,
addAreaConcrete
);
/*
const buildSquareConcrete: (x: {
sideLength: number;
}) => {
sideLength: number;
area: number;
circumference: number;
} & {
cubeArea: number;
}
*/
这也行。就个人而言,对于类型应从右向左流动的 R.compose()
,我会完全放弃使用它,除非您有一些重要的理由说明以下内容对于你:
const buildSquareManual = <T extends { sideLength: number }>(x: T) =>
addCubeArea(addCircumference(addArea(x))); // okay
好吧,这就是我的。再次祝你好运。
关于typescript - 如何使用函数式组合样式构建 Typescript 对象,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/57475557/
我在网上搜索但没有找到任何合适的文章解释如何使用 javascript 使用 WCF 服务,尤其是 WebScriptEndpoint。 任何人都可以对此给出任何指导吗? 谢谢 最佳答案 这是一篇关于
我正在编写一个将运行 Linux 命令的 C 程序,例如: cat/etc/passwd | grep 列表 |剪切-c 1-5 我没有任何结果 *这里 parent 等待第一个 child (chi
所以我正在尝试处理文件上传,然后将该文件作为二进制文件存储到数据库中。在我存储它之后,我尝试在给定的 URL 上提供文件。我似乎找不到适合这里的方法。我需要使用数据库,因为我使用 Google 应用引
我正在尝试制作一个宏,将下面的公式添加到单元格中,然后将其拖到整个列中并在 H 列中复制相同的公式 我想在 F 和 H 列中输入公式的数据 Range("F1").formula = "=IF(ISE
问题类似于this one ,但我想使用 OperatorPrecedenceParser 解析带有函数应用程序的表达式在 FParsec . 这是我的 AST: type Expression =
我想通过使用 sequelize 和 node.js 将这个查询更改为代码取决于在哪里 select COUNT(gender) as genderCount from customers where
我正在使用GNU bash,版本5.0.3(1)-发行版(x86_64-pc-linux-gnu),我想知道为什么简单的赋值语句会出现语法错误: #/bin/bash var1=/tmp
这里,为什么我的代码在 IE 中不起作用。我的代码适用于所有浏览器。没有问题。但是当我在 IE 上运行我的项目时,它发现错误。 而且我的 jquery 类和 insertadjacentHTMl 也不
我正在尝试更改标签的innerHTML。我无权访问该表单,因此无法编辑 HTML。标签具有的唯一标识符是“for”属性。 这是输入和标签的结构:
我有一个页面,我可以在其中返回用户帖子,可以使用一些 jquery 代码对这些帖子进行即时评论,在发布新评论后,我在帖子下插入新评论以及删除 按钮。问题是 Delete 按钮在新插入的元素上不起作用,
我有一个大约有 20 列的“管道分隔”文件。我只想使用 sha1sum 散列第一列,它是一个数字,如帐号,并按原样返回其余列。 使用 awk 或 sed 执行此操作的最佳方法是什么? Accounti
我需要将以下内容插入到我的表中...我的用户表有五列 id、用户名、密码、名称、条目。 (我还没有提交任何东西到条目中,我稍后会使用 php 来做)但由于某种原因我不断收到这个错误:#1054 - U
所以我试图有一个输入字段,我可以在其中输入任何字符,但然后将输入的值小写,删除任何非字母数字字符,留下“。”而不是空格。 例如,如果我输入: 地球的 70% 是水,-!*#$^^ & 30% 土地 输
我正在尝试做一些我认为非常简单的事情,但出于某种原因我没有得到想要的结果?我是 javascript 的新手,但对 java 有经验,所以我相信我没有使用某种正确的规则。 这是一个获取输入值、检查选择
我想使用 angularjs 从 mysql 数据库加载数据。 这就是应用程序的工作原理;用户登录,他们的用户名存储在 cookie 中。该用户名显示在主页上 我想获取这个值并通过 angularjs
我正在使用 autoLayout,我想在 UITableViewCell 上放置一个 UIlabel,它应该始终位于单元格的右侧和右侧的中心。 这就是我想要实现的目标 所以在这里你可以看到我正在谈论的
我需要与 MySql 等效的 elasticsearch 查询。我的 sql 查询: SELECT DISTINCT t.product_id AS id FROM tbl_sup_price t
我正在实现代码以使用 JSON。 func setup() { if let flickrURL = NSURL(string: "https://api.flickr.com/
我尝试使用for循环声明变量,然后测试cols和rols是否相同。如果是,它将运行递归函数。但是,我在 javascript 中执行 do 时遇到问题。有人可以帮忙吗? 现在,在比较 col.1 和
我举了一个我正在处理的问题的简短示例。 HTML代码: 1 2 3 CSS 代码: .BB a:hover{ color: #000; } .BB > li:after {
我是一名优秀的程序员,十分优秀!