charlypoly

type UUID = string;

interface User {
   id: UUID;
   first_name: string;
   last_name: string;
   plan: 'free' | 'premium'
}

interface PremiumOptions {

charlypoly

function isPremiumUser(user: User): user is PremiumUser {
  return user.plan === 'premium'
}

charlypoly

function isPremiumUser(user: User): user is PremiumUser {
  return user.plan === 'premium'
}



function getPremiumOptions(user: User | PremiumUser): PremiumOptions | null {
  if (isPremiumUser(user)) {
    user
    // `user` is of type `PremiumUser`

charlypoly

function isString(value?: any): value is string;

charlypoly

import { isString } from "lodash"

let name: string | undefined = "John"
// `name` is of type `string | undefined`

let price: number | undefined = 1
// `price` is of type `number | undefined`

if (isString(name)) {
  name

charlypoly

type UUID = string;

interface BasicUser {
   id: UUID;
   first_name: string;
   last_name: string;
}

interface User extends BasicUser {
   plan: 'free'

charlypoly

type UserArg = PremiumUser | USer

function processUSer({ plan, premiumOptions }: UserArg) {
  if (plan === "premium") {
    premiumOptions
    // `premiumOptions` is of type `PremiumOptions`
  } else {
    premiumOptions
    // `premiumOptions` is of type `undefined`
  }

charlypoly

interface Success {
  type: `${string}Success`;
  body: string;
}

interface Error {
  type: `${string}Error`;
  message: string;
}

charlypoly

function isPremiumUser(user: User | PremiumUser): user is PremiumUser {
  return user.plan === "premium"
}

let user: PremiumUser | User | undefined

// the line below should raise a TypeScript error,
//  but it doesn't!
if (isPremiumUser(user)) {
  // ...

charlypoly

let myPrices: number[] = [1, 2.4, 2.0]

const defaultPrice = myPrices[40]
// `defaultPrice` is of type `number`