«programming-languages» 태그된 질문

구현이 존재하지 않는 프로그래밍 언어를 이론적으로 지정할 수 있습니까? 프로그래밍 언어는 기능을 정의하는 방법입니다. 구현은 해당 입력의 프로그램에 해당하는 함수의 출력에 대해 주어진 입력에서 해당 언어로 지정된 프로그램을 실행하는 방법을 의미합니다. 그러한 언어의 최소 요구 사항은 무엇입니까?

11 formal-languages  computability  programming-languages 

C ++ 배경에서 온 이유는 왜 일급 시민으로서 유형 / 유형 표현이 필요한지 이해하지 못합니까? 이 기능을 지원하는 유일한 언어는 Aldor입니다. 누구든지 일급 시민으로서 유형에 관한 문헌이 있거나 그것이 유용한 이유를 알고 있습니까?

10 programming-languages  language-design  types 

함수 또는 계산을 위해 다음과 같은 용어가 있습니다. 결정론 – 결정론 순수 – 순도 이제 부작용이없는 올바른 해당 명사는 무엇 입니까? "부작용 자유"? "부작용의 자유"? "비 효과적"?

10 terminology  programming-languages 

나는 내년 가을 학사 컴퓨터 과학 과정을 시작하지만 기능 프로그래밍의 맥락에서 λ- 미적분학을 실제로 이해할 수는 없습니다. 나는 이것을 완전히 잘못 해석 할 수도 있지만 , 스탠포드 철학 백과 사전 의이 정의에 근거하면 , 이것은 함수에 대한 또 다른 표기 일뿐입니다. 이 경우 입니다 만, 왜 알고리즘의 실행 시간을 계산하는 …

10 programming-languages  lambda-calculus 

익명 (람다) 함수 란 무엇입니까? 함수형 프로그래밍 언어에서 익명 함수의 공식적인 정의는 무엇입니까? 간단한 용어로, scheme / lisp에서 프로그래밍 할 때 익명 (lambda) 함수는 식별자에 바인딩되지 않은 함수라고 말합니다. 람다 함수에 대해 공식적으로 말할 수있는 모든 것입니까? 이 간단한 정의에 더 많은 세부 사항이 추가 될 수 있다고 생각합니다. 정교하게 …

10 logic  programming-languages  lambda-calculus  functional-programming 

f 가 계산 가능한 형용사 함수 인 경우에만 함수 구현 (또는 표현) 할 수있는 프로그래밍 언어 (또는 논리)가 있습니까?에프: N → Nf:N→Nf:\mathbb{N}\to \mathbb{N}에프ff

10 reference-request  programming-languages  logic  reversible-computing 

궁금해. OCaml 에서이 데이터 유형을 연구하고 있습니다 . type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree 명시 적으로 형식화 된 재귀 함수 (최근에 추가 된 기능)를 사용하여 조작 할 수 있습니다. 예: let rec …

10 logic  programming-languages  coq  inductive-datatypes 

OO와 함수형 프로그래밍의 차이점을 설명하는 기사를 읽는 동안 함수 포인터를 발견했습니다. 컴퓨터 과학 학위 (2003 년)를 마치고 얼마 동안 지났기 때문에 메모리를 새로 고칠 포인터를 찾았습니다. 포인터는 메모리 주소에 대한 참조를 포함하는 변수입니다. 그러한 데이터가 존재하는 경우 해당 메모리 주소에 포함 된 데이터를 가리키는 것으로 간주 할 수 있습니다. 또는 …

10 terminology  programming-languages 

저는 컴퓨터 과학 학생입니다. 고유 한 프로그래밍 언어 (명령이 거의없는 기본 언어)를 만들고 싶습니다. 구문 분석기를 수행하는 방법을 알고 있습니다. 이미 Perl에서 수행했습니다. 기사에서 컴파일러에 대해 읽은 것은 컴파일러 자체입니다. 예를 들어 C 컴파일러는 C로 작성되었습니다. 어떻게 가능합니까? 나는 내 자신의 언어를 만들 수 있지만 어떻게 그것을 실행할 수 있는지 …

10 programming-languages  compilers 

일반적으로 while 루프의 구조적 작동 의미 론적 표현에서 프로그램 상태는 변경되지 않습니다. (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) 나에게 이것은 상태가 변하지 않으면 (즉, 메모리 상태가 동일하게 유지되는 경우) 직관적이지 않습니다. BBB …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

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

9 data-structures  programming-languages  continuations 

에서 프로그래밍 언어의 개념 , 존 미첼은 정적 타입 검사 때문에 중단 문제의 (지나치게 엄격한) 반드시 보수적이라고 씁니다. 그는 예를 들면 다음과 같습니다. if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) 누군가 실제적으로 우려 할만한 미해결 된 답변을 제공 할 수 있습니까? Java는 다음과 같은 경우 동적으로 확인 된 캐스트를 허용합니다. if …

9 programming-languages  compilers  type-checking 

저자는 프로그래밍 언어에 대한 실용 기초의 1 장 에서 추상 구문 트리가 정렬 과 연관되어 있다고 언급했다 . 직관적으로 정렬은 유형과 비슷하지만 정확한 정의가 있는지 알고 싶습니다. 참고 자료도 있으면 기쁠 것입니다.

9 terminology  programming-languages  semantics 

나는에 그렇게 생각 피터슨의 알고리즘 에 대한 상호 배제 프로세스가 먼저 임계 영역을 입력 할 경우 사망하거나, 다른 프로세스가 루프 영원히의 중요한 섹션을 시작하기 위해 대기하는 것 취소했다. 그림에서, 프로세스 1이 중지되면 프로세스 1 뒤의 나머지 프로세스는 프로세스 1의 위치까지 실행 한 다음 루프됩니다. 중요 섹션에 도달 한 프로세스가 종료되기 …

9 programming-languages  concurrency  mutual-exclusion