이론적이지 않은 실용적인 프로그래밍 언어에는 예약 키워드가없는 것은 무엇입니까?


22

나는 예약 된 키워드가없는 실용적인 프로그래밍 언어를 찾고 있었지만 하나를 찾지 못했다.

나는 내 자신의 교육과 오락을위한 프로그래밍 언어를 연구하고 있는데 키워드를 포함시킬 필요가 없었습니다. 그것이 저의 검색과 질문으로 이끌었습니다.

컴파일러 라이터의 편의성이 언어의 최종 사용자에게 중요하다고 생각하지 않습니다. 컴퓨터는 오늘날 문맥에서 의미를 유추 할 수있을만큼 강력합니다. 더 이상 라벨 명사, 동사와에 작가의 요구에 비해 같은 소설을 쓸 때, 왜 프로그래머가 라벨 기능과 변수가 있어야 function x() {}하거나 set x = 1또는 var x = 1등,하지 명령문의 컨텍스트에서 함수 선언 또는 호출이거나 레이블이 값에 대한 지정 또는 해당 레이블 값에 대한 참조임을 유추 할 수 있습니까?

다음은 현재 파서가 수행하는 작업의 구체적인 예입니다. 예약 키워드를 사용하여 일반적으로 잡음funcfunction거나 dec그렇지 않은 일반적인 것들을 지원할 필요가 없습니다.

함수 선언

sum3(a,b,c) -> a + b + c.

함수 호출

x = sum3(1,2,3).

x라는 익명 함수

x = (a,b,c) -> a + b + c.
y = x(1,2,3).

성공적인 프로그래밍 언어에 키워드가 중요한 이유를 알고 싶습니다.


8
Forth는 매우 실용적이며 키워드가 없습니다.
SK-logic

4
@JamesAnderson, 아니, 그들은 단지 다른 모든 단어와 같은 단어입니다. 특별한 의미는 없습니다.
SK-logic

7
연산자와 문장 부호는 "키워드"로 간주됩니까? 그렇다면 구문을 정의 할 수 없으므로 언어가 없을 수 있습니다.
Emilio Garavaglia

2
@ SK-logic : 보통. 그러나 아직 토큰 화하지 않으면 "식별자"란 무엇입니까? 토큰은 "인식 가능한 찌르기"이므로 "int", "myvalue"및 "+"는 구문 규칙이 제공되기 전에 다르지 않습니다. "+"가 연산자로 정의되지 않은 경우 다른 유니 코드 단일 문자열과 같은 이름 일 수 있습니다. 순수한 구문 관점에서 연산자는 "단일 문자 키워드"에 지나지 않습니다.
Emilio Garavaglia

2
이와 관련하여 키워드 란 무엇입니까? 컴파일러에 특별한 의미가있는 식별자입니까? 프로그래머가 변수 나 다른 것으로 사용해서는 안되는 식별자입니까? 키워드를 특별히 지정해야한다면 키워드가없는 것으로 간주됩니까? (오래 전에 키워드를 키워드로 인용해야하는 ALGOL 시스템을 보았습니다.)
David Thornley

답변:


12

MUMPS 는 매우 성공적이며 보험 및 건강 관리에 널리 사용되며 예약어가 없습니다. 더 명확한 코드 작성 측면에서 도움이되지만 꼭 필요한 것은 아닙니다. APL이 또 다른 예입니다. APL은 원자력 산업에서 일회성 스크립트 사용을보고 있습니다. APL 제품군의 구성원 인 J 도 키워드가 없습니다.

키워드는 컴파일러 작성자가 구문 분석을보다 쉽게 ​​구현하는 데 도움이됩니다. APL은 잘 맞습니다. 또한 규칙을 강화하고 가독성을 향상시킵니다. APL은 대부분의 사람들이 읽을 수있는 것으로 알려져 있지 않습니다.


2
"키워드는 컴파일러 작성자가 구문 분석을보다 쉽게 ​​구현하는 데 도움이됩니다"+1 나는 그것이 거의 같아요. 전체 컴파일러와 작업 세트가 수십 KB의 RAM에 맞아야했을 때 구문 분석기가 메모리에 보관해야하는 컨텍스트의 양을 줄이기 위해 키워드가 발명되었습니다.
Jörg W Mittag

2
거의 모든 다른 언어보다 APL 용 파서를 작성하는 것이 더 쉽습니다! APL 인터프리터의 첫 번째 구현은 트랜지스터와 다이오드를 사용하여 수행되었다고 생각하십시오.
James Anderson

2
키워드의 주된 이유는 인간이 언어를보다 쉽게 ​​파싱 할 수있게하는 것입니다. 언어가 기계 코드와 같이 숫자와 비트 패턴으로 구성되어 있으면 컴퓨터가 더 행복 할 것입니다.
James Anderson

6
키워드에 APL이 부족한 것은 자체 글꼴을 요구하는 것 이상을 의미합니다.
Blrfl

@Blrfl J, K 및 Q의 요점입니다. 모두 ASCII의 APL입니다.
World Engineer

9

키워드가없는 잘 알려진 언어는 Lisp입니다. 키워드와 가장 가까운 것은 소위 특수 형식이라고하며, 그 숫자는 방언마다 다를 수 있으며 통역사로부터 특별한 대우를받습니다. 그 외에도 그것들은 그것들이 어떻게 사용되는지에 관해서는 정규 함수와 구별 할 수 없지만, 재정의 할 수 없다는 것을 제외하고는 (적어도 내가 알고있는 Lisps에서는).

이로 인해 단순하지만 (paren-heavy) 구문이 생성되며 Lisp가 강력한 매크로 시스템을 가질 수있게 해주는 것 중 하나입니다. 반면에 Lisp는 종종 읽기 어렵다고합니다. APL과 MUMPS는 훨씬 더 그렇습니다. 두 가지 모두 Brainf * ck의 절반이라고 설명했습니다. 키워드는이 부서에서 도움이되며 사람도 쉽게 코드를 읽을 수 있습니다.

따라서 성공적인 언어에 키워드가 필요하다고 말하지는 않지만 언어가 성공적인 언어가되도록 도와줍니다.


1
IIRC Lisp에는 키워드가 없습니다. 특수 형식은 컴파일러에서 특별히 처리해야하지만 이름은 일반 기호입니다.
Jan Hudec

2
키워드는 구문의 기능이며 Lisp에는 없습니다. Lisp의 키워드에 대해 이야기하는 것이 타당하지 않다고 생각합니다.
Jörg W Mittag

2
나는 Jörg에 동의합니다. 언어에 비슷한 구조의 토큰과 구별하기 위해 명시 적으로 특별하게 정의되어야하는 토큰이 언어에있을 때 키워드에 대해 말할 수 있다고 생각합니다. 다른 토큰은 다른 구문 트리로 이어집니다. 예를 들어 ifC에서 특수 (키워드)으로 정의되지 않은 경우 유효한 식별자가됩니다. 이는 if식별자가 아니며 if = 10구문 오류가 발생 함을 의미합니다 . 내가 잘못 아니에요 경우, 리스프의 최소한의 구문은 구분하지 않습니다 defun에서 f, x, y+(defun f (x y) (+ x y)).
Giorgio

@Giorgio은 특히 if 입니다 커먼 리스프 (및 기타 리스프-2)에 유효한 변수 이름 (defparameter if nil)치신하지 않습니다 그리고 그것은 같은 형태로 사용할 수 있습니다(unless if (setf if t))
tobyodavies

그러나 동일한 메모에서 (defun if ...)실패합니다. 주석에서 메모를 작성하고 답변을 편집했습니다. 예를 들어 특수 형식은 C와 동일한 수준의 키워드가 아니라는 점에 동의 할 수 있지만 Lisp와 가장 유사한 키워드입니다.
scrwtp

8

TCL 에는 키워드가 없으며 실제로 12 개의 구문 규칙 만 있습니다. 예전만큼 인기가 없었지만 ECAD와 라우터에 기대와 내장이있는 틈새 시장이 있기 때문에 확실히 내 마음에 실용적으로 계산됩니다.

또한 많은 언어가이 경로를 따르지 않는 이유를 보여줄 수 있다고 생각합니다. 그렇습니다. TCL 파서를 작성하는 것은 완벽하게 가능하지만 (다른 많은 언어보다 쉽습니다) 언어에 매우 유용한 BNF 문법을 작성할 수 없으며 많은 사람들이 언어를 배우는 데 어려움을 겪고있는 것 같습니다. 키워드가 없기 때문에 이것이 부분적으로 의심됩니다.


2
Tcl은 "모든 것이 목록"이 아니라 "모든 것이 문자열"이라는 점을 제외하면 Lisp와 매우 유사합니다. 리스트는 공백이있는 문자열이고 프로 시저 호출은 첫 번째 요소가 프로 시저 이름으로 해석되고 나머지는 인수로 해석되는리스트입니다. 본질적으로 Lisp S-Expression입니다.
Jörg W Mittag

예 사용 폴란드어 표기법과 호모 - 상징적 자들은 모두 그렇게 꽤 유사한 의미를 가지고
JK합니다.

5

컴퓨터는 오늘날 문맥에서 의미를 유추 할 수있을만큼 강력합니다.

문맥에 맞지 않는 문법을 원하십니까? 행운을 빕니다.

