언어 설계자들이주의를 기울이기를 바라는 것은 무엇입니까? [닫은]

이 질문의 목적은 당신이 살 수 없거나 원하는 언어로 원하는 프로그래밍 언어 기능의 세탁 목록을 구성하는 것이 아닙니다. 이 질문의 목적은 대부분의 언어 디자이너가 생각하지 못하는 언어 디자인의 구석을 밝히는 것입니다. 따라서 언어 기능 X에 대해 생각하는 대신 좀 더 철학적으로 생각하십시오.

저의 편견 중 하나는 아마도 논란의 여지가있을 수 있습니다. 엔지니어링의 부드러움 측면 (이유 및 그 이유)이보다 구체적인 측면보다 몇 배 더 중요하다는 것입니다. 예를 들어, Ruby는 개발자의 행복을 향상시키기위한 목표로 설계되었습니다. 당신의 의견이 그것이 전달되었는지의 여부에 따라 혼동 될 수 있지만, 목표라는 사실은 언어 디자인의 일부 선택이 그 철학에 영향을 받았다는 것을 의미합니다.

게시하지 마십시오 :

• 구문 화염 전쟁. 우리가 선호하고 언어 디자인과 관련하여 구문이 중요합니다. 나는 단지 emacs vs. VI의 성격에 대한 서사시 싸움을 피하고 싶습니다 (요즘 많은 사람들이 알지 못합니다).
• "특징 X가없는 언어는 존재하지 않아도됩니다."유형 설명. 모든 프로그래밍 언어가 존재해야하는 이유는 하나 이상입니다.

제발 할 게시물 :

• 언어 디자이너가 놓친 철학적 아이디어.
• 자주 구현되지 않은 기술 개념. 통증의 원인과 기능을 선호하는 방법에 대한 아이디어가 있다면 알려주십시오.
• 원하는 것은 플랫폼의 공통 라이브러리에 있지만 거의 없습니다. 같은 토큰 중 하나는 일반적으로 원하는 공통 라이브러리에있는 것이 아닙니다.
• 내장 된 테스트 / 어설 션 / 계약 / 오류 처리와 같은 개념적 기능은 모든 프로그래밍 언어가 올바르게 구현되고 올바르게 정의되기를 원합니다.

나는 이것이 재미 있고 자극적 인 주제가되기를 희망한다.

편집 : Syntax Flame Wars의 의미를 명확히했습니다. 구문은 프로그램 언어 디자인의 기본 부분이기 때문에 구문에 대한 모든 논의를 피하려고하지 않습니다.

기본적으로 유니 코드 지원

오늘날, 프로그램은 국제적으로 사용되거나 국제적으로 사용될 수 있다는 가정하에 개발되고 있습니다. 그들은 있어야 자신의 문자 집합에 대한 지원을 제공하거나 쓸모 해당 언어로 작성된 프로그램을 렌더링합니다.

나는 부부가있다 :

• 제네릭 / 템플릿 예를 들어, Java 제네릭은 강력하지만 반드시 유연한 것은 아닙니다. 또한 유형 삭제를 사용하기 때문에 특히 인터페이스에서 추상적으로 구현하는 데 문제가 있음을 알았습니다. 그리고 비특이적 제네릭이 사용될 때 컴파일러는 경고하지 않아야합니다 ( Hashmap대신 Hashmap<String, int>). 나는 그들이 크게 향상 될 수 있다고 생각합니다. 훌륭한 템플릿은 매우 유용하지만 종종 무시됩니다.

• 표준 라이브러리에서 좋은 날짜 지원. 나는 날짜, 시간 및 분을 더하고 뺄 수 있으며 1970 년 1 월 1 일 이후 밀리 초를 처리 할 필요가 없다는 것을 의미합니다.

컴퓨터 보안 담당자를 위해 언어를 분석 / 감사 할 수있게하십시오.

보안 담당자는 프로그램이 출시되기 전에 프로그램에서 취약점을 찾을 수 있어야합니다. 이상적으로, 우리는 초기에 부름을 받았으며 코드베이스가 개발 될 때 주석을 달 수 있지만 종종 그렇지 않습니다.

언어 나 핵심 라이브러리의 새 버전이 나오면 이전에 안전한 것들이 더 이상 없을 수 있습니다.

