«programming-languages» 태그된 질문

프로그램이 두 개의 다른 언어로 작성되었다고 가정하십시오. 컴파일러가 동일한 바이트 코드를 생성하는 경우 언어 Y 대신 언어 X를 사용해야하는 이유는 무엇입니까? 한 언어가 다른 언어보다 빠르다는 것은 무엇입니까? "C는 가장 빠른 언어이고 ATS는 C와 같은 언어입니다." 프로그래밍 언어에 대한 "빠른"정의를 이해하려고했습니다.

38 programming-languages  compilers 

내가 알고 이드리스가 따라 종류가 있지만 완전한 튜링되지 않습니다. Turing 완전성을 포기하면 무엇을 할 수 없으며, 이는 종속 유형을 갖는 것과 관련이 있습니까? 나는 이것이 매우 구체적인 질문이라고 생각하지만 종속 유형 및 관련 유형 시스템에 대해 많은 것을 알지 못합니다.

35 computability  programming-languages  type-theory  dependent-types 

대학 수준의 CS 교육자로서 첫 번째 프로그래밍 과정에서 어떤 프로그래밍 언어를 가르 칠지에 대한 문제가 종종 논의됩니다. 선택할 수있는 언어는 수천 가지가 있으며 한 언어 캠프를 다른 언어 캠프를 지원하는 종교적 열병 (또는 열병)이 있습니다. 각 프로그래밍 언어를 둘러싼이 주관적인 편견 때문에 교육자가 하나를 선택하기가 매우 어렵습니다. 내 질문은 : …

35 programming-languages  education 

우리 대부분은 Basic, C / C ++, Java와 같은 "텍스트"프로그래밍 언어를 사용하여 프로그래밍을 배웠습니다. 인간이 시각적으로 생각하는 것이 더 자연스럽고 효율적이라고 생각합니다. 비주얼 프로그래밍을 통해 개발자는 그래픽 요소를 조작하여 프로그램을 작성할 수 있습니다. 비주얼 프로그래밍을 사용하면 코드 품질이 향상되고 프로그래밍 버그가 줄어 듭니다. App Inventor , Scratch 및 LabView 와 …

35 programming-languages 

Dijkstra는 그의 논문 에서 실제로 컴퓨팅 과학을 가르치는 잔인함에 대해 다음과 같은 입문 프로그래밍 과정을 제안합니다. 한편으로, 우리는 술어 미적분학처럼 보이는 것을 가르치지 만 철학자와는 매우 다르게 행동합니다. 해석되지 않은 공식의 조작에서 초보자 프로그래머를 훈련시키기 위해 논리 대수의 모든 대수적 특성에 대해 학생들에게 친숙하게 부울 대수로 가르칩니다. 직감에 대한 링크를 …

33 reference-request  programming-languages  education  didactics 

나는 Iota와 Jot 에 대해 읽고 있었고이 섹션이 혼란 스럽다는 것을 알았습니다. 문자열의 구문 트리가 왼쪽 또는 오른쪽으로 분기 될 수있는 Iota와 달리 Jot 구문은 균일하게 왼쪽 분기됩니다. 결과적으로, Iota는 엄격하게 컨텍스트가 없지만 Jot는 일반 언어입니다. 내 이해는 Iota와 Jot이 모두 Turing이라는 것입니다. 그러나 분명히 하나는 맥락이 없으며 다른 하나는 …

32 regular-languages  programming-languages  turing-completeness 

기본적으로 저는 수학의 세 가지 기초를 알고 있습니다 이론 설정 유형 이론 카테고리 이론 그렇다면 프로그래밍 언어와 수학의 기초는 어떤 방식으로 관련되어 있습니까? 편집하다 원래 질문은 "수학 기초에 기초한 프로그래밍 언어"였습니다. 추가 된 paragarph와 함께 이론의 구현 1. Coq 의 이론 유형 2. SETL의 이론 설정 3. Haskell의 범주 이론 …

30 programming-languages  history  type-theory  category-theory 

