Coba jujur deh. Pas pertama kali kenal TypeScript dan ketemu error yang panjang dan bikin pusing, langkah pertama yang biasanya diambil banyak orang adalah nambahin

PLAINTEXT Snippetplaintext

: any

1 baris•5 chars

UTF-8•Spaces: 4

di mana-mana biar errornya hilang. Kerasa lega sesaat, tapi diam-diam ini adalah awal dari masalah yang lebih besar.

Di artikel ini kita bakal bongkar tiga tipe yang sering bikin bingung pemula, yaitu

PLAINTEXT Snippetplaintext

any

1 baris•3 chars

UTF-8•Spaces: 4

PLAINTEXT Snippetplaintext

unknown

1 baris•7 chars

UTF-8•Spaces: 4

, dan

PLAINTEXT Snippetplaintext

never

1 baris•5 chars

UTF-8•Spaces: 4

. Ketiganya kelihatan agak abstrak di awal, tapi begitu kamu paham filosofinya, kamu bakal ngerti kenapa TypeScript sengaja bikin tiga tipe ini beda-beda, bukan cuma satu tipe generik aja.

any, Si Jalan Pintas yang Berbahaya

PLAINTEXT Snippetplaintext

any

1 baris•3 chars

UTF-8•Spaces: 4

itu ibaratnya tombol "matiin semua alarm" di TypeScript. Begitu sebuah variabel dikasih tipe

PLAINTEXT Snippetplaintext

any

1 baris•3 chars

UTF-8•Spaces: 4

, TypeScript langsung berhenti ngecek apapun soal variabel itu. Kamu bisa manggil method apa aja, akses properti apa aja, bahkan operasi yang jelas-jelas gak masuk akal, dan TypeScript diem aja.

index.tstypescript

let data: any = "hello";

data.toUpperCase(); // aman

data.push(1); // TypeScript diem aja, padahal string gak punya method push

console.log(data.angka.desimal); // ini juga diem aja

5 baris•182 chars

UTF-8•Spaces: 4

Kode di atas bakal error pas dijalankan, tapi TypeScript sama sekali gak ngasih peringatan pas kamu nulisnya. Ini yang bikin

PLAINTEXT Snippetplaintext

any

1 baris•3 chars

UTF-8•Spaces: 4

berbahaya. Kamu kehilangan seluruh manfaat utama TypeScript, yaitu deteksi bug sebelum kode dijalankan, padahal secara sintaks kode kamu masih "kelihatan" seperti TypeScript.

Masalahnya lagi,

PLAINTEXT Snippetplaintext

any

1 baris•3 chars

UTF-8•Spaces: 4

itu sifatnya menular. Kalau ada satu variabel

PLAINTEXT Snippetplaintext

any

1 baris•3 chars

UTF-8•Spaces: 4

yang dipakai buat bikin variabel lain, variabel lain itu ikut jadi

PLAINTEXT Snippetplaintext

any

1 baris•3 chars

UTF-8•Spaces: 4

juga, kecuali kamu kasih anotasi eksplisit. Ini bisa bikin

PLAINTEXT Snippetplaintext

any

1 baris•3 chars

UTF-8•Spaces: 4

menyebar pelan-pelan ke seluruh codebase tanpa kamu sadari.

index.tstypescript

function fetchUser(): any {

  return { name: "Andi", age: 25 };

}

const user = fetchUser(); // user jadi any

const userName = user.name; // userName juga jadi any

6 baris•163 chars

UTF-8•Spaces: 4

Kapan

PLAINTEXT Snippetplaintext

any

1 baris•3 chars

UTF-8•Spaces: 4

boleh dipakai? Sebenarnya ada kondisi tertentu, misalnya pas kamu lagi migrasi codebase JavaScript besar ke TypeScript secara bertahap, dan butuh "jalan pintas sementara" biar gak semua error muncul sekaligus. Tapi ini harus dianggap utang teknis, bukan solusi permanen. Kalau memungkinkan,

PLAINTEXT Snippetplaintext

unknown

1 baris•7 chars

UTF-8•Spaces: 4

biasanya jadi pilihan yang jauh lebih aman.

unknown, Versi Aman dari any

PLAINTEXT Snippetplaintext

unknown

1 baris•7 chars

UTF-8•Spaces: 4

itu mirip

PLAINTEXT Snippetplaintext

any

1 baris•3 chars

UTF-8•Spaces: 4

dalam artian, dia juga bisa nampung nilai apa aja. Bedanya, TypeScript gak ngizinin kamu langsung "make" nilai bertipe

PLAINTEXT Snippetplaintext

unknown

1 baris•7 chars

UTF-8•Spaces: 4

sebelum kamu ngecek atau mastiin dulu bentuknya kayak apa.

index.tstypescript

let data: unknown = "hello";

data.toUpperCase(); // Error, Object is of type 'unknown'

3 baris•87 chars

UTF-8•Spaces: 4

Kelihatan kayak lebih ribet ya? Tapi justru di situ letak keamanannya. TypeScript maksa kamu buat mikir dulu, "oke, nilai ini sebenarnya apa sih bentuknya," sebelum kamu bisa pakai. Caranya biasanya lewat narrowing, misalnya pakai