강력함에 대한 질문이 아닙니다. 언어에 대한 영원한 규칙은 변하지 않습니다. 수학적인 것입니다. 이것은 프로그래밍 언어가 문법적으로 쉬워야한다는 사실은 앞으로 수십 년 동안 CFG를 지배하게 할 것입니다.

Btw., Haskell에서 구문과 같은 방식으로

f x y = (x+1)*(y-1)

함수를 정의합니다. 그러나이 경우 "키워드"는 '='입니다. 당신이 그것을 그리워하면 파서에서 끔찍한 일이 일어날 것입니다.

그러나 이것은 내가 당신에게 동의하는 지점입니다. 다른 언어로 기능을 소개하는 모든 def, dcl, fun, fn, function 또는 what-not 키워드보다 훨씬 직관적입니다.

그러나이 문법은 평범한 오래된 LALR (1)로 작성 될 수 있으며, 여기서 "상황에서 추론"되는 의미는 없습니다.


1
이 진술을 해결하기 위해 +1 (컴퓨터는 문맥에서 의미를 유추 할 수있을만큼 강력합니다.) CFG 문법이 선호되는 이유는 프로그램 구조를 귀납적으로 정의 할 수 있기 때문입니다. 왜 100 년이 지난 후에도 이것을 바꾸고 싶은지 모르겠습니다. 어쩌면 상상력이 부족할까요?
Giorgio

2
CFG는 꽤 죽었고 수십 년 동안 죽었습니다. HTML 내부의 JavaScript, 심지어 C 내부의 C 형식 문자열, 심지어 OCaml에 중첩 된 주석도 있습니다.이 모든 것은 컨텍스트가 없습니다. 그리고 왜 지금 PEG와 GLR 시대에 그러한 임의의 선택된 형식주의로 자신을 제한하고 싶습니까?
SK-logic

1
@ Ingo, 예, 맞습니다. 예를 잘못 선택했습니다. 나는 의미 혼합확장 CFG를하지 않은 (즉, 상위) 문법을.
SK-logic

2
@ SK-logic : CFG가 죽었다는 정보를 어디서 얻었는지 모르겠습니다. 나는 지난 20 년간 컴파일러 구축을 가르치고있는 전직 동료와 이야기를 해왔으며 CFG는 아직 멀지 않은 것 같습니다.
Giorgio

1
@ Ingo : 내가 기억하는 한, CF가 아닌 측면은 구문 분석 트리를 의미 론적으로 분석하여 나중에 처리됩니다. 예를 들어 { int x = 0; x = "HELLO"; }구문 분석 트리를 생성해야하지만 컴파일러가 두 번째 할당에서 x를 조회하면 int로 선언되어 유형 오류가 발생합니다. 따라서 CF 구조가 정확하더라도 프로그램이 거부됩니다.
Giorgio

4

내가 아는 한, Smalltalk는 키워드가 가장 적은 언어입니다 (Brainfuck과 같은 언어를 세지 않는 경우). 스몰 토크 키워드는 true, false, nil, self, superthisContext.

키워드가없는 스몰 토크에서 영감을 얻은 언어를 디자인했습니다. 그러나 그것을 사용한 시간이 지나면 나는 주로 구문 설탕에 대한 몇 가지 키워드를 추가하게되었습니다.

키워드가없는 언어는 가능하지만 실용적이지 않기 때문에 인기있는 모든 언어에 키워드가있는 것입니다.


메시지는 적어도 다음, 암시 수신기로 전송하기위한 스몰 토크는 지원이 있다면 true, false그리고 nil반사 기능뿐만 아니라 아마 다른 세 주어, 그 암시 수신기의 방법으로 정의 할 수 있으며.
Jörg W Mittag

1
그것들은 키워드가 아니며 의사 변수입니다. '의사'때문에 true, false그리고 nil환경에 따라 제공된 공지 된 값이며 self, super그리고 thisContext사용자가 설정할 수 있지만, 변수들의 값의 실행 결과로 변경.
Frank Shearar

3

당신은 잘못된 가정하에 노력하고있는 것 같습니다. 키워드는 컴파일러가 일을 쉽게 할 수 있도록합니다. 컴파일러는 일을 더 쉽게 해주지 만 훨씬 더 중요한 이점 이 있습니다 . 코드를 읽는 사람이 일을 더 쉽게 만듭니다 .

예, 많은 컨텍스트를 살펴보고 함수 선언이나 변수 선언을보고 있음을 알 수 있지만 컨텍스트와 관련 코드의 복잡성에 따라 파악하는 데 시간이 오래 걸릴 수 있습니다 . 또는 function 또는 var 와 같은 편리한 키워드가있을 수 있으며 보고있는 내용을 즉시 알 수 있습니다.

