7건의 항목
Type Constructor 새로운 데이터 타입을 만드는 틀. A라는 진짜 데이터가 있을 때, 이 값을 유지하면서 감쌀 수 있는 논리적 구조. 감싼다는 측면에서 바라보았을 때 이 정의에 부합하는 녀석들은 이런 것들이 있을 수 있겠다.
Functor란 무엇인가? Functor Functor: 임의의 타입 T, U가 주어졌을 때, 연산 lift이 정의되는 01.
변수, 클래스, 구조체 등을 선언할 때, 해당 객체 내부에서 사용하는 타입을 고정하지 않고 임의의 타입을 사용할 수 있도록 하는 것 실제 사용하는 시점에 사용하는 타입을 결정한다.
Iterator 반복자는 33. Generic 함수이다. 즉, 일반적인 프로그래밍을 가능하게 하기위해 만들어진 전역함수이다. 우리는 배열을 다루기 위해 vector, array, list와 같은 것들을 사용했다.
Generic의 경우 코드 중복을 줄일 수 있는 좋은 기능이다. 잘 다뤄둔다면 중급(?) 이상의 개발자가 되는데 큰 도움을 줄 것이다.
Semantics Type typealias Kilograms = Double struct Package { var weight: Kilograms } Combine Protocols protocol ReadAccess {} protocol WriteAccess {} typealias AdminAccess = ReadAccess & WriteAccess struct Teacher: AdminAccess {} Int, Double은 어디서든 사용되는 타입이다.
generic을 보면서 몇몇 곳에서 where 키워드를 사용하는 것을 보았다. 한번 정리해야 할 것 같아 공식 문서을 읽어본다. Generic Where Clauses generic에도 where 조항을 넣어 받는 타입에 세부 제약을 추가할 수 있다.