PLAINTEXT Snippetplaintext

typeof

1 baris•6 chars

UTF-8•Spaces: 4

atau

PLAINTEXT Snippetplaintext

instanceof

1 baris•10 chars

UTF-8•Spaces: 4

index.tstypescript

let data: unknown = "hello";

if (typeof data === "string") {

  data.toUpperCase(); // aman, TypeScript udah tau ini string

}

5 baris•125 chars

UTF-8•Spaces: 4

PLAINTEXT Snippetplaintext

unknown

1 baris•7 chars

UTF-8•Spaces: 4

ini paling sering dipakai buat kasus di mana kamu bener-bener gak tau bentuk data dari awal, misalnya response dari API eksternal, hasil

PLAINTEXT Snippetplaintext

JSON.parse

1 baris•10 chars

UTF-8•Spaces: 4

, atau input dari user yang belum divalidasi.

index.tstypescript

function handleApiResponse(response: unknown) {

if (

    typeof response === "object" &&

    response !== null &&

"status" in response

) {

    console.log(response.status);

}

9 baris•186 chars

UTF-8•Spaces: 4

Bandingin sama kalau kamu pakai

PLAINTEXT Snippetplaintext

any

1 baris•3 chars

UTF-8•Spaces: 4

di situasi yang sama. Dengan

PLAINTEXT Snippetplaintext

any

1 baris•3 chars

UTF-8•Spaces: 4

, kamu bisa aja lupa ngecek

PLAINTEXT Snippetplaintext

status

1 baris•6 chars

UTF-8•Spaces: 4

beneran ada atau gak, dan errornya baru ketahuan pas runtime. Dengan

PLAINTEXT Snippetplaintext

unknown

1 baris•7 chars

UTF-8•Spaces: 4

, TypeScript maksa kamu ngecek dulu, jadi kesalahan kayak gitu ketahuan dari awal.

Aturan simpelnya, kalau kamu bener-bener gak tau tipe data dari sesuatu, pakai

PLAINTEXT Snippetplaintext

unknown

1 baris•7 chars

UTF-8•Spaces: 4

, bukan

PLAINTEXT Snippetplaintext

any

1 baris•3 chars

UTF-8•Spaces: 4

. Kamu tetep dapet fleksibilitas buat nampung data apa aja, tapi tetep aman karena dipaksa validasi dulu.

never, Tipe buat Sesuatu yang Emang Gak Pernah Kejadian

Kalau

PLAINTEXT Snippetplaintext

any

1 baris•3 chars

UTF-8•Spaces: 4

dan

PLAINTEXT Snippetplaintext

unknown

1 baris•7 chars

UTF-8•Spaces: 4

sama-sama soal "gak tau tipe data ini apa",

PLAINTEXT Snippetplaintext

never

1 baris•5 chars

UTF-8•Spaces: 4

justru kebalikannya.

PLAINTEXT Snippetplaintext

never

1 baris•5 chars

UTF-8•Spaces: 4

dipakai buat merepresentasikan sesuatu yang secara logika emang gak pernah terjadi.

Contoh paling gampang, fungsi yang selalu throw error dan gak pernah beneran return apa-apa:

index.tstypescript

function throwError(message: string): never {

  throw new Error(message);

}

3 baris•75 chars

UTF-8•Spaces: 4

Fungsi ini gak pernah "selesai" secara normal. Dia selalu berakhir dengan throw, jadi tipe return-nya

PLAINTEXT Snippetplaintext

never

1 baris•5 chars

UTF-8•Spaces: 4

, bukan

PLAINTEXT Snippetplaintext

void

1 baris•4 chars

UTF-8•Spaces: 4

. Bedanya sama

PLAINTEXT Snippetplaintext

void

1 baris•4 chars

UTF-8•Spaces: 4

PLAINTEXT Snippetplaintext

void

1 baris•4 chars

UTF-8•Spaces: 4

berarti fungsi selesai tapi gak return nilai apa-apa yang berguna.

PLAINTEXT Snippetplaintext

never

1 baris•5 chars

UTF-8•Spaces: 4

berarti fungsi gak pernah selesai sama sekali.

Penggunaan

PLAINTEXT Snippetplaintext

never

1 baris•5 chars

UTF-8•Spaces: 4

yang paling sering dipakai di kode sehari-hari justru buat exhaustiveness check, alias mastiin semua kemungkinan kasus di sebuah union type udah ditangani semua.

index.tstypescript

type Shape =

  | { kind: "circle"; radius: number }

  | { kind: "square"; side: number };

function getArea(shape: Shape): number {

  switch (shape.kind) {

    case "circle":

      return Math.PI * shape.radius ** 2;

    case "square":

      return shape.side ** 2;

default:

      const _exhaustiveCheck: never = shape;

return _exhaustiveCheck;

}

15 baris•360 chars

UTF-8•Spaces: 4

Coba perhatiin bagian

PLAINTEXT Snippetplaintext

default

1 baris•7 chars

UTF-8•Spaces: 4

. Kalau semua kemungkinan

PLAINTEXT Snippetplaintext

kind

1 baris•4 chars

UTF-8•Spaces: 4

udah ditangani di atas, maka pas sampai ke

PLAINTEXT Snippetplaintext

default

1 baris•7 chars

UTF-8•Spaces: 4

, TypeScript tau

PLAINTEXT Snippetplaintext

shape

1 baris•5 chars

UTF-8•Spaces: 4

gak mungkin punya tipe apa-apa lagi, makanya tipenya jadi

PLAINTEXT Snippetplaintext

never

1 baris•5 chars

UTF-8•Spaces: 4

. Trik ini berguna banget, karena begitu suatu hari kamu nambahin varian baru ke

PLAINTEXT Snippetplaintext

Shape

1 baris•5 chars

UTF-8•Spaces: 4

, misalnya

PLAINTEXT Snippetplaintext

{ kind: "triangle"; base: number; height: number }

1 baris•50 chars

UTF-8•Spaces: 4

, tapi lupa nambahin case buat itu di

PLAINTEXT Snippetplaintext

getArea

1 baris•7 chars

UTF-8•Spaces: 4

, TypeScript bakal langsung error di baris

PLAINTEXT Snippetplaintext

_exhaustiveCheck

1 baris•16 chars

UTF-8•Spaces: 4

. Ini semacam pengingat otomatis, "hei, ada kasus baru yang belum kamu tangani."

Ngeliat Ketiganya Berdampingan

Biar lebih kebayang, coba bandingin ketiga tipe ini lewat satu skenario yang sama, yaitu proses ambil data dari luar sistem, misalnya API.

index.tstypescript

// any, gak aman, semua pengecekan mati

function parseAny(json: string): any {

  return JSON.parse(json);

}

// unknown, aman, maksa validasi dulu

function parseUnknown(json: string): unknown {

  return JSON.parse(json);

}

// never, dipakai buat nandain kasus yang gak seharusnya kejadian

function parseStrict(json: string): { id: number; name: string } | never {

  const result = JSON.parse(json);

  if (typeof result.id !== "number" || typeof result.name !== "string") {

    throw new Error("Format data gak sesuai");

}

return result;

}

18 baris•543 chars

UTF-8•Spaces: 4

Dari contoh di atas, kelihatan jelas bedanya.

PLAINTEXT Snippetplaintext

any

1 baris•3 chars

UTF-8•Spaces: 4

itu paling gampang dipakai tapi paling beresiko.

PLAINTEXT Snippetplaintext

unknown

1 baris•7 chars

UTF-8•Spaces: 4

itu jalan tengah yang aman, kamu tetep fleksibel tapi dipaksa validasi.

PLAINTEXT Snippetplaintext

never

1 baris•5 chars

UTF-8•Spaces: 4

itu spesifik banget buat kasus "ini seharusnya gak pernah kejadian", entah karena fungsi selalu throw, atau karena semua kemungkinan udah ditangani semua.

Kesimpulan

Kalau kamu lagi bingung mau pakai tipe apa buat data yang gak jelas bentuknya, coba pakai aturan simpel ini. Kalau kamu males mikirin tipe dan cuma mau errornya hilang, itu tandanya kamu lagi pakai

PLAINTEXT Snippetplaintext

any

1 baris•3 chars

UTF-8•Spaces: 4

, dan ini sebaiknya dihindari kecuali kepepet banget. Kalau kamu emang gak tau bentuk datanya dari awal tapi tetep pengen aman, pakai

PLAINTEXT Snippetplaintext

unknown

1 baris•7 chars

UTF-8•Spaces: 4

. Dan kalau kamu pengen mastiin semua kemungkinan kasus udah ditangani, atau nandain fungsi yang emang gak pernah selesai normal, pakai

PLAINTEXT Snippetplaintext

never

1 baris•5 chars

UTF-8•Spaces: 4

Ketiga tipe ini kelihatan kecil, tapi paham bedanya bakal nyelametin kamu dari banyak bug diam-diam yang justru pengen dihindari TypeScript sejak awal.

Di artikel selanjutnya, kita bakal bahas soal type inference, gimana TypeScript sebenarnya udah cukup pinter buat nebak tipe data sendiri, dan kapan sebaiknya kamu tetep nulis anotasi tipe secara manual meskipun sebenarnya gak wajib.

Bedanya any, unknown, dan never yang Sering Bikin Bingung

TypeScript Fundamentals

any, Si Jalan Pintas yang Berbahaya

unknown, Versi Aman dari any

never, Tipe buat Sesuatu yang Emang Gak Pernah Kejadian

Ngeliat Ketiganya Berdampingan

Kesimpulan

Timur Dian Radha Sejati

Punya Masalah Arsitektur atau Ingin Membangun Sistem yang Benar?

Artikel Rekayasa Terkait

Utility Types yang Wajib Diketahui Setiap Developer TypeScript

Generics, dari Dasar sampai Constraint

Union, Intersection, dan Discriminated Union, Cara Memodelkan Data yang Punya Banyak Kemungkinan Bentuk