"STRING
THEORY"
"@phenomnomnominal 2024"
'
'
"Hi i'm Craig"
'
'
'
'
'
'
"SLIDES"
"PHYSICS!"
"SET UP"
"String"
"hello""""HELLO""String theory is a collection of ideas in theoretical physics in which the fundamental building-blocks of nature are not particles (such as the point-like electron) but instead strings. Imagine microscopic wiggling rubber bands."
"S""🧶""let myString: string = 'hello';""HELLO""a string is a sequence of characters used to represent text."
"a primitive value, immutable, always strictly equal to itself"
TASK ONE
DEMOCRACY!
"StringS"
string"hello""HELLO""String theory is a collection of ideas in theoretical physics in which the fundamental building-blocks of nature are not particles (such as the point-like electron) but instead strings. Imagine microscopic wiggling rubber bands."
"S""🧶""""👨👨👧👧"|S| = ∞"SUPER"|S| = 1"SUPER"TASK TWO
"UNIONS"
string"hello""HELLO""String theory is a collection of ideas in theoretical physics in which the fundamental building-blocks of nature are not particles (such as the point-like electron) but instead strings. Imagine microscopic wiggling rubber bands."
"S""🧶""""👨👨👧👧"|S| = ∞"SUPER""SUPER"|S| = 1"Marie Curie""Marie Curie""Maria Goeppert-Mayer""Maria Goeppert-Mayer""Donna Strickland""Donna Strickland""Andrea Ghez""Andrea Ghez""Anne L'Huillier""Anne L'Huillier""Marie Curie""Maria Goeppert-Mayer""Donna Strickland""Andrea Ghez""Anne L'Huillier"|S| = 5"Marie Curie" | "Maria Goeppert-Mayer" | "Donna Strickland" | "Andrea Ghez" | "Anne L'Huillier"TASK THREE
"INDEXES"
type Electron = {
readonly name: 'electron';
readonly mass: 9.1093837e-35;
readonly spin: 0.5;
}Record<string, Paper>;interface Paper {
authors: Array<string>;
date: Date;
}{ [index: number]: Paper }type Electron = {
readonly name: 'electron';
readonly mass: 9.1093837e-35;
readonly spin: 0.5;
}type Mass = Electron['mass'];type Papers = Array<Paper>;type SpecificPaper = Papers[0];TASK FOUR
"KEYS"
type Electron = {
readonly name: 'electron';
readonly mass: 9.1093837e-35;
readonly spin: 0.5;
}type ElectronKeys = 'name' | 'mass' | 'spin';TASK FIVE
"TEMPLATES"
const hydrogen = "H"
const oxygen = "O"
const water = `${hydrogen}${hydrogen}${oxygen}`;type Hydrogen = "H"
type Oxygen = "O"
type Water = `${Hydrogen}${Hydrogen}${Oxygen}`;type Elements =
"H" | "He" | "Li" | "Be" | "B" |
"C". | "N" | "O" | "F" | "Ne";
type Molecules =
`${Elements}${Elements}${Elements}`;type Molecules =
"HHH" | "HHHe" | "HHLi" | "HHBe" | "HHB" | "HHC" | "HHeH"
| "HHeHe" | "HHeLi" | "HHeBe" | "HHeB" | "HHeC" | "HLiH"
| "HLiHe" | "HLiLi" | "HLiBe" | "HLiB" | "HLiC" | "HBeH"
| "HBeHe" | ... 195 more ... | "CCC"type StandardParticles =
| "Higgs boson"
| "Neutrino"
| "Lepton"
| "Z boson"
| "W boson"
| "Gluon"
| "Muon"
| "Top quark";type SuperPartnerParticles =
| "Higgsino"
| "Sneutrino"
| "Slepton"
| "Zino"
| "Wino"
| "Gluion"
| "Smuon"
| "Stop Squark";Can we use TypeScript string types to transform from a Standard Particle name to a Super Partner Particle?
TASK SIX
"INTRINSICS"
"SNeutrino" | "SLepton" | "SMuon" | "STop quark";type Lower = Lowercase<"SNeutrino">; // "sneutrino"
type Upper = Uppercase<"SLepton">; // "SLEPTON"
type Capital = Capitalize<"SMuon">; // "SMuon"
type Uncapital = Uncapitalize<"STop quark">; // "sTop quark"TASK SEVEN
"MAPS"
type NobelWinners = {
"Marie Curie": "researches on the radiation phenomena";
"Maria Goeppert-Mayer": "discoveries concerning nuclear shell structure";
"Donna Strickland": "a method of generating high-intensity, ultra-short optical pulses";
"Andrea Ghez": "the discovery of a supermassive compact object at the centre of our galaxy";
"Anne L'Huillier": "Experimental methods that generate attosecond pulses of light";
};
type NobelGreetingMap = {
[Name in keyof NobelWinners]: `Hello ${Name}`;
};
TASK EIGHT
"INFERENCE"
A extends B ? C : D"Conditional Types"
Input extends `${infer Start}${infer End}`
? Start | End
: never;"Infer"
TASK NINE
"RECURSION!"
TASK TEN
"EVERYTHING"
TASK ELEVEN
"THE END"
String Theory ngconf 2024
By Craig Spence
