«programming-languages» 태그된 질문

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


12
왜 그렇게 많은 프로그래밍 언어가 있습니까?
나는 C / C ++에 능숙하며 다양한 스크립팅 언어 (awk / sed / perl)를 둘러 볼 수 있습니다. 파이썬을 C ++의 멋진 측면과 awk / sed / perl의 스크립팅 기능과 결합하여 파이썬을 더 많이 사용하기 시작했습니다. 그러나 왜 그렇게 많은 프로그래밍 언어가 있습니까? 나는이 모든 언어가 같은 일을 할 수 …

6
카테고리 이론은 함수형 프로그래밍 학습에 유용합니까?
나는 Haskell을 배우고 있으며 언어에 매료되어 있습니다. 그러나 나는 심각한 수학 또는 CS 배경이 없습니다. 그러나 저는 숙련 된 소프트웨어 프로그래머입니다. 하스켈에서 더 나아질 수 있도록 카테고리 이론을 배우고 싶습니다. 하스켈을 이해하기위한 좋은 기초를 제공하기 위해 카테고리 이론의 어떤 주제를 배워야합니까?

5
일부 프로그래밍 언어가 다른 프로그래밍 언어보다 "빠른"또는 "느린"이유는 무엇입니까?
C ++ / R과 같은 프로그래밍 언어로 작성된 일부 응용 프로그램이나 알고리즘은 동일한 컴퓨터에서 실행되는 Java / Node.js와 같은 것보다 더 빠르거나 빠르게 실행됩니다. 이것에 관한 몇 가지 질문이 있습니다. 왜 이런 일이 발생합니까? 프로그래밍 언어의 "속도"는 무엇입니까? 메모리 관리와 관련이 있습니까? 누군가 나를 위해 이것을 무너 뜨렸다면 정말 감사하겠습니다.

9
프로그래밍 언어의 어떤 속성으로 컴파일이 불가능합니까?
질문: "프로그래밍 언어의 특정 속성은 코드로 작성된 코드를 실행하는 유일한 방법은 해석에 의한 것입니다. 즉, 전통적인 CPU의 네이티브 머신 코드로 컴파일 할 수 없습니다. 이러한 속성은 무엇입니까?" 컴파일러 : Parag H. Dave와 Himanshu B. Dave의 원칙과 실습 (2012 년 5 월 2 일) 이 책은 그 답에 대한 단서를 제공하지 …

6
실제 공식 프로그램 검증
소프트웨어 엔지니어로서 저는 산업용 제품에 대한 많은 코드를 작성합니다. 클래스, 스레드, 일부 디자인 노력, 성능 저하와 함께 비교적 복잡한 작업. 나는 많은 테스트를 수행하고 테스트에 지쳤으므로 Coq, Isabelle과 같은 공식적인 증거 도구에 관심이있었습니다 ...이 중 하나를 사용하여 내 코드에 버그가 없으며 완료되었음을 증명할 수 있습니까 그것으로? -그러나 이러한 도구 중 …

14
프로그래밍 언어를 공부한다는 것을 부모님 께 어떻게 설명 할 수 있습니까?
나는 현재 컴퓨터 과학 석사를 마치고 있습니다. 프로그래밍 언어, 특히 형식 시스템에 관심이 있습니다. 이 분야에 대한 연구에 관심이 있었고 다음 학기에는 주제에 관한 박사 학위를 시작할 것입니다. 이제 실제 질문이 있습니다. 컴퓨터 과학이나 관련 분야에 대한 사전 지식이없는 사람들에게 내가하고 싶은 일을 어떻게 설명 할 수 있습니까? 제목은 부모님, …

10
Ruby / Python과 같은 동적 언어가 성능과 같은 C / C ++에 도달 할 수 있습니까?
Ruby와 같은 동적 언어에 대해 C / C ++와 비슷하고 비슷한 성능을 갖는 컴파일러를 빌드 할 수 있는지 궁금합니다. 예를 들어, 컴파일러에 대해 이해하고있는 루비를 예로 들어 보자. 루비가 리플렉션을 처리하는 방식, 정수에서 큰 정수로의 자동 유형 변환과 같은 기능, 정적 타이핑이 없기 때문에 루비 코드를 효율적으로 컴파일 할 수 …

