▲tsboard 3달전 | parent | ★ favorite | on: 타입은 어떻게 증명이 되는가 — TypeScript 타입 시스템과 Curry–Howard 대응(evan-moon.github.io)인상적인 내용이었습니다. 이런 관점으로 볼 수 있다는 걸 처음 알게 되었네요. 동료분들에게도 한 번씩 보시라고 회사에서도 블로그 링크 공유했습니다. 감사합니다!
인상적인 내용이었습니다. 이런 관점으로 볼 수 있다는 걸 처음 알게 되었네요. 동료분들에게도 한 번씩 보시라고 회사에서도 블로그 링크 공유했습니다. 감사합니다!