[Haskell'26] A Cost-Aware Probability Monad for Liquid Haskell
ACM SIGPLAN · 30:42 · Watch on YouTube
이 토크는 LiquidHaskell 정제 타입을 사용하여 확률 알고리즘을 Haskell에서 직접 검증하는 라이브러리를 제시합니다. 기댓값 비용을 자동으로 추적하는 확률 모나드이므로 함수형 정확성과 기댓값 비용 경계를 컴파일 타임에 검증할 수 있으며, 대부분 손으로 작성한 증명이 거의 없거나 전혀 필요 없습니다. 발표자 Matias는 오스트리아에서 원격으로 발표했습니다. 이 작업은 Geo...