구문 디자인-인수가 전달되지 않을 때 왜 괄호를 사용합니까?

많은 언어에서 구문 function_name(arg1, arg2, ...)은 함수를 호출하는 데 사용됩니다. 인수없이 함수를 호출하려면을 수행해야합니다 function_name().

컴파일러 또는 스크립트 인터프리터가 ()이를 함수 호출로 성공적으로 감지 해야하는 것이 이상합니다 . 변수가 호출 가능한 것으로 알려진 경우 왜 function_name;충분하지 않습니까?

반면에 일부 언어에서는 다음 function_name 'test';과 같이 할 수 있습니다 : 또는 function_name 'first' 'second';함수 나 명령을 호출 할 수도 있습니다 .

괄호는 우선 순위를 선언하는 데 필요하고 다른 곳에서는 선택 사항이 낫다면 더 좋을 것이라고 생각합니다. 예를 들어,하는 if expression == true function_name;것만 큼 ​​유효해야합니다 if (expression == true) function_name();.

내 생각에 가장 성가신 것은 'SOME_STRING'.toLowerCase()프로토 타입 함수에 인수가 필요하지 않은 경우에하는 것입니다. 왜 디자이너들은 더 단순한 것에 대해 결정하지 'SOME_STRING'.lower않았는가?

면책 조항 : 틀리지 말고 C와 같은 구문을 좋아합니다! ;) 나는 그것이 더 나을 수 있는지 묻고 있습니다. 필요합니까 ()어떤 성능의 장점을 가지고, 또는 쉽게 코드를 이해하게 하는가? 나는 그 이유가 무엇인지 정말로 궁금합니다.

일급 함수 를 사용하는 언어의 경우 함수 를 참조 하는 구문 은 다음과 같습니다.

a = object.functionName

그 함수 를 호출 하는 행위 는 다음과 같습니다.

b = object.functionName()

a위의 예에서 위의 함수를 참조하고 (함수를 호출하여 호출 할 수 있음 a()) b함수의 반환 값을 포함합니다.

기능을 할 수있는 언어가 괄호없이 호출하는 동안 그들이 여부, 그것은 혼란을 얻을 수 호출 기능을, 또는 단순히 참조 함수에.

실제로 스칼라는이를 준수 할 수있는 규칙을 따르지만이를 허용합니다. 방법에 부작용이있는 경우 어쨌든 괄호를 사용해야합니다.

컴파일러 라이터로서, 나는 괄호의 보장 된 존재가 매우 편리하다는 것을 알았습니다. 나는 항상 그것이 메소드 호출이라는 것을 알고 있었고, 이상한 경우를 위해 분기점을 만들 필요는 없습니다.

프로그래머 및 코드 리더로서, 괄호가 있으면 매개 변수가 전달되지 않더라도 메소드 호출인지 의심 할 여지가 없습니다.

매개 변수 전달은 메소드 호출의 특성을 정의하는 유일한 것이 아닙니다. 매개 변수가없는 메서드를 매개 변수가있는 메서드와 다른 것으로 취급하는 이유는 무엇입니까?

이것은 실제로 구문 선택의 미묘한 차이입니다. 형식화 된 람다 미적분학을 기반으로하는 기능적 언어에 대해 이야기하겠습니다.

상기 언어에서 모든 함수는 정확히 하나의 인수를 갖습니다 . 우리가 종종 "다중 인수"로 생각하는 것은 실제로 제품 유형의 단일 매개 변수입니다. 예를 들어 두 정수를 비교하는 함수는 다음과 같습니다.

leq : int * int -> bool
leq (a, b) = a <= b

단일 쌍의 정수를 사용합니다. 괄호는 기능 매개 변수를 나타내지 않습니다 . 인수 와 패턴을 일치 시키는 데 사용됩니다 . 이것이 실제로 하나의 주장임을 확신하기 위해 패턴 일치 대신 투영 함수를 사용하여 쌍을 해체 할 수 있습니다.

leq some_pair = some_pair.1 <= some_pair.2

따라서 괄호는 실제로 패턴 일치를 입력하고 일부 타이핑을 저장할 수있는 편의성입니다. 필요하지 않습니다.

표면 상으로 인수가없는 함수는 어떻습니까? 이러한 함수에는 실제로 domain이 있습니다 Unit. 의 단일 멤버 Unit는 일반적으로로 작성 ()되므로 괄호가 표시됩니다.

