blob: 3485e0218bf28a1d2bdfae5e24969332bd410211 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
/*
If you've ever said "I wish generic types were first class," you're probably doing something wrong.
On the other hand, you might be doing something right! KaiScript makes this possible.
*/
import { CallFn, Evaluate, FnPrim, Lex, Parse } from "../src";
// You might have a type that looks like this
type MyGenericMapper<T extends number> = `${T}`;
// And another that looks like this
type MyGenericMapper2<T extends number> = `number:${T}`;
// And another type that wants to consume them
//@ts-expect-error
type Map5<Mapper> = Mapper<5>;
// Hmm, can't do that. ...maybe this?
type Map5_2<Mapper extends <T extends number>() => string> = ReturnType<
//@ts-expect-error
Mapper<5>
>;
// But with KaiScript:
type MyKaiScriptMapper = Evaluate<Parse<Lex<"fn(n, tostring(n))">>>[0];
type MyKaiScriptMapper2 = Evaluate<
Parse<Lex<'fn(n, tostring(add("number:", tostring(n))))'>>
>[0];
type Map5KaiScript<Mapper extends FnPrim> = CallFn<Mapper, [5]>;
// "5"
type Mapped1 = Map5KaiScript<MyKaiScriptMapper>;
// "number:5"
type Mapped2 = Map5KaiScript<MyKaiScriptMapper2>;
// KaiScript lets you get an extra order of primitivity out of your types
|