1. 라이브러리가 더 강력해질 수 있습니다. 예 : 이제 URL 라이브러리가 지원합니다 javascript:
2. 문자열이나 바이트를 코드로 변환하는 새로운 방법이있을 수 있습니다 : 예 eval또는 직렬화 해제 라이브러리
3. 언어 반영 기술이 더욱 강력해질 수 있습니다. 예 : 지역 변수 노출

이러한 변경 사항으로 인해 프로그램이 가용 한 권한의 양을 늘릴 수 있지만 프로그램이 사용하는 권한 (악의적이지 않은 클라이언트를 처리 할 때)의 권한이 변경되지 않았기 때문에 보안 담당자는 집중적으로이를 파악하기가 쉽지 않습니다. 재 감사.

따라서 언어를 디자인하고 버전을 지정할 때 우리를 생각하십시오. 다음은 몇 가지 팁입니다.

프로그램을 분해 할 수있는 몇 가지 기본 요소를 정의하십시오.

HTML5는 특히 이런 식으로 나쁩니다. 그들은 분명히 보안에 대해 많은 생각을하고 똑똑한 사람들을 가지고 있지만, <video>오래된 것과 같은 새로운 프로그램 요소를 지정 하거나 새로운 <video>것과 오래된 것을 <img>모두 지정할 수 있는 공통 추상화를 만드는 대신에 <video>아직 자체 보안 결과가있는 또 다른 일회성 프로그램 요소.

정적으로 입력하지 않아도 언어를 정적 분석에 사용할 수있게하십시오.

보안 담당자는 정적 분석을 사용하여 패턴을 찾고 프로그램의 일부를 배제하여 실제로 까다로운 비트에 집중할 수 있습니다.

어떤 식별자가 지역 변수이고 어떤 식별자가 아닌지는 분명해야합니다.

예를 들어, 구 버전의 JavaScript와 같은 실수를 저 지르지 마십시오 x. 이전 버전의 스펙을 문자 그대로 읽었을 때 아래의 지역 변수 참조 인지 여부를 알 수 없었습니다 .

if (Math.random() > 0.5) {
  Object.prototype.x = 0;
}

function f() {
  var x = 1;
  (function () {
    alert(x);  // Might alert 0, might alert 1.
  })();
}

분해 가능한 보안 허용

많은 보안 시스템은 보안 속성을 유지하는 보안 커널을 중심으로 설계되므로 보안 담당자는 적은 양의 코드를 분석하고 대부분의 프로그래머가 {성가신, 교육자, 편집증} 보안 담당자를 처리하지 않아도되도록 노력할 수 있습니다. .

귀하의 언어로 그러한 커널을 작성할 수 있어야합니다. 언어의 보안 속성 중 하나가 URL의 특정 하위 집합 만 가져 오게된다면 커널 작성자가 코드를 통해 모든 URL 가져 오기를 수행 할 수 있습니까? 또는 정적 빌드 확인 (예 : 가져 오기 확인)이 동일한 기능을 수행 할 수 있습니다.

Newspeak와 같은 일부 언어는 개체 기능 모델을 사용합니다. 그것은 분해 가능한 보안을 얻는 굉장하고 좋은 방법입니다.

그러나 그렇게 할 수 없다면 모듈 그래프를 정적으로 분석 가능한 아티팩트로 만들면 상당한 이점을 얻을 수 있습니다. 모듈이 TCB의 모듈에서 코드를 호출하는 것을 제외하고 파일 I / O 모듈에 도달 할 수 없음을 증명할 수 있으면 해당 모듈에서 모든 클래스의 문제를 배제 할 수 있습니다.

임베디드 스크립팅 언어의 권한 제한

많은 유용한 시스템은 동적 (심지어 기능적인) 언어로 작성된 많은 코드를 시작하는 정적 코어로 구성됩니다.

또한 스크립팅 언어를 포함하면 시스템을 훨씬 확장 할 수 있습니다.

그러나 스크립팅 언어에는 VM의 모든 권한이 없어야합니다.

내장 된 스크립팅 언어를 허용하도록 선택하면 호출자가 수행 할 수있는 작업을 쉽게 제한 할 수 있습니다. 객체 기능 모델 (위의 Newspeak에 대한 의견 참조)이 여기에 매우 적합합니다. 따라서 스크립팅 언어로 코드를 평가할 때 호출자는 실행할 코드와 해당 코드의 모든 전역 변수를 전달해야합니다.

eval자체를 스크립팅 언어로 포함하는 언어로 취급

언어에서 자체 컴파일러를 호출하여 문자열을 코드로 변환 할 수있는 경우 내장 된 스크립팅 언어와 같은 방식으로 샌드 박스를 만들 수 있습니다.

간단한 동시성 모델을 사용하십시오.

보안 담당자는 보안 속성이 유지되는지 파악하려고 할 때 경쟁 조건에 대해 걱정할 필요가 없습니다.

거의 불가능한 보안 기본 옵션으로 스레드를 설정하기 전에 스레딩의 대안을 고려하십시오.

간단한 하나는 E, Verilog 및 JavaScript에서 볼 수있는 것과 같은 이벤트 루프 동시성입니다.

인용 혼동을 장려하지 마십시오

일부 언어는 풀 언어이며 많은 다른 언어로 된 문자열을 처리합니다.

예를 들어, JavaScript는 종종 문자열을 HTML, CSS, XML, JSON 및 JavaScript로 구성합니다. 프로그래머가 일반 텍스트 문자열을 조합하여 다른 언어로 문자열을 만들 때 올바르게 인코딩하는 것을 기억하기는 매우 어렵 기 때문에 JS 프로그램은 의심 할 여지없이 모든 종류의 인용 혼동 문제가 있습니다 .XSS가 최악입니다.

문자열 구성 기능 을 포함 하려면 프로그래머의 보안 부담을 줄이십시오. DSL, 위생적 매크로 및 임베디드 템플릿 언어는 라이브러리 나 언어 개발자로의 이탈에 대한 부담을 최종 개발자로부터 멀어지게함으로써이 작업을 수행하는 좋은 방법이 될 수 있습니다.

최고의 언어 중 일부는 스스로 언어를 만들고자하는 사람들이 설계했습니다.

따라서 언어 디자이너는 사용자에게 덜주의를 기울여야한다고 생각합니다. 당신은 모두를 기쁘게 할 수 없으며 시도하지 않아야합니다.

실제로 코드를 작성하는 데 5-10 %의 시간 만 소요됩니다. 언어 설계자들은 실제로 소프트웨어를 만드는 어려움에주의를 기울여야합니다. 이는 오류와 버그를 수정하는 것을 의미합니다.

즉, 좋은 디버거가 있어야합니다. 엄청나게 많은 구문과 약간의 인쇄 명령문보다 더 나은 핵심 명령이있는 일부 도구는 아닙니다.

필자는 다른 언어보다 더 많은 일을하는 Python에주의를 기울여야한다고 생각합니다 (그리고 일부 기능을 싫어하더라도). 그렇다고해서 파이썬을 에뮬레이트해야한다는 의미는 아니지만 파이썬과 같은 언어를 만들고 싶지 않더라도 파이썬이 무엇을 올바르게했는지 아는 것이 중요합니다.

거기에 관련된 철학적 아이디어와 관련하여, 이들은 Zen of Python에서 가장 중요한 아이디어입니다.

• 암시적인 것보다 명시적인 것이 좋습니다.
• 가독성이 중요합니다.
• 특별한 경우는 규칙을 어길만큼 특별하지 않습니다.
• 실용성은 순도를 능가하지만.
• 그것을하는 명백한 방법이 있어야합니다.
• 구현이 설명하기 어렵다면 나쁜 생각입니다.
• 네임 스페이스는 훌륭한 아이디어 중 하나입니다. 더 많은 것을 해보자!

나는이 규칙을 따르는 언어가 반드시 괜찮을 것이라고 생각하지만, 나는 이것을하는 언어와 파이썬을 알고 있습니다. 루비와 같은 모든 유사점에서 루비는 가독성과 같은 것들을 놓치고 재미 있지만 전문적인 환경에서는 유용하지 않은 코드 골프를하도록 초대합니다.

내가 파이썬에서 놓친 유일한 기술적 특징은 "언제까지"문장이다 (처음에는 표현식을 테스트하지는 않는다). 그렇다면 파이썬과 다른 언어 표준 라이브러리에는 개선 될 수있는 많은 것들이 있지만 엄격하게 언어 가 아니기 때문에 다른 질문입니다. :-)