3
종속 유형과 정제 유형
누군가가 종속 유형과 개선 유형의 차이점을 설명 할 수 있습니까? 내가 이해하는 것처럼 구체화 유형에는 조건자를 충족시키는 유형의 모든 값이 포함됩니다. 그것들을 구별하는 의존 타입의 기능이 있습니까? 도움이된다면 Liquid Haskell 프로젝트를 통해 Refined 유형과 Coq 및 Agda를 통해 종속 유형을 발견했습니다. 즉, 이론이 어떻게 다른지에 대한 설명을 찾고 있습니다.


9
안전한 프로그래밍 언어는 무엇입니까?
안전한 프로그래밍 언어 (PL)가 인기를 얻고 있습니다. 안전한 PL 의 공식적인 정의 가 무엇인지 궁금합니다 . 예를 들어, C는 안전하지 않지만 Java는 안전합니다. “safe”속성이 PL 자체가 아닌 PL 구현에 적용되어야한다고 생각합니다. 그렇다면 안전한 PL 구현의 정의에 대해 논의 해 봅시다. 이 개념을 공식화하려는 시도는 이상한 결과를 가져 왔으므로 다른 의견을 …

8
변수는 어떻게 프로그램 스택에 저장되고 검색됩니까?
이 질문의 순진함에 대해 미리 사과드립니다. 저는 컴퓨터를 처음으로 제대로 이해하려고 노력하는 50 세의 예술가입니다. 여기로갑니다. 컴파일러가 데이터 유형과 변수를 처리하는 방법을 이해하려고 노력했습니다 (매우 일반적인 의미에서는 많은 것이 있음을 알고 있습니다). "스택"의 스토리지와 값 유형 간의 관계와 "힙"의 스토리지 및 참조 유형 간의 관계에 대한 이해에서 뭔가 빠진 것이 …

9
왜 일부 프로그래밍 언어 튜링이 완료되었지만 다른 언어의 능력이 부족합니까?
외부 프로그램 / 함수에 연결 해야하는 인터프리터를 작성할 때 이상한 문제가 발생했습니다 .'C '및'C ++ '의 함수 는 가변성 함수를 연결할 수 없습니다 . 예를 들어'printf ' 정확히 동일한 인수를 사용하고 대신 variadic 객체를 취하는 대체 버전을 호출해야합니다. 익명 후크를 보유한 객체를 만들 수 있기 때문에 이것은 매우 문제가됩니다. 따라서 …

2
Tarjan의 의사 코드는 어떻게 작동합니까 (C 또는 Java에 익숙한 사람에게 설명)?
단편 유명한 컴퓨터 과학자 Tarjan 은 몇 년 전에 책을 썼습니다. 그것은 절대적으로 기괴한 의사 코드를 포함합니다. 누군가 설명해 주시겠습니까? 긴 이야기 타잔 은 그가 놀이 나무 의 공동 창업자라는 사실을 포함하여 많은 업적으로 유명합니다 . 그는 1980 년대에 " 데이터 구조 및 네트워크 알고리즘 "이라는 책을 출판했습니다 . Tarjan의 …

2
세대 가비지 수집기는 본질적으로 캐시 친화적입니까?
일반적인 세대 가비지 수집기는 최근 할당 된 데이터를 별도의 메모리 영역에 유지합니다. 일반적인 프로그램에서는 많은 데이터가 수명이 짧으므로 어린 가비지 (작은 GC주기)를 자주 수집하고 오래된 가비지를 수집하는 것은 메모리 오버 헤드와 GC를 수행하는 데 소요되는 시간 사이의 좋은 절충안입니다. 직관적으로, 단일 지역 수집기와 비교하여 세대 가비지 수집기의 이점은 캐시에 대한 …

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