«imperative-programming» 태그된 질문

함수형 프로그래밍은 람다 미적분학 및 조합 논리 에 이론적 근거가 있습니다. 통계 컴퓨팅에 관련된 누군가로서, 나는 이러한 개념이 모델링에 매우 유용하다는 것을 알게되었습니다. 명령형 프로그래밍 과 동등한 수학적 기반이 있습니까? 아니면 기계 언어의 실제 하드웨어 응용 프로그램과 그에 따른 FORTRAN의 개발에서 단순히 성장 했습니까?

48 imperative-programming  pl.programming-languages 

아마도 PL에서 선형 유형의 가장 일반적인 적용은 그것들을 사용하여 앨리어싱을 제어하는 ​​언어를 제공하는 것입니다 (즉, 선형 값은 그에 대한 단일 포인터를 갖거나 적게). 그러나이 사용법과 일반적인 선형 논리 선형 모델 사이에는 약간의 불일치가 있습니다. 벤턴 IIRC에 따르면, 직교 폐쇄 범주에 강한 정류 모나드 가있는 경우, 대수 범주는 대칭 단일체 폐쇄 …

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

Anthony Aaby의 시맨틱 에 대한 "프로그래밍 언어 소개" 섹션에서 다음을 관찰합니다. 프로그래밍 언어의 의미론에서 대부분의 작업은 명령형 프로그램이있는 명령형 프로그램을 구성하고 이해하려고 할 때 발생하는 문제에 의해 동기가 부여됩니다. 대입 명령은 변수에 값을 재 할당하기 때문에 대입은 프로그램의 먼 부분에 예기치 않은 영향을 줄 수 있습니다. 이것은 부작용을 허용하는 것이 …

19 imperative-programming  semantics  big-picture 

나는 Simon Peyton Jones의 The Functional Programming Languages의 구현을 읽고 있는데, 나를 놀라게 한 한 가지 진술이 있습니다 (39 페이지). 명령형 언어의 경우보다 훨씬 더 많은 기능적 언어는 의미 론적 차이가 거의없는 서로의 구문 상 변형입니다. 이제이 내용은 1987 년에 작성되었으며이 주제에 대한 나의 생각은 당시에 널리 사용되지 않았거나 인기가없는보다 …

17 functional-programming  semantics  imperative-programming 

명령형 언어의 유형 시스템에 관한 연구 논문에서 필자는 가변 참조가 있지만 복합 연산자, 루프 또는 조건부와 같은 명령형 제어 구조가없는 언어에 대한 솔루션 만 찾습니다. 따라서 http://rust-lang.org 와 같은 부분 형식 유추를 갖는 명령형 언어를 구현할 수있는 방법이 명확하지 않습니다 . 논문은 List of a매개 변수화 된 유형이 Hindley-Milner 유형 …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming