2023-09-07T15:27:35.366Z

total-typescript · Sep 7, 2023 · e465d84 · e465d84
1 parent 98ca5d5
commit e465d84
Show file tree

Hide file tree

Showing 23 changed files with 202 additions and 0 deletions.
diff --git a/plan.md b/plan.md
@@ -9,3 +9,5 @@ never disappearing in unions
 JSDoc section?
 Setters in classes?
 Add decorators when they're supported in vite
+
+Non null assertion
diff --git a/...rstanding-the-compiler/126-any.problem.ts → ...rstanding-the-compiler/125-any.problem.ts b/...rstanding-the-compiler/126-any.problem.ts → ...rstanding-the-compiler/125-any.problem.ts
diff --git a/...standing-the-compiler/126-any.solution.ts → ...standing-the-compiler/125-any.solution.ts b/...standing-the-compiler/126-any.solution.ts → ...standing-the-compiler/125-any.solution.ts
diff --git a/...the-compiler/127-as-and-as-any.problem.ts → ...the-compiler/126-as-and-as-any.problem.ts b/...the-compiler/127-as-and-as-any.problem.ts → ...the-compiler/126-as-and-as-any.problem.ts
diff --git a/...-compiler/127-as-and-as-any.solution.1.ts → ...-compiler/126-as-and-as-any.solution.1.ts b/...-compiler/127-as-and-as-any.solution.1.ts → ...-compiler/126-as-and-as-any.solution.1.ts
diff --git a/...-compiler/127-as-and-as-any.solution.2.ts → ...-compiler/126-as-and-as-any.solution.2.ts b/...-compiler/127-as-and-as-any.solution.2.ts → ...-compiler/126-as-and-as-any.solution.2.ts
diff --git a/...ler/128-global-typings-use-any.problem.ts → ...ler/127-global-typings-use-any.problem.ts b/...ler/128-global-typings-use-any.problem.ts → ...ler/127-global-typings-use-any.problem.ts
diff --git a/.../128-global-typings-use-any.solution.1.ts → .../127-global-typings-use-any.solution.1.ts b/.../128-global-typings-use-any.solution.1.ts → .../127-global-typings-use-any.solution.1.ts
diff --git a/.../128-global-typings-use-any.solution.2.ts → .../127-global-typings-use-any.solution.2.ts b/.../128-global-typings-use-any.solution.2.ts → .../127-global-typings-use-any.solution.2.ts
diff --git a/...-the-compiler/129-limits-of-as.problem.ts → ...-the-compiler/128-limits-of-as.problem.ts b/...-the-compiler/129-limits-of-as.problem.ts → ...-the-compiler/128-limits-of-as.problem.ts
diff --git a/...e-compiler/129-limits-of-as.solution.1.ts → ...e-compiler/128-limits-of-as.solution.1.ts b/...e-compiler/129-limits-of-as.solution.1.ts → ...e-compiler/128-limits-of-as.solution.1.ts
diff --git a/...e-compiler/129-limits-of-as.solution.2.ts → ...e-compiler/128-limits-of-as.solution.2.ts b/...e-compiler/129-limits-of-as.solution.2.ts → ...e-compiler/128-limits-of-as.solution.2.ts
diff --git a/...the-compiler/130-ts-ignore.explainer.1.ts → ...the-compiler/129-ts-ignore.explainer.1.ts b/...the-compiler/130-ts-ignore.explainer.1.ts → ...the-compiler/129-ts-ignore.explainer.1.ts
diff --git a/...the-compiler/130-ts-ignore.explainer.2.ts → ...the-compiler/129-ts-ignore.explainer.2.ts b/...the-compiler/130-ts-ignore.explainer.2.ts → ...the-compiler/129-ts-ignore.explainer.2.ts
diff --git a/...compiler/131-ts-expect-error.explainer.ts → ...compiler/130-ts-expect-error.explainer.ts b/...compiler/131-ts-expect-error.explainer.ts → ...compiler/130-ts-expect-error.explainer.ts
diff --git a/src/035-understanding-the-compiler/131-satisfies.problem.ts b/src/035-understanding-the-compiler/131-satisfies.problem.ts
@@ -0,0 +1,23 @@
+type Color =
+  | string
+  | {
+      r: number;
+      g: number;
+      b: number;
+    };
+
+const config: Record<string, Color> = {
+  foreground: { r: 255, g: 255, b: 255 },
+  background: { r: 0, g: 0, b: 0 },
+  border: "transparent",
+};
+
+config.border.toUpperCase();
+
+console.log(config.foreground.r);
+
+// @ts-expect-error
+config.primary;
+
+// @ts-expect-error
+config.secondary;
diff --git a/src/035-understanding-the-compiler/131-satisfies.solution.svg b/src/035-understanding-the-compiler/131-satisfies.solution.svg
diff --git a/src/035-understanding-the-compiler/131-satisfies.solution.ts b/src/035-understanding-the-compiler/131-satisfies.solution.ts
@@ -0,0 +1,23 @@
+type Color =
+  | string
+  | {
+      r: number;
+      g: number;
+      b: number;
+    };
+
+const config = {
+  foreground: { r: 255, g: 255, b: 255 },
+  background: { r: 0, g: 0, b: 0 },
+  border: "transparent",
+} satisfies Record<string, Color>;
+
+config.border.toUpperCase();
+
+console.log(config.foreground.r);
+
+// @ts-expect-error
+config.primary;
+
+// @ts-expect-error
+config.secondary;
diff --git a/src/035-understanding-the-compiler/132-satisfies-vs-as-vs-variable-annotations.problem.ts b/src/035-understanding-the-compiler/132-satisfies-vs-as-vs-variable-annotations.problem.ts
@@ -0,0 +1,61 @@
+// 1
+
+const obj = {} as Record<string, number>;
+
+obj.a = 1;
+
+obj.b = 2;
+
+type test = Expect<Equal<typeof obj.a, number>>;
+
+// 2
+
+const menuConfig: Record<
+  string,
+  | {
+      label: string;
+      link: string;
+    }
+  | {
+      label: string;
+      children: {
+        label: string;
+        link: string;
+      }[];
+    }
+> = {
+  home: {
+    label: "Home",
+    link: "/home",
+  },
+  services: {
+    label: "Services",
+    children: [
+      {
+        label: "Consulting",
+        link: "/services/consulting",
+      },
+      {
+        label: "Development",
+        link: "/services/development",
+      },
+    ],
+  },
+};
+
+type tests = [
+  Expect<Equal<typeof menuConfig.home.label, string>>,
+  Expect<
+    Equal<
+      typeof menuConfig.services.children,
+      {
+        label: string;
+        link: string;
+      }[]
+    >
+  >,
+];
+
+// 3
+
+const element = document.getElementById("app") satisfies HTMLElement;
diff --git a/...rstanding-the-compiler/132-satisfies-vs-as-vs-variable-annotations.solution.svg b/...rstanding-the-compiler/132-satisfies-vs-as-vs-variable-annotations.solution.svg
diff --git a/src/035-understanding-the-compiler/132-satisfies-vs-as-vs-variable-annotations.solution.ts b/src/035-understanding-the-compiler/132-satisfies-vs-as-vs-variable-annotations.solution.ts
@@ -0,0 +1,61 @@
+// 1
+
+const obj = {} as Record<string, number>;
+
+obj.a = 1;
+
+obj.b = 2;
+
+type test = Expect<Equal<typeof obj.a, number>>;
+
+// 2
+
+const menuConfig: Record<
+  string,
+  | {
+      label: string;
+      link: string;
+    }
+  | {
+      label: string;
+      children: {
+        label: string;
+        link: string;
+      }[];
+    }
+> = {
+  home: {
+    label: "Home",
+    link: "/home",
+  },
+  services: {
+    label: "Services",
+    children: [
+      {
+        label: "Consulting",
+        link: "/services/consulting",
+      },
+      {
+        label: "Development",
+        link: "/services/development",
+      },
+    ],
+  },
+};
+
+type tests = [
+  Expect<Equal<typeof menuConfig.home.label, string>>,
+  Expect<
+    Equal<
+      typeof menuConfig.services.children,
+      {
+        label: string;
+        link: string;
+      }[]
+    >
+  >,
+];
+
+// 3
+
+const element = document.getElementById("app") satisfies HTMLElement;
diff --git a/src/035-understanding-the-compiler/132-satisfies.problem.ts b/src/035-understanding-the-compiler/132-satisfies.problem.ts
diff --git a/src/035-understanding-the-compiler/132-satisfies.solution.ts b/src/035-understanding-the-compiler/132-satisfies.solution.ts