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

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

목차

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

조판하기

latexmk