Skip to content

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

Notifications You must be signed in to change notification settings

Zeta611/type-safe-programming

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

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

목차

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

조판하기

latexmk