Zeta611 / type-safe-programming Public

Notifications You must be signed in to change notification settings
Fork 0
Star 4

SLConf 2024: 타입으로 안전하게 프로그래밍하기

4 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
img		img
.gitignore		.gitignore
.latexmkrc		.latexmkrc
README.md		README.md
type-safe-programming.pdf		type-safe-programming.pdf
type-safe-programming.tex		type-safe-programming.tex

Repository files navigation

타입으로 안전하게 프로그래밍하기

SLConf 2024에서 발표한 주제입니다.

목차

타입 시스템이란?
타입 시스템의 장점
1. 안정성
2. 성능 향상
3. 관계 표현
타입 시스템과 다형성
1. 간단한 타입 시스템
2. 매개변수 다형성
3. 아래 타입 다형성
4. 타입 적응 다형성
타입 시스템 구멍내기
타입 시스템 100% 활용하기
1. 곱의 합 타입
2. 더 상세한 곱의 합 타입
3. 만능 상자
4. 러스트의 아핀 타입으로 자원 안전하게
5. (모나드와 효과 시스템으로 부수 효과 안전하게)

조판하기

latexmk