AI가 작성한 코드가 정해 둔 규칙을 어기지 않았는지 증명으로 검사하는 프로그래밍 언어 Bend의 두 번째 버전이다. 앱의 규칙을 법칙(law)으로 선언하면, 코드를 수정할 때마다 그 법칙이 지켜진다는 증명을 요구하고 컴파일러가 이를 검사한다.
- 규칙을 결정론으로 끌어오려는 시도가 인상깊다.
AI가 작성한 코드가 정해 둔 규칙을 어기지 않았는지 증명으로 검사하는 프로그래밍 언어 Bend의 두 번째 버전이다. 앱의 규칙을 법칙(law)으로 선언하면, 코드를 수정할 때마다 그 법칙이 지켜진다는 증명을 요구하고 컴파일러가 이를 검사한다.