자유 모나드
함수형 프로그래밍에서 프로그램의 구조(명령)와 실행(해석)을 분리하기 위한 디자인 패턴이다. 에이전트의 계획을 데이터 구조로 표현하고 나중에 안전하게 실행하는 데 활용된다.
