개정 비교

…

대수적 데이터 타입과 상태 모델링

선택한 두 보관본의 본문 변경입니다. 코드는 실행하지 않습니다.

변경 구간 6개

− 삭제+ 추가변경 없는 본문 23개는 생략했습니다.

본문 블록 4 → 4

이런 ~~모델링은 값의 표현 공간을 설계하는 일이다.~~ 프로그램이 만들 수 있는 조합 가운데 업무에서 의미 있는 ~~조합만~~ 골라 ~~표현하고,~~ 소비하는 코드는 경우마다 그에 맞는 필드를 다룬다. “잘못된 상태를 표현하기 어렵게 만든다”는 흔한 설명도 여기서 나온다.

이런 모델링에서는 프로그램이 만들 수 있는 조합 가운데 업무에서 의미 있는 조합을 골라 타입으로 표현한다. 소비하는 코드는 경우마다 그에 맞는 필드를 다룬다. “잘못된 상태를 표현하기 어렵게 만든다”는 흔한 설명도 여기서 나온다.

본문 블록 7 → 7

문장은 같고 각주·서식·블록 속성이 변경되었습니다.

본문 블록 12 → 12

NPL과 Hope로 이어지는 흐름에서는 데이터가 어떤 경우들로 만들어지는지 언어 안에 선언하고, 각 경우를 패턴으로 분해하는 방식이 중요해졌다. Haskell 회고는 Burstall의 구조적 귀납 연구와 Darlington과 함께한 프로그램 변환 연구를 이 프로그래밍 방식의 배경으로 든다.[각주 1]

1977년의 NPL과 1980년의 Hope로 이어지는 흐름에서는 데이터가 어떤 경우들로 만들어지는지 언어 안에 선언하고, 각 경우를 패턴으로 분해하는 방식이 중요해졌다. Haskell 회고는 Burstall의 구조적 귀납 연구와 Darlington과 함께한 프로그램 변환 연구를 이 프로그래밍 방식의 배경으로 든다.[각주 1]

본문 블록 18 → 18

~~이 차이를 보면~~ 가능한 값들의 관계와 그 관계를 선언하는 ~~문법을~~ ~~나눠서~~ ~~생각하게~~ 된다. Haskell 문법은 그 관계를 적는 한 방식이고, 표기가 달라도 같은 데이터 구성을 표현할 수 있다.

가능한 값들의 관계와 그 관계를 선언하는 문법은 구분해서 볼 수 있다. Haskell 문법은 그 관계를 적는 한 방식이고, 표기가 달라도 같은 데이터 구성을 표현할 수 있다.

본문 블록 21 → 21

~~이렇게~~ 타입 ~~표기로 고르는 것은 상태의 표현 공간, 곧~~ 어떤 값이 ~~가능한가다~~. 어떤 사건 뒤에 다음 상태로 갈 수 ~~있는가는~~ 다른 ~~질문이고,~~ 그 전이 ~~규칙은 함수와 모듈 경계에서~~ 표현한다.

타입 표기는 어떤 값을 표현할지 정한다. 어떤 사건 뒤에 다음 상태로 갈 수 있는지는 함수와 모듈 경계의 전이 규칙으로 표현한다.

각주 7

Microsoft, 「~~Announcing~~ TypeScript 2.0」, TypeScript 블로그, 2016-09-22. [발표 글](https://devblogs.microsoft.com/typescript/announcing-typescript-2-0/).

Microsoft, 「TypeScript 2.0 is now available!」, TypeScript 블로그, 2016-09-22. [발표 글](https://devblogs.microsoft.com/typescript/announcing-typescript-2-0/).