«pl.programming-languages» 태그된 질문

특히 의미에 중점을 둔 프로그래밍 언어.

7
TCS에서 범주 이론의 견고한 응용 프로그램?
나는 몇 가지 범주 이론을 배우고 있습니다. 그것은 사물을 보는 다른 방법입니다. (이론을 보지 못한 사람들에 대한 매우 대략적인 요약 : 범주 이론은 객체 간의 기능적 관계 측면에서만 모든 종류의 수학적 행동을 표현하는 방법을 제공합니다. 예를 들어, 두 세트의 데카르트 곱과 같은 것은 완전히 어떤 요소가 집합의 구성원이 아닌 다른 …

7
TCS에서 어떤 흥미로운 이론이 선택의 공리에 의존 하는가? (또는 대안으로 결정의 공리?)
수학자들은 때때로 선택의 공리 (AC)와 결정의 공리 (AD)에 대해 걱정합니다. 선택 공리는 : 모든 컬렉션을 감안 비어 있지 않은 세트,이 함수 F 설정된 소정 그 S 에서 C 의 부재 반환 S를 .CC{\cal C}fffSSSCC{\cal C}SSS 결정의 공리 : 를 무한히 긴 비트 열의 집합으로 하자 . Alice와 Bob은 Alice가 첫 …

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

7
의학적 의미론은 무엇입니까?
(A)에 다른 스레드 , 안드레이 바우어는 denotational 의미로 정의 : 프로그램의 의미는 그 부분의 의미의 함수입니다. 이 정의에 대해 나를 귀찮게하는 것은 그것이 일반적으로 비 의미 적 의미론, 즉 구조적 작동 의미론 으로 생각되는 것에서 일반적 의미 적 의미론 으로 간주되는 것을 단일화하지 않는 것 입니다. 보다 정확하게, 여기서 중요한 …


7
아마도 올바른 프로그램에 대해 무엇을 알고 있습니까?
점점 더 복잡 해지는 컴퓨터 프로그램과 점점 더 사회에서 컴퓨터의 중요성이 높아짐에 따라 코드가 올바르게 작동한다는 공식적인 증거를 제공해야하는 프로그래밍 언어를 집단적으로 사용하지 않는 이유가 궁금합니다. 이 용어는 '인증 ​​컴파일러'라고 생각합니다 ( 여기서 찾았습니다 ). 코드를 작성해야 할뿐만 아니라 코드의 사양을 명시하고 코드가 코드를 준수한다는 것을 입증하는 프로그래밍 언어를 컴파일하는 …

6
정규 표현식은 그렇지 않습니다
컴퓨터 과학에 대한 경험이있는 사람에게도 정규 표현이 무엇인지 물어 보면 유한 상태 오토 마톤에 도달해야한다는 제약을 넘어 설 가능성이 높습니다. 예를 들어“정규 표현식” /^1?$|^(11+?)\1+$/ 유명한 Perl 성격 자인 Abigail (및 2002 년 이후 Perl의 테스트 스위트의 일부 )은 복합 단항 수만 허용하지만 Peter Linz의 제 3 판 공식 언어 및 …

8
고차 알고리즘
잘 알려진 알고리즘의 대부분은 입력 및 출력이 "일반"데이터라는 점에서 1 차입니다. 일부는 사소한 방식으로 정렬, 해시 테이블 또는 맵 및 폴드 함수와 같이 2 차입니다. 함수에 의해 매개 변수화되지만 다른 입력 데이터에서 호출하지 않는 한 실제로 흥미로운 것은 없습니다. 일부는 2 차이지만 다소 흥미 롭습니다. monoid로 매개 변수화 된 핑거 …

3
타입 클래스와 객체 인터페이스
타입 클래스를 이해하지 못한다고 생각합니다. 나는 어딘가에서 타입 클래스를 "인터페이스"(OO에서 나온)라고 생각하는 타입이 구현하는 것이 잘못되고 오도된다는 것을 읽었습니다. 문제는, 나는 그것들을 다른 것으로보고 그것이 어떻게 잘못되었는지 보는 데 문제가 있다는 것입니다. 예를 들어 유형 클래스가있는 경우 (Haskell 구문) class Functor f where fmap :: (a -> b) -> f …

4
프로그래밍 언어 이론 연구 및 공개 과제
같은 몇 가지 일반적인 토론의 정신 이 하나, 나는에 의견을 수집 할 목적으로이 스레드를 개방하고있어 프로그래밍 언어에 대한 연구에서 오픈 도전과 뜨거운 주제는 무엇인지 . 이 논의가 미래의 프로그래밍 언어 연구에 관한 의견을 표명하기를 바랍니다. 이런 종류의 토론은 나 자신처럼 PL에 관심이있는 신입생 연구원과 이미 다소 참여한 사람들에게 도움이 될 …

5
효율적인 계산을위한 프로그래밍 언어
모든 입력을 멈추고 다른 입력을 멈추는 모든 기계를 허용하는 프로그래밍 언어를 작성하는 것은 불가능합니다. 그러나 표준 복잡성 클래스에 대해 이러한 프로그래밍 언어를 쉽게 정의 할 수 있습니다. 특히 모든 효율적인 계산과 효율적인 계산 만 표현할 수있는 언어를 정의 할 수 있습니다. 예를 들어, 와 같은 경우 : 좋아하는 프로그래밍 언어를 …

4
계약과 의존 타이핑의 관계
종속 유형 및 프로그래밍 계약에 대한 기사를 읽었습니다. 내가 읽은 대부분의 것에서 계약은 동적으로 제약 조건을 확인하고 종속 유형을 정적으로 확인하는 것으로 보입니다. 부분적으로 정적으로 계약을 체결 할 수 있다고 생각한 논문이 있습니다. 하이브리드 타입 체킹 (C. Flanagan-2006) 하이브리드 유형 및 계약 통합 (J. Gronski, C. Flanagan-2007) 이로 인해 상당한 …

7
프로그래밍 언어 의미론에 관한 책
나는 Nielson & Nielson의 " Semantics with Applications "를 읽었으며 , 그 주제를 정말 좋아합니다. 프로그래밍 언어 의미에 대한 책을 하나 더 갖고 싶지만 실제로는 하나만 얻을 수 있습니다. 나는 한 번 봐했다 Turbak / 포드의 책을,하지만 너무 장황한이다; 나는 Winskel이 괜찮을 것이라고 생각했지만 그것에 접근 할 수 없었습니다 (대학 …


4
논리적 관계와 시뮬레이션의 차이점은 무엇입니까?
프로그램 동등성을 입증하는 방법을 연구하는 초보자입니다. 두 프로그램이 동등하다는 것을 증명하기 위해 논리 관계 또는 시뮬레이션을 정의하는 것에 대한 몇 가지 논문을 읽었습니다. 그러나 나는이 두 가지 기술에 대해 상당히 혼란 스럽습니다. 나는 논리 관계가 유도 적으로 정의되는 반면 시뮬레이션은 일치를 기반으로한다는 것을 알고 있습니다. 왜 그런 식으로 정의됩니까? 그들의 …

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.