3
이전에는 Julien Signoles가 ocamldefun으로 프로그램을 만들었습니다.이 프로그램은 Functor로 OCaml 소스 코드를 가져 와서 Functor없이 해당 프로그램을 얻었습니다. 이것은 최적화, 분석 및 기타 목적에 유용합니다.Defamctorizer for OCaml
ocamldefun은 더 이상 유지 관리되지 않는 것으로 보입니다. 동일한 도구가 있습니까?
나는 그와 같이 뭔가를 다시 구현하는 것이 얼마나 많은 작업인지는 잘 모르겠다. 나는 F #의 위에 Coq 프로그램을 실행하기 때문에 대단히 흥미 진진한 관점이 아니기 때문에 동기 부여가 무엇인지, 궁금해. – gasche
필자는 F #에서 Coq 프로그램을 실제로 실행하고자하는 좋은 이유가 있습니다. :-) –