[⚠애니짤] 트랜스파일러같은거 같은거 무결성은 어케보증함

[익명(211.36)]

프로그래밍 언어론보면 수학 좀 스까던데

수학적 증명이라도 하나

[기괴공학도(mecheng98)]

Coq 같은 증명보조기로 하지 않나요 ㅇㅅㅇ?

[익명(211.36)]

다 방법이잇나보네용, 잘 몰라서 물어본거임

[나니킷(nanikit)]

보통은 수작업 아닌가?

[익명(211.36)]

테스트 존나돌린다는 뜻?

[나니킷(nanikit)]

무결성을 증명하진 않고 실사용에 무리만 없으면 되는 거임. 최근에 타스에서 awaited T를 도입해서 soundness 이슈 해결하려했다가 커밋하고 하루도 안 돼서 리버트했음.

[익명(211.36)]

에엣...

[나니킷(nanikit)]

https://github.com/microsoft/TypeScript/pull/37610
하루는 아니고 3일 걸렸네. 암튼 이론쪽은 모르겠지만 이런 것 때문에 beta가 있지.

[익명(211.36)]

뭔가 좋은 방법론이 있는줄알았삼

[다믜(damhiya)]

시긴이 남아돌면 증명 하겠죠