귀하의 요구에 맞게 언어를 수정하는 능력은 저에게 큰 것입니다. Lisp의 경우 매크로로 수행되며 Tcl은 상위 수준으로 수행됩니다. 루비는 람다 등을 사용합니다. 사용 가능한 제어 구조를 중심으로 문제를 해결하는 대신 문제에 맞는 새로운 제어 구조를 추가하는 기능 만 원합니다. 간단한 예로, 일부 언어에서는 존재하지만 다른 언어에서는 존재하지 않는 "do .. until"구문은 "while"보다 일부 경우를 처리하는 더 확실한 방법이며, 다른 경우를 충족시키기 위해 새 구조를 추가 할 수있는 것이 매우 유용합니다.

좀 더 일반적인 의미에서 이것은 메타 프로그래밍입니다. 그러나 나는 주로 새로운 제어 구조를 구축하기 위해 사용합니다.

가장 중요한 것은 언어에 "스타일"이 있어야한다는 것입니다. 예를 들어, C를 포인터 기반 시스템 프로그래밍 언어라고 부릅니다. Erlang을 동시 기능 함수 프로그래밍 언어라고 부릅니다. C ++ 및 Java와 같은 일부 다른 언어는 Allan Kay가 "응집"언어라고 부르는 언어입니다. Frankenstein 언어는 여러 가지 기능으로 구성되어 있습니다.

다음으로 가장 중요한 것은 언어 자체의 변경이 최후의 수단이어야한다는 것입니다. 언어의 다른 기능과 결합하면 가장 양성적인 소리조차 복잡해질 수 있습니다. 언어로 새로운 기능을 사용하려면 다음을 수행해야합니다.

1. 그것이 정말로 필요하다는 것을 증명하십시오.
2. 라이브러리에서 수행 할 수 없음을 증명하십시오.
3. 언어에 속한다는 것을 증명하십시오.

좋은 질문 감사합니다. 당신은 꽤 좋은 답변을 얻고 있습니다.

당신의 눈을 gla 지 말고 프로그래머를 정보 채널로 봅니다. 아이디어 / 개념 / 요구 사항은 한 쪽 끝에, 코드는 다른쪽에 나옵니다.

요구 사항 세트 (어떻게 설명되어 있든 상관 없음)와 막대한 화이트 보드에서 코드 세트를 가져 와서 각 요구 사항을이를 구현하는 코드에 매핑하는 선을 그리는 경우 해당 그래프의 복잡도는 코드의 정도에 따라 달라집니다 요구 사항을 표현합니다. 이상적으로는 매우 직접적이고 일대일이어야하지만 실제로는 어려워합니다.

언어의 도메인 별 특성을 해당 그래프를 단순화하는 정도로 측정합니다. 이는 매우 바람직한 속성이며 올바른 클래스 / 루틴 (명사 / 동사) 정의에서부터 매크로, 자체 파서 및 인터프리터 / 컴파일러 작성에 이르기까지 다양한 방식으로 접근 할 수 있습니다.

내가 무슨 뜻인지 예를 들어 보겠습니다. 융통성있는 대화 사용자 인터페이스를 만드는 데있어이 기술 은 이벤트 처리기, 데이터 이동, UI에서 일반적으로 수행되는 대부분의 작업을 작성할 필요가 없습니다. 또한 소스 코드가 약 10 배 정도 줄어 듭니다. 메타 언어는 실제로 C / C ++ / Lisp의 몇 가지 루틴 및 매크로이며 매크로가없는 언어로도 수행했습니다.

코드에 대한 5 포인트 편집 또는 10으로 요구 사항을 구현할 수있는 경우 5를 사용하여 코드를 작성하면 코드가 줄어들뿐만 아니라 단계를 놓치고 버그가 발생할 가능성이 줄어 듭니다. 따라서 도메인 고유의 언어가 많을수록 코드가 더 작고 유지 관리가 쉽고 버그가 없습니다. 우리는 그것을 향해 나아가는 방법을 알아야한다고 생각합니다. 독자가 기술을 이해하기 위해 학습 곡선에 투자 하지 않는 한 코드를 더 읽기 쉽다는 의미 는 아닙니다 .

Pascal 및 Ada와 같이 경계가 분명하고 정수가 큰 정수 유형. 솔직히 : 얼마나 자주 정수의 전체 범위가 필요합니까? 실제 세계를 더 잘 표현하기 위해 기본 유형이 많이 개선되어야한다고 생각합니다.

