홍재민
카이스트전산학부석박사통합과정소속으로,프로그래밍언어기술을활용해소프트웨어의여러문제를해결하는연구를진행중이다.현재주요연구주제는C코드를올바르게러스트로자동번역하는것이다.학부생시절부터타입에관심을가지고연구를진행했고,포트리스라는언어의타입에관해쓴논문이프로그래밍언어분야최고의국제학술대회에채택되기도했다.프로그래밍언어교과목조교로일하면서만든교재가개발자커뮤니티에서화제가된것을계기로,타입의유용함을더재미있게풀어내고자이책을쓰게되었다.
추천사시작하며1장타입검사훑어보기1.1타입검사의정의와필요성1.2정적타입언어1.3타입검사의원리1.4타입검사결과의활용1.5타입추론1.6더세밀한타입1.7정적타입언어의장단점1.8다형성2장서브타입에의한다형성2.1객체와서브타입2.2집합론적타입2.3함수와서브타입3장매개변수에의한다형성3.1제네릭함수3.2제네릭타입3.3무엇이든타입3.4무엇인가타입4장두다형성의만남4.1제네릭클래스와상속4.2타입매개변수제한4.3가변성5장오버로딩에의한다형성5.1오버로딩5.2메서드오버라이딩5.3타입클래스5.4카인드마치며감사의글찾아보기
이책에서배우는내용*타입검사와추론*서브타입에의한다형성*매개변수에의한다형성*오버로딩에의한다형성