SLConf 2024에서 발표한 주제입니다.
- 타입 시스템이란?
- 타입 시스템의 장점
- 안정성
- 성능 향상
- 관계 표현
- 타입 시스템과 다형성
- 간단한 타입 시스템
- 매개변수 다형성
- 아래 타입 다형성
- 타입 적응 다형성
- 타입 시스템 구멍내기
- 타입 시스템 100% 활용하기
- 곱의 합 타입
- 더 상세한 곱의 합 타입
- 만능 상자
- 러스트의 아핀 타입으로 자원 안전하게
- (모나드와 효과 시스템으로 부수 효과 안전하게)
latexmk
SLConf 2024: 타입으로 안전하게 프로그래밍하기
SLConf 2024에서 발표한 주제입니다.
latexmk
SLConf 2024: 타입으로 안전하게 프로그래밍하기