[타입은 어떻게 증명이 되는가 — TypeScript가 숨기고 있는 Curry-Howard 대응

TypeScript의 타입 시스템을 Curry-Howard 대응 관점에서 해석하며, 타입 체크 과정이 논리적 증명 과정과 유사하다는 점을 설명하는 글입니다.

https://news.hada.io/topic?id=26119

#typescript #curryhoward #typesystem #programmingtheory #typechecking

Andy Balaam posts in-depth tutorial videos on programming in Rust and other languages. There are also lectures on programming theory posted with permission of the lecturers. You can follow at:

➡️ @[email protected]

If the videos haven't federated to your server yet, you can browse them all at https://diode.zone/a/andybalaam/videos

You can also follow their general non-video account at @andybalaam

#FeaturedPeerTube #Programming #Coding #Computing #Rust #RustLang #ProgrammingTheory #PeerTube #PeerTubers #PeerTuber