是否可以输入字符串模板？
Is it possible to type string template?
这样它就可以分配一个仅由类型模板值组成的字符串值。
tStr = "2000:80" -- "Int:Int"
tStr = "2000:AAA" -- "Int:String" - that would be an error
例如打字稿支持这个：
type TemplateS = `${number}:{number}`
const tStr: TemplateS = "2000:80"
我认为这是可能的，但它不实用并且可能会显着增加编译时间。您必须使用 Symbol、RowList、Append 并键入 类.
TypeScript 想要将类型改造为字符串类型的 JavaScript API，因为它是一种 JavaScript 超级语言。 PureScript 是不同的。它更喜欢从概念上创建具有强类型设计的新 API。
如果您想要一对类型，请使用 Tuple。例如：Tuple 1 2 :: Tuple Int Int 或 Tuple 1 "2" :: Tuple Int String.
这样它就可以分配一个仅由类型模板值组成的字符串值。
tStr = "2000:80" -- "Int:Int"
tStr = "2000:AAA" -- "Int:String" - that would be an error
例如打字稿支持这个：
type TemplateS = `${number}:{number}`
const tStr: TemplateS = "2000:80"
我认为这是可能的，但它不实用并且可能会显着增加编译时间。您必须使用 Symbol、RowList、Append 并键入 类.
TypeScript 想要将类型改造为字符串类型的 JavaScript API，因为它是一种 JavaScript 超级语言。 PureScript 是不同的。它更喜欢从概念上创建具有强类型设计的新 API。
如果您想要一对类型，请使用 Tuple。例如：Tuple 1 2 :: Tuple Int Int 或 Tuple 1 "2" :: Tuple Int String.