# 『프로그래밍 언어 속 타입』 책 소개

> Clean Markdown view of GeekNews topic #6572. Use the original source for factual precision when an external source URL is present.

## Metadata

- GeekNews HTML: [https://news.hada.io/topic?id=6572](https://news.hada.io/topic?id=6572)
- GeekNews Markdown: [https://news.hada.io/topic/6572.md](https://news.hada.io/topic/6572.md)
- Type: news
- Author: [lifthrasiir](https://news.hada.io/@lifthrasiir)
- Published: 2022-05-18T12:02:35+09:00
- Updated: 2022-05-18T12:02:35+09:00
- Original source: [blog.hjaem.info](https://blog.hjaem.info/2)
- Points: 33
- Comments: 3

## Topic Body

인사이트 출판사에서 프로그래밍 경험이 어느 정도 있는 사람들을 중심으로 타입 이론을 개념적으로 다루는 책을 기획하고 있는데, 그 초고가 공개되었다고 합니다(초고라는 건 편집자 분께 여쭤 봐서 알게 되었습니다).  
  
한국어로 프로그래밍 언어 이론 관련된 책이 나오는 것도 흔치 않은 일이고, 책 전체 내용이 초고긴 해도 통째로 공개되는 일 자체가 흔치 않은 것 같아서 소개드리게 되었습니다. 한국어는 아니긴 하지만 같은 저자가 공저한 [Introduction to Programming Languages](https://hjaem.info/itpl)라는 교과서도 있습니다.

## Comments



### Comment 10059

- Author: alstjr7375
- Created: 2022-05-19T09:21:15+09:00
- Points: 2

일반적이지는 않는데, 최근 증명용 언어들에 도입되는 타입들도 재밌더라구요.  
  
Idris 2: Quantitative Type  
https://arxiv.org/abs/2104.00480  
  
Cubical agda  
https://dl.acm.org/doi/10.1145/3341691

### Comment 10050

- Author: kleinstein
- Created: 2022-05-18T16:28:56+09:00
- Points: 1

실제 현장에서 일하는 분들에게 바로 써먹는데 도움이 될만한 책이라기 보다는  
확실히 좀 더 이론과 원리에 포커스가 있어 보입니다.  
이런 책도 틈틈히 봐줘야 되는데.. ㅜ.ㅜ

### Comment 10049

- Author: dotoritos
- Created: 2022-05-18T14:26:44+09:00
- Points: 1

실례가 되더라도 치킨 한마리만 사주십셔