타입 대수 (2) 썸네일형 리스트형 타입스트립트의 타입시스템으로 산수 구현하기 원문 주소 Implementing Arithmetic Within TypeScript’s Type System Use TypeScript’s 4.x releases to implement natural numbers and basic mathematical operators. itnext.io 타입스크립트 4.x 버전 덕택에 지금까지 불가능했던 타입을 표현할 수 있게 되었다. 만약 타입만으로 코드 실행 결과의 검증이 가능하다면 1+2같은 함수의 테스트는 구현할 필요가 없을것이다. 즉 Add 타입의 결과가 8이라면, Add 타입은 8이외의 값은 허용하지 않을것이다. 타입스크립트의 타입만으로 컴파일 타임 이전에 알 수 있는 코드 실행 결과를 검증해보자. 사용하는 기능 이전부터 존재한 친숙한 기능들 조건부 타.. 타입스크립트의 타입 대수(type argebra)를 통해 타입 오류 분석하기 Type algebra는 TypeScript에서 많이 알려지지 않은 주제이며 TypeScript의 몇 가지 단점을 이해하는 데 필수적인 주제입니다. Algebras (대수) 집합 대수가 |,&에서 모두 분배법칙이 성립하며 타입스크립트의 타입 합집합 교집합은 집합 대수를 따름을 이해하면 됩니다. 우리 모두 수학 수업에서 몇 가지 대수 법칙을 배웠습니다. 곱셈은 덧셈에 대해 왼쪽 분배 법칙 성립: a * (b + c) === (a * b) + (a * c) 곱셈은 덧셈에 대해 오른쪽 분배 법칙 성립: (a + b) * c === (a * c) + (c * c) 덧셈은 곱셍에 대해 분배법칙이 성립하지 않습니다. 그리고 우리가 방금 본 일반 대수학(ordinary algebra)과 약간 다른 부울 대수학(boo.. 이전 1 다음
