 | 람다 애니메이터감속 전략 실험을위한 Java 기반 도구 |
| 지금 다운로드 | |
람다 애니메이터 순위 및 요약
광고
람다 애니메이터 태그
람다 애니메이터 설명
Lambda Animator는 Lambda Calculus의 대체 감소 전략을 입증하고 실험하는 데 사용할 수있는 액세스 가능하고 편리한 응용 프로그램으로 설계되었습니다. 열망 언어는 기능 응용 프로그램 이전의 인수를 줄입니다. 게으른 언어는 기능 응용 프로그램 이후에 필요한 경우 인수를 줄입니다. 감축은 또한 기능 본문 내에서 수행 될 수 있습니다. 함수 내에서 감소를 수행하면 전문 효과가있을 수 있습니다. 함수가 한번 이상인가되면 함수 내에서 수행 된 모든 감소가 기능 본문이 여러 번 대신 복사되기까지 한 번 수행됩니다. 이러한 전문 감축은 열심히 또는 끔찍하게 수행 될 수 있습니다. 전문 효과는 해석적인 오버 헤드를 제거하기에 충분합니다.
람다 애니메이터 관련 소프트웨어