예, 코드를 작성 하기가 더 복잡해 지지만 프로그램은 프로덕션보다 유지 관리에 더 많은 시간을 소비하고 코드를 작성, 작성 및 디버깅하는 것보다 코드를 작성하는 것보다 훨씬 많은 시간을 소비하여 언어를 설계하려고합니다. 읽기 쉬운 대신 쓰기가 쉬운 것은 해로운 조기 최적화의 전형적인 사례입니다.

또한 컴파일러 작업을보다 쉽게하는 개념을 무시하지 마십시오. 구문 분석이 쉬울 수록 코드 컴파일 속도가 빨라져 편집 빌드 디버그주기가 빨라져 생산성이 향상됩니다.

크고 복잡한 코드베이스가 있으면 생산성에 큰 차이가 없을 수 있습니다. 예를 들어, 내가 일하는 곳에 약 4 백만 줄의 델파이 프로그램이 있습니다. 약 30 만 줄의 C ++ 인 다른 모듈이 있습니다. 둘 다 컴파일하는 데 동일한 시간이 걸립니다. (약 3 분) 4 백만 줄의 C ++가 있다면 구축하는 데 1 시간이 걸릴 수 있습니다!


모든 우수한 포인트. +1

소설의 모든 명사, 동사, 부사 및 형용사에 레이블이 붙어 있으면 쉽게 읽을 수 없습니다!

@JarrodRoberson : 물론입니다. 그러나 코드는 소설이 아닙니다. 자연 언어는 프로그래밍 언어와 매우 다릅니다. 자연어는 직관적 으로 이해 되는 반면 프로그래밍 언어에는 형식적 의미가 있습니다. 그것을 읽고 그 의미를 이해하는 데 사용되는 기술은 매우 다르므로 두 사람을 당신과 동일시하는 것은 실수입니다.
메이슨 휠러

나는 말했다 컴파일러 작가 는 다른 컴파일러 . 컴파일러는 더 빠른 하드웨어에서 더 빨라지고 컴파일러 작성자 는 인간이며 무어의 법칙을 준수하지 않습니다!

내가 함께 작업하는 경향이 코드베이스는 대부분> 1,000,000+이며, 길이 소설 이상 크기 순서입니다 라인 , 코드의 가장 긴 소설의 대부분은 <200 개입니다 단어 ! 그리고 소설처럼 그들은 인간이 읽습니다. 실제로 코드를 작성하는 것보다 코드를 읽는 데 더 많은 시간이 걸립니다! 10 년 이상의 개발자가 10 년 이상 코드를 읽은 횟수가 1,000,000 개 이상인 코드 기반을 사용하면 처음 생성하는 데 걸리는 시간이 줄어 듭니다.

2

몇 가지 드문 예가 있습니다.

APL은 기호 만 사용하지만 많은 기호를 사용합니다! 언어를 사용하려면 특수 키보드가 필요합니다.

참조 이 위키 피 디아 문서를

CORAL 66-키워드가 있지만 작은 따옴표로 인용 한 경우에만 키워드를 인식했습니다.

PL / 1에도 키워드가 있지만 변수 또는 프로 시저 이름으로 사용할 수도 있습니다.

당신의 질문은 "말하는 언어에 왜 단어가 있습니까?"라고 묻는 것과 약간 비슷합니다.


APL의 모습을 좋아하지만 새로운 키보드를 사고 싶지 않다면 J 가 문제 일뿐입니다.
AakashM

0

주된 이유는 사람과 컴퓨터가 구문 분석하기가 더 쉽기 때문입니다. 키워드없이 복잡한 언어를 명확하게 표현하려면 구문으로 많은 기호가 필요하며, 이는 혼란스럽고 불필요합니다. function보다 읽기 가 훨씬 쉽습니다 $!{}. 문맥이 모든 모호성을 해결하지는 않습니다.


1
나는 당신의 대답의 핵심 단어가 복잡 하다고 생각합니다 . 충분히 디자인 된 언어는 복잡 하지 않고 단순 해야합니다 .

1
@Jarrod Roberson : 레오나르도 다빈치 : "단순함은 최고의 정교함", Antoine de Saint Exupéry : "추가 할 것이없고 빼앗을 것이 없을 때 완벽에 도달 한 것 같습니다."
Giorgio

1
@Jarrod : 모든 의미있는 표현 컴퓨터 언어는 복잡합니다.
DeadMG

1
@DeadMG : 구성표는 매우 단순하고 동시에 매우 표현력이 뛰어납니다. 불행히도 내가 아는 한 표준화 된 라이브러리가 부족합니다.
Giorgio

Erlang은 표현력이 뛰어나고 구문 적으로 복잡하지 않습니다. 나는 모든 기능적 언어가 덜 예약 된 키워드로 표현력을 향상 시킨다고 생각합니다.
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.