hkts:TypeScript中类型较高的类型的简单编码

【文件属性】：

文件名称：hkts:TypeScript中类型较高的类型的简单编码

文件大小：41KB

文件格式：ZIP

更新时间：2024-05-22 09:41:04

TypeScript

HKTS-更高级的打字稿 概述 TypeScript，但是已经进行了各种尝试来模拟它们（请参阅底部的）。 该项目提供了一种新的，大大简化的使用条件类型的力量对HKT进行编码的方法。 这个想法是，尽管我们不能真正抽象出类型构造函数type T = ... ，但是我们可以抽象出将结果T<_>应用于特殊占位符类型_ 。 然后，如果我们能以某种方式替换类型中_所有实例，那么我们实际上就有能力“将” T “应用于”任意类型。 也就是说，我们可以对T进行抽象！ 事实证明，我们可以定义一个替换运算符$来执行此操作。 这是我们使用$定义： interface Functor < T> { map : < A> ( f : ( x : A ) => B , t : $ < T> ) => $ < T> ; } 然后，假设我们有一个

【文件预览】：
hkts-master
----yarn.lock(107KB)
----.prettierrc.yml(116B)
----.prettierignore(49B)
----src()
--------static-land.ts(3KB)
--------index.ts(3KB)
--------index.spec.ts(3KB)
----.vscode()
--------settings.json(158B)
----.travis.yml(157B)
----tsconfig.json(5KB)
----LICENSE(1KB)
----jest.config.js(325B)
----README.md(6KB)
----.gitignore(25B)
----package.json(711B)