프로그래밍 언어를 배우면 쉽게 사용할 수있는 기능과 사용하기 쉽게 배울 수있는 기능이 있습니다. 언어 사용자는 언어와 장기적인 관계를 유지하는 것이 이상적이므로 사용 편의성을 최적화하는 것이 학습 편의성을 최적화하는 것보다 낫습니다. 필요한 것보다 더 어렵게 만들지 말고 언어에 익숙하지 않은 사람들이 읽을 수 있도록 표현력 (많은 일을하는 작은 코드를 작성할 수 있음)을 희생하지 마십시오. 다른 한편으로, 언어는 수년간 언어를 사용해온 사람들에게 라인 노이즈처럼 읽혀서는 안됩니다. 사용하기 쉽고 배우기 쉽지 않습니다.

명명 규칙 (PHP를보고 있습니다)

개발 환경과의 일류 통합.

오늘날에는 코딩이 풍부한 환경에서 수행됩니다. HTML / CSS / JS에는 Firebug 및 기타 대화식 도구가 있습니다. Java, Eclipse 및 IDEA 및 기타 실제 IDE의 경우. 기타 등등. 편집기부터 시작하지만 끝나지 않는 도구의 생태가 있습니다.

• 파일 내 및 파일 간 코드 구성
• 스마트 한 하이라이트
• 스마트 완성 / 예측 타이핑
• 정적 디버깅 (플래 깅 구문, 의미 및 스타일 오류)
• 템플릿 및 매크로 생성 및 사용
• 버전 관리 (버전 관리, 병합, 분기 등)
• 여러 저자 (의견, 인라인 문서, 주석 등)를 사용한 분산 개발
• 런타임 디버깅 (스택 추적, 스테핑, 감시 등)
• 대화 형 "실시간"디버깅 (Firebug와 같은-실시간 시스템의 동작 편집)
• ... 다음에 무엇을해야할지 모르겠습니다.

이러한 활동을 지원하기 위해 언어를 구축해야합니다. 예를 들어 다른 개발자가 코드의 의도를 이해하도록 돕기 위해 Java로 주석을 달았습니다.

그러나 대부분 CVS 제어 소스가 버전 번호를 포함 할 수 있도록 주석에 $ Id $를 사용하는 것과 같이 해킹당했습니다. 언어 자체에서 이와 같은 작업을 수행 할 수없는 이유는 무엇입니까?

분산 계산

무료 점심 식사는 끝났습니다. 오늘날에는 여러 개의 코어 / 여러 프로세서 (및 특수한 환경에서 여러 컴퓨터)에서 실행되는 프로그램이 필요합니다.

불행히도 멀티 스레드 코드를 작성하는 것은 개념적으로 어렵 기 때문에 언어를 장벽으로 추가 할 필요가 없습니다.

C ++ 0x 미래의 사용 은 확실히 흥미 롭습니다. 라이브러리로 가져 왔으며 실제 동기화 문제에서 벗어날 수는 없기 때문입니다 (알다시피 너무 쉽게 해결할 수 있습니다 ...)

나는 문제에 대한 Go 의 접근 방식을 정말로 좋아 합니다 . 멀티 스레딩이 내장되어 있으며 (채널 및 고 루틴) 접근 방식은 기존 세마포어 / 뮤텍스 / 잠금 방식보다 훨씬 쉬운 사고 방식을 설정합니다. 그래도 동기화되지 않은 구조에 액세스하는 것은 여전히 ​​쉽지만 (Go에는 포인터가 있음) 또는 교착 상태 (채널에서 대기주기 ...)가 있습니다.

기능적 언어와 같이 데이터의 불변성을 선호하는 언어가 그 권리를 가질 수 있다고 생각합니다 (나는 경험을 좋아합니다).

또한 액터 모델이 다음 대상이 될 수도 있습니다. 분산 컴퓨팅에도 사용되었습니다.

나에게 미쳤지 만 나에게 가장 중요한 언어 기능 중 하나는 예제와 함께 좋은 온라인 참조의 가용성입니다. 모든 언어에 대해 좋은 검색 결과를 찾을 수 있다는 것을 알고 있지만 MSDN 및 Java API 사이트를 정말 좋아합니다. 특정 언어에 대한 경험이없는 사람에게는 프로그래밍이 훨씬 쉬워집니다.

컴파일러가 코드를 확인하도록 도와주는 더 많은 기능.

임베디드 시스템 프로그래머이기 때문에 항상 C를 사용합니다.하지만 항상 코드에서 기대할 수있는 것을 컴파일러에게 알려줄 수있는 더 많은 방법을 원합니다.

