«programming-languages» 태그된 질문

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

3
바이너리 데이터에서 렉서 / 파서를 사용하는 것이 왜 그렇게 잘못 되었습니까?
나는 종종 파서 결합기 와 달리 lexer / parsers 와 함께 일하고 파싱에서 수업을 한 적이없는 사람들을보고 바이너리 데이터 파싱에 대해 묻습니다. 일반적으로 데이터는 이진일뿐만 아니라 상황에 따라 다릅니다. 이것은 기본적으로 한 유형의 토큰, 바이트 토큰 만 갖습니다. 누군가 파싱 수업을 듣지 않고 이론에 기반을 둔 CS 학생에게 충분한 명확성으로 …
3
코드 블록을 정의하기 위해 들여 쓰기를 사용하는 Python과 이전의 프로그래밍 언어 이외의 다른 프로그래밍 언어는 무엇입니까? [닫은]
닫은. 이 질문은 주제에 맞지 않습니다 . 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? Computer Science Stack Exchange에 대한 주제가 되도록 질문을 업데이트하십시오 . 휴일 11개월 전에 . 파이썬 은 들여 쓰기를 사용하여 구문 적 으로 코드 블록을 정의합니다. ( Python Language Reference의 Compound 문 을 참조하십시오). 몇 년 동안 …
1
컴파일 타임 보장에 대해 더 연구하지 않는 이유는 무엇입니까?
나는 컴파일 시간 인 모든 것을 좋아하며 일단 프로그램을 컴파일하면 실행에 대해 많은 보장이 이루어집니다. 일반적으로 정적 유형 시스템 (Haskell, C ++, ...)은 동적 유형 시스템보다 강력한 컴파일 타임 보장을 제공하는 것 같습니다. 내가 이해 한 바에 따르면, Ada는 컴파일 시간 검사와 관련하여 훨씬 더 나아가고 실행 전에 더 많은 …
3
러셀 식 이론과 형식 시스템의 관계
나는 최근 Haskell에서 볼 수 있듯이 Russellian 유형 이론과 유형 시스템 사이에 어떤 종류의 관계가 있음을 깨달았습니다. 실제로 Haskell의 유형 표기법 중 일부는 유형 이론에 선구자가있는 것 같습니다. 그러나 1908 년의 IMHO, Russell의 동기는 Russell의 역설을 피하는 것이었고, 그것이 컴퓨터 과학의 유형 시스템과 어떻게 관련되는지는 확실하지 않습니다. 러셀의 역설은 어떤 …
4
누군가가 상황에 맞는 문법의 단순하지만 장난감이 아닌 예를 줄 수 있습니까?
상황에 맞는 문법을 이해하려고합니다. 언어가 왜 그런지 이해합니다 { w w ∣ w ∈ A※}{ww∣w∈A∗}\{ww \mid w \in A^*\} {엔비엔씨엔∣ n ∈ N }{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} 문맥에 자유롭지는 않지만 비 유형 람다 미적분과 유사한 언어가 문맥에 민감한 지 알고 싶습니다. 나는 단순하지만 장난감이 아닌 예제 (위의 장난감 예제를 …
4
'null'과 'Maybe'의 개념을 모두 갖는 것이 합리적입니까?
C #에서 웹 API 에 대한 클라이언트를 만드는 동안 null두 가지 다른 것을 나타내는 값 과 관련된 문제가 발생 했습니다. 아무 것도 , 예를 들어 할 foo수도 있고 없을 수도 있습니다.bar unknown : 기본적으로 API 응답에는 속성의 하위 집합 만 포함되므로 원하는 추가 속성을 지정해야합니다. 그래서 알 수없는 경우, 해당 …
1
프로그래밍 언어 시맨틱 프로토 타이핑 도구
프로그래밍 언어 시맨틱 및 유형 시스템을 프로토 타이핑하는 도구가 있습니까? 또한 유형 건전성과 같은 표준 속성을 검사 할 수있는 도구가 있습니까? 나는 Alloy에 관한 책을 읽고 있기 때문에 내가 원하는 정확한 기능을 제공하지만 관계형 논리를 사용하여 표현 된 모델에 대해 이것을 요구하고 있습니다. Ott에 대해 알고 있지만 이러한 유형의 "모델 …
4
왜 우리는 속도를 위해 추상화를 교환해야합니까?
고급 언어가 속도 측면에서 하위 언어에 도달하지 못하는 이유는 무엇입니까? 고급 언어의 예로는 Python, Haskell 및 Java가 있습니다. 저수준 언어는 정의하기가 까다로울 수 있지만 C라고 가정 해 봅시다. 인터넷 전체에서 비교를 찾을 수 있으며 은 모두 C가 훨씬 빠르며 때로는 10 배 이상이라는 데 동의합니다.11^1 이러한 성능 차이가 큰 이유는 …
2
프로그램 분석에서 최소 고정 소수점 (lfp)이 중요한 이유
프로그램 분석에서 최소 고정 소수점 (lfp)의 중요성에 대해 큰 그림을 얻으려고합니다. 예를 들어 추상 해석은 lfp의 존재를 사용하는 것 같습니다. 프로그램 분석에 관한 많은 연구 논문들도 고정 점을 찾는 데 중점을두고 있습니다. 보다 구체적으로, 위키피디아 의이 기사 : Knaster-Tarski Theorem 은 lfp가 프로그램 의미론을 정의하는 데 사용된다고 언급합니다. 왜 중요 …
3
추상 데이터 형식과 개체의 차이점은 무엇입니까?
Programmers.SE에 대한 답변은 Cook이 쓴 에세이 ( 객체는 ADT가 아님 )를 말합니다. 객체는 대수식이 아닌 유형 값에 대한 특성 함수처럼 작동합니다. 객체는 유형 추상화가 아닌 절차 적 추상화를 사용합니다. ADT는 일반적으로 프로그램에서 고유 한 구현을 갖습니다. 언어에 모듈이 있으면 ADT를 여러 번 구현할 수 있지만 일반적으로 상호 운용 할 수는 …
5
OOP에서 객체의 상태 정의
객체 지향 프로그래밍 (용지의 경우)에서 "객체의 상태"에 대한 간결한 정의가 필요합니다. 반나절 동안이 주제에 관해 인용 할 수있는 논문을 검색했지만 찾지 못했습니다. 내가 찾은 모든 논문은 주로 객체 지향 프로그래밍에 대한 일반적인 논문이며 객체의 상태를 정의하지 않았습니다. 확실하지 않지만 최선의 추측은 다음과 같습니다 . 객체의 상태는 객체의 인스턴스 변수 상태에 …
1
구체화 유형 추론
직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 
1
대수 데이터를 사용한 구속 조건 기반 유형 유추
ML 계보의 표현 기반 언어를 연구하고 있으므로 자연스럽게 형식 유추가 필요합니다. 이제 EOPL (Friedman and Wand)의 간단한 구현을 기반으로 유형을 유추하는 문제로 제약 조건 기반 솔루션을 확장하려고하지만 대수 데이터 유형을 우아하게 회피합니다. 지금까지 내가 한 것은 매끄럽게 작동합니다. 식이 경우 e이고 a + b, e : Int, a : Int및 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.