https://github.com/zeta611/type-safe-programming
SLConf 2024: 타입으로 안전하게 프로그래밍하기
https://github.com/zeta611/type-safe-programming
ad-hoc-polymorphism algebraic-data-types beamer generalized-algebraic-data-type parametric-polymorphism polymorphism rust simply-typed-lambda-calculus subtype-polymorphism system-f type-system universal-type
Last synced: 4 months ago
JSON representation
SLConf 2024: 타입으로 안전하게 프로그래밍하기
- Host: GitHub
- URL: https://github.com/zeta611/type-safe-programming
- Owner: Zeta611
- Created: 2024-01-13T08:05:47.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2024-01-14T03:36:31.000Z (over 1 year ago)
- Last Synced: 2024-12-06T15:18:29.776Z (6 months ago)
- Topics: ad-hoc-polymorphism, algebraic-data-types, beamer, generalized-algebraic-data-type, parametric-polymorphism, polymorphism, rust, simply-typed-lambda-calculus, subtype-polymorphism, system-f, type-system, universal-type
- Language: TeX
- Homepage:
- Size: 6.99 MB
- Stars: 4
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# 타입으로 안전하게 프로그래밍하기
SLConf 2024에서 발표한 주제입니다.
## 목차
1. 타입 시스템이란?
2. 타입 시스템의 장점
1. 안정성
2. 성능 향상
3. 관계 표현
3. 타입 시스템과 다형성
1. 간단한 타입 시스템
2. 매개변수 다형성
3. 아래 타입 다형성
4. 타입 적응 다형성
4. 타입 시스템 구멍내기
5. 타입 시스템 100% 활용하기
1. 곱의 합 타입
2. 더 상세한 곱의 합 타입
3. 만능 상자
4. 러스트의 아핀 타입으로 자원 안전하게
5. (모나드와 효과 시스템으로 부수 효과 안전하게)
## 조판하기
```sh
latexmk
```