«continuations» 태그된 질문

SSA (Static-Single Assignment) 의 Wikipedia 페이지에 따르면 SSA는 LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey 및 V8과 같이 크고 잘 알려진 프로젝트에서 사용되는 반면 연속 전달 스타일을 사용 하는 프로젝트 페이지는 SSA를 사용합니다. (CPS) 는 비교가 약간 부족합니다. 필자는 CPS가 주로 기능적 언어를 구현하는 컴파일러와 인터프리터에 의해 선호된다는 개념을 가지고 있습니다. …

16 compilers  program-optimization  continuations 

Learning F #에 대한 의견 : 기능 개념을 배우기 위해 다른 프로그래밍 언어를 사용하는 어떤 책을 F #으로 변환 할 수 있습니까? 마카 리우스의 말 : "CPS"접근 방식은 SML / NJ의 성능에 큰 해를 끼쳤습니다. 물리적 평가 모델이 하드웨어에 내장 된 너무 많은 가정을 위반합니다. Isabelle / HOL과 같은 SML의 …

11 compilers  functional-programming  proof-assistants  continuations 

내가 프로그래밍 언어에 대한 구현 기술로보고, 최근 가정 (예를 들어, 자신의 사용 주어진 연속 통과 스타일의 모델에 적합하다 스파게티 스택, 건너 온거야 계획 및 SML / NJ ). 간단히하기 위해이 질문에 대한 단일 스레드 프로세스 만 고려해 봅시다. 그러나 Wikipedia 의 다이어그램 ( 다른 곳 에서도 찾을 수 있음 ) …

9 data-structures  programming-languages  continuations