«programming-languages» 태그된 질문

프로그래밍 언어의 설계, 구현 및 분석과 관련된 질문 이 사이트에서 주제가 아닌 프로그래밍 방법에 대한 질문은 아닙니다.

6
프로그래밍 언어, 정규 표현식 및 공식 언어의 관계는 무엇입니까
나는이 질문에 대한 답을 인터넷을 둘러 보았고 모두가 나를 제외하고 대답을 암시 적으로 알고있는 것처럼 보입니다. 아마도 이것은 관심있는 유일한 사람들이 주제에 대한 고등 교육을받은 사람들이기 때문일 것입니다. 반면에 나는 고등학교 과제를 위해 깊은 곳에서 던져졌습니다. 제 질문은 프로그래밍 언어가 공식 언어와 얼마나 정확하게 관련되어 있습니까? 내가 읽는 모든 곳에서 …
3
단계적 기능 (개념적으로)이란 무엇입니까?
최근의 CACM 기사 [1]에서, 저자는 단계별 기능에 대한 구현을 제시합니다 . 그들은 잘 알려진 것처럼이 용어를 사용하며, 어떤 언급도 명백한 소개처럼 보이지 않습니다. 그들은 짧은 설명을 제공합니다 (강조 광산과 참조 번호가 변경되었습니다. 원래는 22입니다) 프로그램 생성과 관련하여 Taha and Sheard [2]에 의해 확립 된 다단계 프로그래밍 (MSP, 짧게 스테이징) 은 …
3
SML의 함수와 범주 이론의 관계는 무엇입니까?
이 답변 에서 Andrej Bauer의 진술과 같은 생각을 따라 Haskell 커뮤니티는 카테고리 이론에서 영감을 얻은 여러 기술을 개발했으며, 그 중 모나드 는 가장 잘 알려져 있지만 모나드 와 혼동해서는 안됩니다 . 사이의 관계를 무엇입니까 펑 SML과 펑 분류 이론은? Haskell 또는 OCaml과 같은 다른 언어의 펑터에 대한 세부 정보를 모르기 …
2
프로그래밍 언어가 일반적인 재귀 함수를 기본으로 사용합니까?
이것은 순진하고 따라서 잘못된 형식의 질문이므로 미리 사과드립니다! 저의 견해는 튜링 머신이 절차 적 / 제 국적 프로그래밍 언어의 계산 기반으로 간주 될 수 있다는 것입니다. 마찬가지로 람다 미적분은 함수형 프로그래밍 언어의 기초입니다. 나는 최근 교회 튜링 논문이 세 번째 계산 모델 인 일반 재귀 함수 와 상호 동등 함을 …
8
모든 표현이 이해되는 프로그래밍 언어
권장 사항에 따라 Stack Overflow 에서 이것을 다시 게시하고 있습니다 . 최근에 나는 다음과 같은 문제에 대해 생각하고있다. 표준 "Hello world!"의 코드를 고려하십시오. 프로그램: main() { printf("Hello World"); } 이제이 코드의 거의 모든 변경은 코드를 완전히 쓸모 없게 만들며, 실제로 거의 모든 변경으로 인해 코드가 컴파일되지 않습니다. 예를 들면 다음과 …
10
모든 컴퓨터에 대한 범용 어셈블리 언어가 가능합니까?
어셈블리 언어에 대해 몇 가지 질문을하고 싶습니다. 내 이해는 기계 언어에 매우 가깝기 때문에 더 빠르고 효율적입니다. 컴퓨터 아키텍처가 다르기 때문에 어셈블리에서 다른 아키텍처에 대해 다른 코드를 작성해야합니까? 그렇다면 왜 어셈블리가 아닌가? 한 번만 작성하십시오-모든 유형의 언어를 실행 하시겠습니까? 한 번만 쓰고 다른 구성을 가진 거의 모든 컴퓨터에서 실행할 수 …
4
가비지 수집기는 어떻게 스택 오버플로를 피합니까?
그래서 가비지 컬렉터가 어떻게 작동하는지 생각하고 흥미로운 문제를 생각했습니다. 가비지 수집기는 모든 구조를 동일한 방식으로 통과해야 할 것입니다. 그들은 연결된 목록이나 균형 잡힌 나무 등을 가로 지르는 날씨를 알 수 없습니다. 또한 검색시 너무 많은 메모리를 사용할 수 없습니다. 가능한 한 가지 방법과 모든 구조를 통과한다고 생각할 수있는 유일한 방법은 …
3
유형 시스템 분류 (강 / 약, 동적 / 정적)
간단히 말해서 : 유형 체계는 학문적 맥락에서 어떻게 분류 되는가; 특히, 다른 종류의 시스템 유형을 구별 할 수있는 평판 좋은 출처를 어디에서 찾을 수 있습니까? 어떤 의미 에서이 질문의 어려움은 대답을 찾을 수 없다는 것이 아니라 너무 많이 찾을 수 있다는 것입니다. 배경은 Haskell 위키에서 타이핑 에 관한 기사를 개선하려고 …
1
튜링 완성을 위해 do-while 루프가 충분합니까?
필자는 명령형 프로그래밍 언어에서 언어 튜링을 완벽하게하기위한 제어 흐름 구조로 while-do 루프가 충분하다는 것을 알고 있습니다 (제어 흐름이 진행되는 한-물론 우리는 무제한 메모리와 특정 연산자가 필요합니다 ...) . 내 질문의 요지는 : do-while 루프가 while-do 루프와 동일한 계산 능력을 가지고 있습니까? 다시 말해, 명령어를 완전히 건너 뛸 수없는 경우 언어가 …
5
기능 언어 튜링이 완벽한 이유는 무엇입니까?
아마도 주제에 대한 나의 제한된 이해가 잘못되었지만 이것이 내가 지금까지 이해 한 것입니다. 함수형 프로그래밍은 Alonzo Church가 공식화 한 Lambda Calculus를 기반으로합니다. 명령형 프로그래밍은 교회 학생 인 Alan Turing이 만든 Turing 머신 모델을 기반으로합니다. 람다 미적분은 튜링 머신만큼 강력하고 성능이 뛰어나 계산 능력과 동등합니다. 함수형 프로그래밍이 Turing 머신이 아닌 Lambda …
7
유닉스 / C의 불일치와 불완전 성의 예는 무엇입니까?
리차드 가브리엘 (Richard Gabriel)의 유명한 에세이 The Rise of Worse는 더 낫다 . 그는 Unix가 인터페이스의 단순성보다 구현의 단순성을 우선시한다고 주장하기 위해 "PC 실패자 문제"( Josh Haberman의 다른 곳에서 논의) 의 예를 제시합니다 . 내가 생각해 낸 또 다른 예는 숫자에 대한 다른 접근법입니다. Lisp는 임의로 많은 수 (메모리 크기까지)를 …
3
두 시뮬레이션이 언제 Bisimulation이 아닌가?
레이블이 지정된 전이 시스템 주어지면 , 여기서 는 상태 세트이고 는 레이블 세트이며 는 삼항 관계입니다. 평소와 같이 를 쓰십시오 . 레이블이 지정된 전환 는 상태 p 의 시스템 이 레이블 \ alpha를 사용 하여 상태를 q 로 변경 함을 나타냅니다 . 이는 \ alpha 가 상태 변경을 유발하는 관찰 …
3
'a->'b 유형의 ML 함수
교수님은 OCaml에서 다음과 같은 유형의 함수를 생각해 보라고했습니다. 'a -> 'b 즉, 하나의 인수가 무엇이든 될 수 있고 다른 것을 반환 할 수있는 함수입니다. raise인수를 무시하는 함수를 사용하려고 생각 했습니다. let f x = raise Exit 그러나 교수는 표준 라이브러리에서 어떤 기능을 요구하지 않는 솔루션이 있다고 말했다. 혼란 스럽습니다. 'b처음에없는 …
2
타입 검사 알고리즘
형식 검사 알고리즘에 대한 개인 서지 연구를 시작하고 있으며 몇 가지 팁이 필요합니다. 가장 일반적으로 사용되는 형식 검사 알고리즘, 전략 및 일반적인 기술은 무엇입니까? 특히 C ++, Java 5+, Scala 또는 기타와 같이 널리 알려진 강력한 정적 형식 언어로 구현 된 복잡한 형식 검사 알고리즘에 관심이 있습니다. IE, 기본 언어의 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.