say_hi : Unit -> string
say_hi a = "Hi buddy!"

이 함수를 호출하려면 type 값에 적용 Unit해야 ()하므로 결국 작성 해야합니다 say_hi ().

따라서 인수 목록과 같은 것은 실제로 없습니다!

예를 들어 ()없이 메소드 이름을 사용하는 Javascript에서는 함수를 실행하지 않고 함수 자체를 반환합니다. 이 방법으로 예를 들어 함수를 다른 메소드에 인수로 전달할 수 있습니다.

Java에서 식별자 뒤에 () 또는 (...)이 있으면 메소드 호출을 의미하고 ()가없는 식별자는 멤버 변수를 나타냅니다. 메소드 또는 멤버 변수를 처리하는지 여부를 의심하지 않으므로 가독성이 향상 될 수 있습니다. 실제로 동일한 이름을 메소드와 멤버 변수에 모두 사용할 수 있으며 각각의 구문으로 액세스 할 수 있습니다.

구문은 의미 체계를 따르므로 의미 체계부터 시작하겠습니다.

함수 나 메소드를 사용하는 방법은 무엇입니까?

실제로 여러 가지 방법이 있습니다.

• 인수와 함께 또는 인수없이 함수를 호출 할 수 있습니다.
• 함수는 값으로 취급 될 수있다
• 함수를 부분적으로 적용 할 수 있습니다 (적어도 하나 이상의 인수를 가져와 전달 된 인수를 닫는 클로저 작성)

서로 다른 용도로 비슷한 구문을 사용하는 것이 모호한 언어를 만들거나 최소한 혼란스러운 언어를 만드는 가장 좋은 방법입니다 (그리고 우리는 그 언어를 충분히 가지고 있습니다).

C 및 C와 유사한 언어에서 :

• 괄호를 사용하여 함수를 호출하면 다음과 같이 인수가 포함됩니다 (없음). func()
• 함수를 값으로 취급하는 것은 &func(C 함수 포인터 만들기) 에서와 같이 단순히 이름을 사용하여 수행 할 수 있습니다
• 일부 언어에서는 부분적으로 적용하기위한 간단한 구문이 있습니다. Java는 someVariable::someMethod예를 들어 허용 합니다 (메소드 수신기로 제한되지만 여전히 유용합니다)

각 사용법에 다른 구문이있어 쉽게 구분할 수 있습니다.

부작용이있는 언어에서는 변수의 (이론적으로 부작용이없는) 독서를 구별하는 것이 실제로 도움이됩니다.

variable

부작용을 일으킬 수있는 함수 호출

launch_nukes()

OTOH, (유형 시스템에서 인코딩 된 것 이외의) 부작용이 없다면, 변수를 읽는 것과 인수없이 함수를 호출하는 것까지 구별 할 필요가 없습니다.

다른 대답은 질문을 해결하려고 시도하지 않았습니다. 언어 디자인에 얼마나 많은 중복성이 있어야합니까? x = sqrt yx를 y의 제곱근으로 설정 하는 언어를 설계 할 수 있다고해서 반드시 그럴 필요는 없습니다.

중복성이없는 언어에서 모든 문자 시퀀스는 무언가를 의미합니다. 즉, 실수를 한 번만해도 오류 메시지가 표시되지 않으면 프로그램이 잘못된 작업을 수행하므로 프로그램이 사용자와 다른 작업을 수행 할 수 있습니다 의도하고 디버깅하기가 매우 어렵습니다. (정규 표현식으로 작업 한 사람이라면 누구나 알 수 있습니다.) 약간의 중복성은 많은 오류를 감지 할 수 있고 중복성이 많을수록 진단이 정확할 가능성이 높으므로 좋은 것입니다. 물론, 당신은 그것을 너무 멀리 가져갈 수 있습니다 (요즘 우리 중 아무도 COBOL로 글을 쓰고 싶지 않습니다). 그러나 균형이 맞습니다.

더 많은 단서가 있기 때문에 중복성은 가독성에 도움이됩니다. 중복성이없는 영어는 읽기가 매우 어렵고 프로그래밍 언어에서도 마찬가지입니다.

대부분의 경우 언어 문법에 대한 구문 선택입니다. 다양한 개별 구성체가 모두 함께 취해질 때 (상대적으로) 모호하지 않은 문법에 유용합니다. (일부 C ++ 선언과 같이 모호한 부분이 있으면 해결을위한 특정 규칙이 있어야합니다.) 컴파일러에는 추측 할 수있는 위도가 없습니다. 언어 사양을 따라야합니다.

