"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

String Theory ngconf 2024

  • 1,069