{"id":22480011,"url":"https://github.com/zeta611/type-safe-programming","last_synced_at":"2025-06-21T04:42:32.816Z","repository":{"id":216936699,"uuid":"742738559","full_name":"Zeta611/type-safe-programming","owner":"Zeta611","description":"SLConf 2024: 타입으로 안전하게 프로그래밍하기","archived":false,"fork":false,"pushed_at":"2024-01-14T03:36:31.000Z","size":7332,"stargazers_count":4,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-04-09T03:12:19.002Z","etag":null,"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"],"latest_commit_sha":null,"homepage":"","language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Zeta611.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2024-01-13T08:05:47.000Z","updated_at":"2024-01-16T22:55:46.000Z","dependencies_parsed_at":"2024-01-13T19:24:58.222Z","dependency_job_id":"c302963e-8d11-4593-b52c-8f6d82d99549","html_url":"https://github.com/Zeta611/type-safe-programming","commit_stats":null,"previous_names":["zeta611/type-safe-programming"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/Zeta611/type-safe-programming","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Zeta611%2Ftype-safe-programming","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Zeta611%2Ftype-safe-programming/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Zeta611%2Ftype-safe-programming/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Zeta611%2Ftype-safe-programming/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Zeta611","download_url":"https://codeload.github.com/Zeta611/type-safe-programming/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Zeta611%2Ftype-safe-programming/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":261064625,"owners_count":23104729,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["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"],"created_at":"2024-12-06T15:19:02.803Z","updated_at":"2025-06-21T04:42:27.798Z","avatar_url":"https://github.com/Zeta611.png","language":"TeX","readme":"# 타입으로 안전하게 프로그래밍하기\n\nSLConf 2024에서 발표한 주제입니다.\n\n## 목차\n\n1. 타입 시스템이란?\n2. 타입 시스템의 장점\n   1. 안정성\n   2. 성능 향상\n   3. 관계 표현\n3. 타입 시스템과 다형성\n   1. 간단한 타입 시스템\n   2. 매개변수 다형성\n   3. 아래 타입 다형성\n   4. 타입 적응 다형성\n4. 타입 시스템 구멍내기\n5. 타입 시스템 100% 활용하기\n   1. 곱의 합 타입\n   2. 더 상세한 곱의 합 타입\n   3. 만능 상자\n   4. 러스트의 아핀 타입으로 자원 안전하게\n   5. (모나드와 효과 시스템으로 부수 효과 안전하게)\n\n## 조판하기\n\n```sh\nlatexmk\n```\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fzeta611%2Ftype-safe-programming","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fzeta611%2Ftype-safe-programming","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fzeta611%2Ftype-safe-programming/lists"}