Visual Basic은 다양한 형태로 값을 반환하지 않는 프로 시저와 함수를 구분합니다.

프로시 저는 명령문으로 호출해야하며 괄호가 필요하지 않으며 쉼표로 구분 된 인수 (있는 경우) 만 필요합니다. 함수는 표현식의 일부로 호출되어야하며, parens가 필요합니다.

두 가지 형식 사이의 수동 리팩토링이 이전보다 더 고통스럽게 만드는 것은 상대적으로 불필요한 구별입니다.

(반면에 Visual Basic의이 같은 괄호 사용하는 ()우리는 다른 언어를 사용 숙고 수, 함수 호출에 같은 배열 참조를 들어, 그래서 배열 참조는 함수 호출처럼 보인다. 그리고 이것은 함수 호출에 배열의 수동 리팩토링을 용이하게! 그래서 []'에게들 배열 참조를 위해, 그러나 나는 digress ...)

C 및 C ++ 언어에서 변수의 내용은 이름을 사용하여 자동으로 액세스되며, 내용 대신 변수 자체를 참조하려면 단항 &연산자 를 적용하십시오 .

이러한 종류의 메커니즘은 함수 이름에도 적용될 수 있습니다. 원시 함수 이름은 함수 호출을 의미 할 수 있지만 단항 &연산자는 함수 (자체)를 데이터로 참조하는 데 사용됩니다. 개인적으로 변수와 같은 구문으로 부작용이없는 인수없는 함수에 액세스한다는 아이디어가 마음에 듭니다.

이것은 다른 구문 선택과 마찬가지로 완벽하게 그럴듯합니다.

일관성과 가독성.

다음 X과 같이 함수를 호출한다는 것을 알게되면 X(arg1, arg2, ...)인수없이 동일한 방식으로 작동 할 것으로 기대합니다 X().

이제 동시에 변수를 기호로 정의하고 다음과 같이 사용할 수 있음을 알게되었습니다.

a = 5
b = a
...

이걸 찾으면 어떻게 생각할까요?

c = X

당신의 추측은 나의 것만 큼 좋습니다. 정상적인 상황에서는 X변수입니다. 그러나 우리가 당신의 길을 가야한다면 그것은 또한 기능 일 수 있습니다! 어떤 심볼이 어떤 그룹 (변수 / 기능)에 매핑되는지 기억해야합니까?

"함수는 대문자로 시작합니다. 변수는 소문자로 시작합니다"와 같은 인공적인 제약 조건을 적용 할 수 있지만, 때로는 디자인 목표 중 일부에 도움이 될 수 있지만 불필요하고 일이 더 복잡해집니다.

참고 1 : 다른 답변은 한 가지 이상을 완전히 무시합니다. 언어를 사용하면 함수와 변수에 동일한 이름을 사용하고 상황에 따라 구별 할 수 있습니다. 참조 Common Lisp예를 들어. 함수 x와 변수는 x완벽하게 공존합니다.

참고 2 : 허용되는 답변은 다음과 같은 구문을 보여줍니다 object.functionname. 첫째, 일류 함수를 가진 언어에는 보편적이지 않습니다. 둘째, 프로그래머로서 나는 이것을 추가 정보로 취급 functionname합니다 object. 여부는 object객체, 클래스 또는 네임 스페이스는 많은 문제가되지 않지만, 자신이 속한 하더군요 곳 . 즉 object., 각 전역 함수에 인공 구문 을 추가 하거나 object모든 전역 함수를 보유 할 일부 구문 을 작성 해야합니다.

어느 쪽이든 함수와 변수에 대해 별도의 네임 스페이스를 가질 수있는 능력을 잃게됩니다.

다른 답변에 추가하려면 다음 C 예제를 사용하십시오.

void *func_factory(void)
{
        return 0;
}

void *(*ff)(void);

void example()
{
        ff = func_factory;
        ff = func_factory();
}

호출 연산자가 선택 사항 인 경우 함수 지정과 함수 호출을 구별 할 방법이 없습니다.

타입 유추를 사용하여 함수가 무엇인지, 함수가 아닌지를 알아낼 수없는 JavaScript와 같은 타입 시스템이없는 언어에서는 더욱 문제가됩니다.