W3Schools Tryit Editor

// Numeric Literal Types Example
// This demonstrates how numeric literal types work in TypeScript

// Define a function that validates if a dice roll is valid (1-6)
// In TypeScript: let diceRoll: 1 | 2 | 3 | 4 | 5 | 6;
function isValidDiceRoll(roll) {
  return Number.isInteger(roll) && roll >= 1 && roll <= 6;
}

// Function that simulates rolling a dice
function rollDice() {
  return Math.floor(Math.random() * 6) + 1;
}

// Function that uses the dice roll and validates it
function processDiceRoll(roll) {
  if (!isValidDiceRoll(roll)) {
    throw new Error(`Invalid dice roll: ${roll}. Must be an integer from 1 to 6.`);
  }
  
  return `You rolled a ${roll}`;
}

// Valid dice roll examples
console.log("Valid dice rolls:");
for (let i = 1; i <= 6; i++) {
  console.log(processDiceRoll(i));
}

// Invalid dice roll examples
console.log("\nInvalid dice rolls (would be TypeScript compile-time errors):");
try {
  console.log(processDiceRoll(0));
} catch (error) {
  console.log(error.message);
}

try {
  console.log(processDiceRoll(7));
} catch (error) {
  console.log(error.message);
}

try {
  console.log(processDiceRoll(2.5));
} catch (error) {
  console.log(error.message);
}

// Random dice roll
console.log("\nRandom dice roll:");
const result = rollDice();
console.log(processDiceRoll(result));

// In TypeScript, invalid assignments would cause compiler errors:
console.log("\nIn TypeScript, these would be compile-time errors:");
console.log('diceRoll = 0;   // Error: Type \'0\' is not assignable to type...');
console.log('diceRoll = 7;   // Error: Type \'7\' is not assignable to type...');
console.log('diceRoll = 2.5; // Error: Type \'2.5\' is not assignable to type...');

Valid dice rolls:
You rolled a 1
You rolled a 2
You rolled a 3
You rolled a 4
You rolled a 5
You rolled a 6

Invalid dice rolls (would be TypeScript compile-time errors):
Invalid dice roll: 0. Must be an integer from 1 to 6.
Invalid dice roll: 7. Must be an integer from 1 to 6.
Invalid dice roll: 2.5. Must be an integer from 1 to 6.

Random dice roll:
You rolled a 3

In TypeScript, these would be compile-time errors:
diceRoll = 0;   // Error: Type '0' is not assignable to type...
diceRoll = 7;   // Error: Type '7' is not assignable to type...
diceRoll = 2.5; // Error: Type '2.5' is not assignable to type...