EG 나는 기능을 가질 수있다

f(int x)

그러나 나는 선호한다

f(int range[-5..25] x)

EG Lisp 나 Haskell과 같은 고급 기능 언어를 사용하여 함수에 대한 어설 션을 작성하고 싶습니다. 이들은 코드로 컴파일되지 않지만 정적 또는 동적 분석에 사용될 수 있습니다.

자세한 구문은 배우기 어렵고 가독성을 높이 지 않기 때문에 가능한 적은 키워드를 가진 작은 구문입니다.

최악의 예는 Ada입니다.

procedure Hello is
begin
  Put_Line("Hello World!");
end Hello;

is와 같은 필러 단어는 프로그래밍 언어에 적합하지 않습니다.

더 많은 학습 언어 를보고 싶습니다 . 모든 토큰 사이에 공백을 요구하는 것과 같이 제한적인 초보자를위한 언어뿐만 아니라 프로그래밍을 이미 알고 있고 새로운 개념을 배우거나 일반적인 프로그래밍을 더 잘하고 싶은 사람들을위한 언어.

나에게 Haskell은 내가 "학습 언어"라는 의미의 훌륭한 예입니다 (수년에 걸쳐 인기와 일반 유틸리티도 성장했습니다). Haskell 은 친숙한 C 구문을 포기하고 이전에 함수 구성 연산자 (예 : (+2) . (*3)3을 곱한 다음 2 를 더하는 함수)를 가짐 으로써 더 짧은 함수를 작성하도록 가르쳤다. 무자비한 유형 검사기는 언어를 더 빨리 배우고 코드에 대해 논리적으로 생각하는 능력을 향상 시켰습니다. 이 두 가지 이점은 다른 언어, 심지어 어셈블리까지 쏟아졌습니다.

언어 학습의 목표와 범용 언어의 목표는 종종 상충됩니다. 학습 언어는 학습하기에 도전적이고 보람이 있어야하며, 해당 스타일이 많은 응용 분야에 적합하지 않더라도 특정 스타일을 적용해야합니다. 범용 언어는 작업 수행에 적합해야하며 추상화 사용을 신중하게 측정하고 "이해해야"합니다. 예를 들어, 웹 사이트를 고칠 때, 모나드 에 대해 배우는 것이 프로그래머에게는 마지막 일입니다. 동전의 반대편에서, 누군가 프로그래밍을 배우고있을 때, 아직 기능에 대해 배우지 않았다면 "공공 정적 공백"넌센스를 극복 할 필요가 없습니다.

언어 디자이너 인 경우 언어가 학습 언어인지 적용 언어인지를 염두에 두십시오. 이것은 디자인에 순도를 어느 정도 적용 할 것인지 결정합니다.

우리는 2011 년부터

• 절대적으로 완전한 사양. C와 같이 아키텍처에 의존하는 구멍이 없음

• 멀티 스레딩 지원; 동기화 기능 (잠금)뿐만 아니라 루프를 작성하는 것만 큼 멀티 스레딩을 쉽게하는 언어 기능 :

  all (o in myCollection) {o.someMethod ()}

• 다중 패러다임; 프로그래머가 정적 언어의 컴파일 타임 안전 또는 동적 언어의 간결함을 사례별로 결정하도록하겠습니다. 객체 지향 기능, 기능 기능 등을 제공합니다.

• 일관성 (일관성과 다중 패러다임 모두에 대해 조금 많이 요구한다는 것을 알고 있습니다 ...)

경량 프로세스

Erlang과 같이 경량 프로세스를 원합니다. 주로 런타임의 문제입니다. JVM 및 .NET CLR에서 누락되었습니다. LWP는 대량의 동시 소프트웨어를 만드는 데 도움이됩니다. 언어로 객체를 생성하는 것보다 프로세스를 생성하는 데 비용이 많이 들지 않는 것이 이상적입니다. 내 응용 프로그램에서 수백만 개의 프로세스를 만들고 싶습니다.

사전 예약 기능이있는 스레드 풀로 구현되므로 단일 작업이 다른 작업을 차단하지 않으며 사용 가능한 모든 CPU 코어에서 작업을 예약 할 수 있습니다.

꼬리 재귀 지원

꼬리 재귀를 지원하고 싶습니다. 런타임 환경에서도 문제가 될 수 있습니다. 예를 들어 JVM은 꼬리 재귀를 지원하지 않습니다.