두 언어간에 소스 코드를 '번역'할 수있는 프로그램이 있습니까 (번역자가 필수 라이브러리에 액세스한다고 가정)? 있다면 어떻게 작동 하는가 (사용되는 기술, 필요한 지식 등)? 그들은 어떻게 실현 가능할까요? 그렇지 않은 경우 개발을 방해하는 제한은 무엇입니까? 이것이 AI의 완전한 문제입니까 (자연어 번역이 하나로 나열 됨)? EDIT 변환은 언어가 동일한 표현력을 가질 때만 동일한 …

28 computability  programming-languages  compilers 

(형식화되지 않은) 람다 미적분 ( ) 의 고정 소수점 조합기 FIX (일명 Y )는 다음과 같이 정의됩니다.λλ\lambda FIX≜ λ f. ( λ x . f ( λ y. x x y ) ) ( λ x . f ( λ y. x x y ) )≜λ에프.(λ엑스.에프 (λ와이.엑스 엑스 와이)) (λ엑스.에프 …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

이 질문은 Computer Science Stack Exchange에서 답변을 얻을 수 있기 때문에 Software Engineering Stack Exchange에서 마이그레이션 되었습니다. 6 년 전에 이주했습니다 . 언어학의 맥락에서 프로그래밍 언어를 공부할 수 있습니까? 프로그래밍 언어는 자연 언어와 비슷한 방식으로 자연스럽게 진화합니까? 프로그래밍 언어에는 완전한 합리성과 수학적 일관성이 필수적이지만, 사람들이 읽기 쉽고 편안한 언어로 만들 …

27 programming-languages  natural-language-processing 

우리는 주로 고급 언어로 프로그램을 작성합니다. 그래서 공부하는 동안 나는 어셈블리 언어를 만났습니다. 따라서 어셈블러는 어셈블리 언어를 기계 언어로 변환하고 컴파일러는 고급 언어와 동일한 작업을 수행합니다. 어셈블리 언어에 r1 r3 이동, 5 이동 등의 지침이 있다는 것을 알았습니다. 공부하기가 다소 어렵습니다. 그렇다면 어셈블리 언어는 왜 만들어 졌습니까? 아니면 고급 언어보다 …

27 programming-languages  education  history 

가비지 수집 언어 디자인 관련 의사 결정에 대한 통찰력을 찾고 있습니다. 어쩌면 언어 전문가가 나를 밝힐 수 있습니까? 나는 C ++ 배경에서 왔 으므로이 지역은 당황 스럽습니다. Ruby, Javascript / ES6 / ES7, Actionscript, Lua 등과 같은 OOPy 객체 지원을 통해 거의 모든 현대 가비지 수집 언어가 소멸자 / 최종 …

27 programming-languages  memory-management  garbage-collection  language-design 

프로그래밍 방법을 알고 있지만 CS 이론의 초보자입니다. 이 답변 에 따르면 튜링 완성도는 계산 성의 추상 개념입니다. 언어가 Turing 완료 인 경우 다른 Turing 완료 언어가 수행 할 수있는 계산을 수행 할 수 있습니다. 그리고 어떤 튜링 완전한 언어로 작성된 프로그램은 다른에 다시 작성할 수 있습니다 . 승인. 이것은 말이됩니다. …

26 computability  programming-languages  turing-completeness 

Blockly 및 친구들과 같은 여러 오픈 소스 비주얼 프로그래밍 도구와 Github에서 호스팅되는 다른 프로젝트를 찾았지만 추상 구문 트리에서 직접 작동하는 것을 찾을 수 없었습니다. 왜 그런가요? 일단 모든 컴파일러가 컴파일 과정에서 소스 코드를 AST로 구문 분석하는 단계가 있음을 알게되면 일부 시각적 프로그래밍 도구가이를 활용하여 프로그래머에게 방법을 제공 할 수 있다는 …

25 programming-languages  language-design  syntax-trees 

동적 언어 (예 : Python, Ruby 또는 Java 플랫폼에서 실행되는 언어 (예 : Groovy, Clojure))의 사용 사이에 상관 관계가 있는지 또는 존재하지 않는지를 보여주는 실험이 있는지 궁금합니다. 정적 언어 (예 : C / C ++) 및 생산성의 차이

25 programming-languages  empirical-research  software-engineering