a Higher Kinded Type package in TypeScript
a Higher Kinded Type package in TypeScript
Higher-Kinded-Types-Toolbelt
Higher-Kinded-Types-Toolbelt(gitee)
ts-toolbelt的高阶类型版本
本人参与翻译，HKT真的很好玩。
这个库是ts-toolbelt的高阶类型的实现版本，提供了其功能的更高级别类型的版本，这个包允许构造更复杂的类型。
我们的目标是支持数百种类型类别，包括 List， Boolean， String， Function 等等，我们还为组合类型提供了一组集合。
1.1. 安装
> npm install hkt-toolbelt
1.2. 用法
import $, { List, Conditional } from `hkt-toolbelt`;
// 一个过滤出数字的类型
type FilterNumbers = List.Filter<Conditional.SubtypeOf<number>>;
type Result = $<FilterNumbers, [1, `foo`, 2, 3, `bar`]>; // [1, 2, 3]
1.2.1. Subpath Imports
你还可以用子路径导入
import $ from `hkt-toolbelt`;
import { Filter } from `hkt-toolbelt/list`;
import { SubtypeOf } from `hkt-toolbelt/conditional`;
type Result = $<Filter<SubtypeOf<number>>, [1, `foo`, 2, 3, `bar`]>; // [1, 2, 3]
1.3 什么是 HKT?
> HKT 是 higher-kinded type 简称
Typescript 关于类型有两个 不同 的类型结构: 类、泛型。
- type(类): 在编译期间，用于对于值的描述。
- generic(泛型):
template(模版)的类型，可以通过不同类型的参数值实例并解析出类型。
泛型在Typescript中不是一级公民——如果不立即提供它们的所有类型参数，就不能引用它们。不能将泛型作为参数传递给其他泛型，也不能返回它们。这是语言的局限性。
hkt-toolbelt 带来两个新增的两个类型结构概念:
- kind(高阶类): 一个编译期间下的表达式，用于描述类型，可以使用形参来表示，当在使用的时候，实参取得可能的类型结果。
- generic kind(高阶泛型类): 一个泛型类能返回一个特指的类型。
我们在应用、定义高阶类型时，使用 $<kind,type> "泛型类"。
写类型系统时，是允许我们表示但仅用泛型，但无法实例出对于泛型之上的新类型。
例如: 泛型函数的类型收紧组合中。
柯里化函数下，这个仓库旨在用于使用 point-free 编程风格 来组合类型。在这方面，API类型将首先接收 执行的操作(一系列函数) ，然后接收要操作的数据。
先将会执行哪几个函数串起来，最后参数变量，连串贯通的意思。
所有函数类 每次接受 一个 参数，以支持 柯里化函数 和 point-free 风格 。
point-free 风格 解释: 基本上是你写代码但不显式地在代码中提供参数, 简单来说，就是省略函数的参数。这非常有用，特别是在需要函数的回调中, 让代码更易读。
2.1. Basic Utilities
2.1.1. $<F, X>
$ 操作符用于对定义类型更高类型的函数。
它相当于TypeScript中的 F<A> 语法。
import $, { String } from `hkt-toolbelt`;
type Result = $<String.Append<` world`>, `hello`>; // `hello world`
2.1.2. $$<FX, X>
$$ 操作用于将已经定义的类型作为输入，放进一系列的类型管道上，应用并计算。这是 $ 和 Kind. Compose 的语法糖。
@see $ @see Kind.Compose
import { $$, Kind, String } from `hkt-toolbelt`;
type Result = $$<
Kind.Compose<String.Append<` world`>, String.Append<`!`>>,
`hello`
>; // `hello world!`
2.1.3. Cast<A, B>
Cast 类型用于将一个类型转换为另一个类型。它相当于TypeScript中的 A as B 语法，用于对代码一些轻微修正情况下。
import { Cast } from `hkt-toolbelt`;
type Result = Cast<`hello`, string>; // `hello`
2.2. Boolean Types
2.2.1. Boolean. And<X>
And 传入布尔类型并返回一个接受另一个布尔值的函数，然后返回两个布尔值之和为 && 的结果。
import $, { Boolean } from `hkt-toolbelt`;
type Result = $<Boolean.And<true>, false>; // false
2.2.2. Boolean. Or<X>
Or 传入一个布尔类型并返回一个接受另一个布尔值的函数，然后返回两个布尔值的结果为 || 。
import $, { Boolean } from `hkt-toolbelt`;
type Result = $<Boolean.Or<true>, false>; // true
2.2.3. Boolean. Not
Not 传入一个布尔类型值并返回相反的布尔值。
import $, { Boolean } from `hkt-toolbelt`;
type Result = $<Boolean.Not, true>; // false
2.3. Combinator Types
2.3.1. Combinator. Self
Self 返回自己。这意味着它可以无限地应用$。
import $, { Combinator } from `hkt-toolbelt`;
type Result = $<$<Combinator.Self, `foo`>, `foo`>; // Combinator.Self
2.3.2. Combinator. ApplySelf
ApplySelf 传入一个高阶类，并将那个高阶类型应用到它自己。这可用于创建合成递归类型。
import $, { Combinator } from `hkt-toolbelt`;
type Result = $<Combinator.ApplySelf, Function.Identity>; // Function.Identity
2.4. Conditional Types
2.4.1. Conditional. Equals<A>
Equals 用于检查一个类型是否等于另一个类型。它等价于 A extends B ?( B extends A ? true: false ) : false 。
Equals 返回一个高阶类型函数包裹着传入一个类型的函数，然后返回布尔值。
import $, { Conditional } from `hkt-toolbelt`;
type Result = $<Conditional.Equals<`foo`>, `bar`>; // false
2.4.2. Conditional. SubtypeOf<A>
SubtypeOf 用于检查一个类型是否是另一个类型的子类型。它等价于 A extends B ? true : false .
传入的第一个类型是父类，传入的第二个类型是子类。
SubtypeOf 传入一个类型并返回布尔值的高阶类型函数。
import $, { Conditional } from `hkt-toolbelt`;
type Result = $<Conditional.SubtypeOf<string>, `bar`>; // true
2.5. Function Types
2.5.1. Function
Function 类型是所有函数的超类型，即所有函数都是 Function 的子类型。它不是高阶类型，不能直接应用。
2.5.2. Function. Constant<A>
Constant 传入一个 类型 并返回一个函数，该函数接受任何类型并返回原始类型。它忽略其应用的输入并总是返回配置的类型。
import $, { Function } from `hkt-toolbelt`;
type Result = $<Function.Constant<`foo`>, number>; // `foo`
2.5.3. Function. Identity
Identity 传入一个 类型 ，并返回一个对应这个类型的高阶类型。
import $, { Function } from `hkt-toolbelt`;
type Result = $<Function.Identity, `foo`>; // `foo`
2.6. Kind Types
2.6.1. Kind<F>
Kind 类型表示可以使用 $ 应用于类型的类型函数。
Kind 作为可选的类型，提供一个高阶函数类型，以添加这个函数类型具体的 形参 以及 返回的类型 ，这用于创建新的类型。
2.6.2. Kind. Composable<FX>
Composable 检查一个由各种组成的 元组是否可组合 。如果类型 � 的输出是类型 �−1 的输入的子类型，则类型元组是可组合的。
import $, { Kind, String } from `hkt-toolbelt`;
type Result = $<Kind.Composable, [String.Append<`bar`>, String.Append<`foo`>]>; // true
2.6.3. Kind. Compose<FX>
Compose 传入一个 函数类元组 ，并将它们组合成一个函数类。
Compose 检查types元组是否可组合，并返回一个传入一个类且返回类型和结果的高阶类型。
Compose 从右向左执行函数，即元组中最后一个函数先执行——这是数学中的传统。
import $, { Kind, String } from `hkt-toolbelt`;
type Result = $<Kind.Compose<[String.Append<`bar`>, String.Append<`foo`>]>, ``>; // `foobar`
2.6.4. Kind. Pipe<FX>
Pipe 传入一个 函数类元组 ，并将它们输送到一个函数类中。这是从左向右操作的，即首先执行元组中的第一个函数。这是 组合 的相反顺序。
Pipe 通常对程序员来说更直观，因为它按执行顺序读取。这就是 $$ 在内部使用的内容。
import $, { Kind, String } from `hkt-toolbelt`;
type Result = $<Kind.Pipe<[String.Append<`foo`>, String.Append<`bar`>]>, ``>; // `foobar`
2.6.5. Kind._
_ 类型表示在被调用之前，这个类型是指向 unique symbol 类型。
Kind._ 是由 $ 来调用。
2.7. List Type
2.7.1. List. Map<F>
Map 传入一个 函数类 ，并返回一个接受元组类型的高级类型。它将给定的类型函数应用于元组中的每个元素。
import $, { List, String } from `hkt-toolbelt`;
type Result = $<List.Map<String.Append<`bar`>>, [`foo`, `baz`]>; // [`foobar`, `bazbar`]
2.7.2. List. Find<F>
Find 函数先接受一个 函数类 ，然后接受一个 元组 ，并返回finder函数返回 true 的第一个元组元素。如果不存在这样的元素， Find 返回 never 。
import $, { List, String } from `hkt-toolbelt`;
type Result = $<List.Find<String.StartsWith<`foo`>>, [`bar`, `foobar`]>; // `foobar`
2.7.3. List. Filter<F>
Filter 传入一个类型函数和一个元组，并按输入元组的顺序返回一个元组，因此只有Filter函数返回 true 的元素保留在结果元组中。
import $, { List, String } from `hkt-toolbelt`;
type Result = $<List.Filter<String.StartsWith<`foo`>>, [`bar`, `foobar`]>; // [`foobar`]
2.7.4. List. Append<F>
Append 传入一个类型和一个元组，并应用该类型，使其被附加到所提供的元组的末尾。
import $, { List } from `hkt-toolbelt`;
type Result = $<List.Append<`bar`>, [`foo`, `baz`]>; // [`foo`, `baz`, `bar`]
2.7.5. List. First<T>
First 传入一个元组，并返回该元组的第一个元素。
import $, { List } from `hkt-toolbelt`;
type Result = $<List.First, [`foo`, `bar`]>; // `foo`
2.7.6. List. Last<T>
Last 传入一个 元组 ，并返回元组的最后一个元素。在具有可变元素的元组的情况下，可变元素被正确处理，即使它是中缀。
import $, { List } from `hkt-toolbelt`;
type Result = $<List.Last, [`foo`, `bar`, `baz`]>; // `baz`
2.7.7. List. Pair<T>
Pair 传入一个 元组 ，并返回元组的元组，其中每个元组是原始元组的一对元素，按顺序排列。如。'[1, 2, 3] '变成'[[1, 2]，[2, 3]]'。
import $, { List } from `hkt-toolbelt`;
type Result = $<List.Pair, [1, 2, 3]>; // [[1, 2], [2, 3]]
对于可变元组，通过引入联合来表示可变对元素的可能组合来处理可变元素。
2.7.8. List. Every<T>
Every 接受一个操作函数类和一个元组，如果元组中的每个元素都满足这个操作函数，则返回 true ，否则返回 false 。
import $, { List, Conditional } from `hkt-toolbelt`;
type Result = $<List.Every<Conditional.SubtypeOf<number>>, [1, 2, 3]>; // true
2.7.9. List. Some<T>
Some 接受一个操作函数类和一个元组，如果元组中至少有一个元素满足操作函数类，则返回' true '，否则返回 false` 。
import $, { List, Conditional } from `hkt-toolbelt`;
type Result = $<List.Some<Conditional.SubtypeOf<string>>, [1, 2, 3]>; // false
2.7.10. List. Reverse<T>
Reverse函数接受一个元组，并返回一个包含倒序元素的元组。
这种类型正确地处理可变元组类型，例如。[1、2、……string[]] "变成"[…string[] 2 1]”。
import $, { List } from `hkt-toolbelt`;
type Result = $<List.Reverse, [1, 2, 3]>; // [3, 2, 1]
2.7.11. List. IsVariadic
IsVariadic 传入一个元组，如果元组是可变的，则返回 true ，否则返回 false 。
如果一个元组的长度不确定，我们就认为它是可变的。
import { List } from `hkt-toolbelt`;
type Result = List.IsVariadic<[1, 2, 3]>; // false
2.8. String Types
2.8.1. String. StartsWith<S>
StartsWith 函数接受一个模版字符串，并返回它是否以给定的前缀开头，根据情况返回 true 或 false 。
当 开始于 这个开头 string ，因此 StartsWith<string> 对于所有后续的字符串类型将返回true。
然而， string 开头没有特定的前缀，因此 $<startwith < f >, string> 将导致 false。所有字符串也都以空字符串开头。
import $, { String } from `hkt-toolbelt`;
type Result = $<String.StartsWith<`foo`>, `foobar`>; // true
2.8.2. String. EndsWith<S>
EndsWith 传入一个模版字符串，并返回是否以给定后缀结束，根据情况返回 true 或 false 。
import $, { String } from `hkt-toolbelt`;
type Result = $<String.EndsWith<`bar`>, `foobar`>; // true
2.8.3. String. Includes<S>
Includes 传入一个字符串文字并返回它是否包含给定字符串的子字符串，根据情况返回 true 或 false 。
@see String.StartsWith
import $, { String } from `hkt-toolbelt`;
type Result = $<String.Includes<`foo`>, `barfoobar`>; // true
2.8.4. String. Append<S>
Append 传入一个模版字符串并返回一个高阶函数类，该函数接受一个字符串并返回将传入的模版字符串添加到字符串末尾的结果。
import $, { String } from `hkt-toolbelt`;
type Result = $<String.Append<`bar`>, `foo`>; // `foobar`
2.8.5. String. Prepend<S>
Prepend 传入一个模版字符类型并返回一个高阶类型函数，该函数接受一个字符串并返回将传入的模版字符串添加到字符串开头的结果。
import $, { String } from `hkt-toolbelt`;
type Result = $<String.Prepend<`foo`>, `bar`>; // `foobar`
2.8.6. String. IsTemplate
IsTemplate 传入一个字符串并返回它是否是模板字符串类型，根据情况返回 true 或 false 。
如果一个字符串不能被简化为字面值字符串，即如果其中包含 ${string} ，则该字符串被认为是模板字面值。
这可能会是一步非常耗费性能的计算。
import $, { String } from `hkt-toolbelt`;
type Result = $<String.IsTemplate, `foo${string}`>; // true
2.8.7. String. Join<S>
Join 传入一个模版字符串，并返回一个更高类型的函数，该函数接受一个字符串元组，并返回以模版字符串值作为分隔符连接元组中的字符串的结果。
import $, { String } from `hkt-toolbelt`;
type Result = $<String.Join<` `>, [`foo`, `bar`, `baz`]>; // `foo bar baz`
Join 也可以处理模板字符串，并将正确处理模板字面量的嵌入表达式。在可变元组输入的情况下，我们将联接解析为 string 。分隔符和元组元素都支持字符串联合。
2.8.8. String. Split<S>
Split 传入一个模版字符串值并返回一个更高类型的函数，该函数接受一个字符串并返回一个字符串元组，其中原始字符串根据字符串字面值进行拆分。
import $, { String } from `hkt-toolbelt`;
type Result = $<String.Split<` `>, `foo bar baz`>; // [`foo`, `bar`, `baz`]
Split 也可以处理模板字符串，并将正确处理模板字面量的嵌入表达式。但是，所有字符串字面值分隔符的结果都是 string[] 作为分割结果。分隔符和元组元素都支持字符串联合。
本文使用 Zhihu On VSCode 创作并发布