손쉬운 분산 프로그래밍

Erlang과 같은 단어로 다른 컴퓨터에서 실행되는 응용 프로그램의 일부에 send ( ! ) 및 receive 프리미티브를 지원하고 싶습니다 . 따라서 분산 데이터 저장소와 같은 확장 가능한 응용 프로그램을 쉽게 구축 할 수 있습니다. 언어에 내장 된 직렬화에 추가하면 erlang과 마찬가지로 매우 유용합니다. 그리고 Java와는 달리 수동으로해야합니다.

메타 프로그래밍을 용이하게합니다.

특별한 형태를 제한하다

파이썬에서는 내장 함수가 아닌 이유는 없습니다. 그것은 parens와 관련이없는 것을 제외하고는 함수처럼 보이고 작동합니다.

수행 우리가 정말 필요 for, foreach, while자신의 특별한 형태로 각각처럼. 변형 루핑 형태의 구문 설탕을 제공하기 위해 하나의 루핑 구성과 일부 기본 매크로는 어떻습니까?

특수한 형태를위한 메타 프로그래밍

form['if'](test-fn, body-fn)

네트워크 기능

네트워크 지원없이 제공되는 언어는 오늘날 세계에서 상당히 불충분합니다.

대부분의 실제 응용 프로그램은 다음과 같은 네트워크를 통해 통신해야합니다.

• 자동 업데이트
• 데이터베이스 액세스
• 웹 서비스

또한 분산 / 클라우드 컴퓨팅 지원의 초석이기도합니다.

나는 배우기 쉽고, 새로운 것을 만들기 위해 결합하기 쉬운 프로그래밍 언어를 좋아합니다.

예를 들어, 여러 가지 방법으로 글을 쓰는 것이 매력적이지만 한두 가지만 쓰는 것이 더 좋습니다. 그렇게하면 프로그램을보다 쉽게 ​​유지할 수 있습니다.

모든 요소에 개념을 적용 할 수있는 언어가 매우 유용합니다 (직교성이라고 생각합니다). 따라서 다음에 새 언어 기능에 직면 할 때이를 사용하는 방법을 추론 할 수 있습니다.

때로는 컴파일 / 통역 단계에서 언어 구문이 더 나은 성능을 발휘해야한다는 것을 이해하지만, 언어 디자이너가이 작업을 개발자에게 미루고 있다고 생각합니다. 예를 들어 Java 또는 Javascript의 여러 줄 문자열입니다.

마지막으로 언어 구문은 사용자 인터페이스이므로 명확하고 간결하며 직관적이며 사용하기 쉬워야하며 습관을 존중해야합니다.

• 가독성 : 문법에 사용 된 기호가 적거나 작을수록 더 깨끗하고 좋습니다.
• 객체 지향 유형 : 함수가 아닌 메서드.
• 이해 : 내장 된 유창한 인터페이스, 라이브러리 클래스 / 인터페이스 및 정렬을위한 포괄적이고 짧은 이름.

기존 프로그래밍 언어에 기능 추가 따라서 새로운 언어 B는 오래된 언어 A와 기능 X입니다.

기존 예 :

1. C 클래스 추가 => C ++
2. Java가 물건을 추가하는 것 => C #

기술 / 플랫폼 / 언어 / 데이터베이스 등에 관해서는 대부분 성능에 달려 있습니다. 미래에는 많은 컴퓨팅 기능이 있기 때문에 오늘날 많은 소프트웨어가 그래픽 언어를 사용하여 설계 될 수 있습니다.

우리가 계산 능력과 응용 프로그램 을 디자인 하는 언어가 있고 언어 세부 사항에 대해 걱정할 필요가없는 날을 바랍니다 .

업데이트 : 해당 언어 LabView에 대한 링크를 보냅니다.

업데이트 : 나는“컴퓨팅 강력”이라는 말의 의미를 더 설명해야합니다. 컴파일 된 소프트웨어의 성능은 구문 언어를 기반으로하는 컴파일 된 소프트웨어만큼 강력하지 않을 수 있습니다. 그래픽 프로그래밍을 더 높은 수준의 프로그래밍으로 생각하고 있으며 더 많은 오버 헤드가있을 수 있습니다. 오늘날의 컴퓨터는 그래픽 프로그래밍 언어를 쉽게 실행할 수 있습니다.