"Can a Programming Language Reason About Systems?" by Marianne Bellotti (Strange Loop 2023)
Strange Loop Conference · 40:47 · Watch on YouTube
*《Kill It With Fire》의 저자 Marianne Bellotti가 자신의 실험적 도메인 특화 언어 Fault를 발표합니다. 그녀의 주장은 형식 검증이 코드의 정확성을 증명하는 것보다 복잡한 레거시 및 분산 시스템에 대한 엔지니어들의 정신 모델을 구축하고 공유하는 데 더 유용하다는 것입니다. 오늘날의 도구는 구문이 수학에 가깝기 때문에 읽기가 어렵습니다. Fault는 C 같은...