위키 백과 는 말합니다 : 완전한 격자는 수학 및 컴퓨터 과학의 많은 응용 분야에 나타납니다 계산에 사용되는 표준 부울 대수가 완전한 격자라는 사실을 언급하고 있습니까? 부울 논리 대신에 추상적 인 수준의 격자에서 작업하면 얻을 수있는 것이 있습니까? 구글 검색은 주제에 대해 많은 것을 찾지 못하지만 아마도 잘못된 키워드를 사용하고있을 것입니다.
직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …