WimJongeneel · December 15, 2019 10:59
diff --git a/match-5.ts b/match-5.ts
 type Option<a> = { kind: 'none' } | { kind: 'some', value: a }

 let val: Option<string> = { kind: 'some', value: 'hello' }

 // Conditinal way of geting the value
 if(val.kind == 'some') return val.value

 // Pattern matching way of geting the value
 match(val)
  .with({ kind: 'some' }, o => o.value) // TypeError!
  .run()
	type Option<a> = { kind: 'none' } \| { kind: 'some', value: a }

	let val: Option<string> = { kind: 'some', value: 'hello' }

	// Conditinal way of geting the value
	if(val.kind == 'some') return val.value

	// Pattern matching way of geting the value
	match(val)
	.with({ kind: 'some' }, o => o.value) // TypeError!
	.run()