알골 60

3. 특징

공식적으로 정의된 알골 60은 입출력 기능을 갖지 않았으며, 구현체들은 서로 호환되지 않는 방식으로 자체적으로 정의했다. 이는 구현체 간 호환성 문제를 일으켰다.

알골 60은 평가 전략에 대해 두 가지 매개변수 전달 방식을 제공했다: 일반적인 값 호출(call by value)과 이름 호출(call by name)이다. 프로시저 선언 시 각 형식 매개변수에 대해 사용할 방식을 지정했는데, `value` 키워드는 값 호출을 의미하며, 생략하면 이름 호출이 적용되었다.

이름 호출은 참조 호출과는 다른 특정 효과를 가진다. 예를 들어, 매개변수를 `value`나 `reference`로 지정하지 않고 이름 호출을 사용하면, 정수 변수와 해당 변수로 인덱싱된 배열 요소를 교환하는 프로시저(예: `swap(i, A[i])`)를 작성하기 어려울 수 있다. 이는 이름 호출 시 매개변수가 참조될 때마다 다시 평가되기 때문이다.^[19] 이름 호출은 이를 구현하는 데 사용되는 "썽크(thunk)"라는 기법 때문에 컴파일러 설계자들에게 잘 알려져 있다. 도널드 커누스는 재귀 및 비지역 참조를 올바르게 구현하는 컴파일러를 구분하기 위해 "남자 또는 소년 테스트"를 고안했는데, 이 테스트에는 이름 호출의 예가 포함되어 있다.

원래 알골 60 명세에는 재귀가 포함되지 않았으나, 일부 위원들의 반대에도 불구하고 마지막 순간에 추가되었다.^[3]

알골 60은 이후 등장한 많은 언어에 영감을 주었다. 토니 호어는 "이 언어는 시대를 너무 앞서가서, 이전의 언어뿐만 아니라 거의 모든 후속 언어보다 개선되었다"고 평가했다.^[4][5]

3. 1. 예약어 및 식별자

표준 버로스 대형 시스템 하위 언어에는 71개의 제한된 식별자가 있다.

그리고 모든 내장 함수 이름도 포함한다.

3. 2. 표준 연산자

4. 코드 예제 및 이식성 문제

알골 60 언어 표준에는 입출력(I/O) 기능이 포함되어 있지 않았다.^[21] 이 때문에 프로그램을 서로 다른 컴퓨터 시스템이나 환경에서 동일하게 실행하기 어려운 이식성 문제가 발생했다. 가장 기본적인 예시인 '헬로 월드' 프로그램조차 표준화된 방법이 없어, 사용하는 알골 구현체(컴파일러 및 라이브러리)에 따라 코드를 다르게 작성해야만 했다.^[22]

예를 들어, 유니시스 메인프레임 환경, 엘리엇 컴퓨터 환경 (엘리엇 알골, 엘리엇 803 알골), ICT 1900 시리즈 환경 등 각각의 시스템은 고유한 방식으로 입출력을 처리했다. 이는 문자열 표기 방식 (따옴표 사용 등),^[24] 입출력 장치 지정 방식 (종이 테이프, 천공 카드, 라인 프린터 등),^[24] 심지어 사용 가능한 문자 집합(대소문자 구분 등)에서도 차이를 보였다. 이러한 차이점들은 알골 60 프로그램의 이식성을 크게 저해하는 요인이 되었다. 각 구현 환경별 코드 예시는 하위 섹션에서 자세히 다룬다.

4. 1. 코드 샘플 비교

procedure Absmax(a) Size:(n, m) Result:(y) Subscripts:(i, k);
value n, m; array a; integer n, m, i, k; real y;
comment n x m 크기의 행렬 a에서 절대값이 가장 큰 원소를 찾아 y에 저장하고, 해당 원소의 인덱스를 i와 k에 저장함;
begin    integer p, q;

    y := 0; i := k := 1;

    for p := 1 step 1 until n do        for q := 1 step 1 until m do            if abs(a[p, q]) > y then                begin y := abs(a[p, q]);

                    i := p; k := q

                end;
end Absmax

BEGIN

  FILE F(KIND=REMOTE);

  EBCDIC ARRAY E[0:11];

  REPLACE E BY "HELLO WORLD!";

  WRITE(F, *, E);

END.

BEGIN

  FILE F(KIND=REMOTE);

  WRITE(F, <"HELLO WORLD!">);

END.

BEGIN

  DISPLAY("HELLO WORLD!")

END.

program HiFolks;

begin

  print ‘Hello world’

end;

HIFOLKS'

BEGIN

  PRINT £HELLO WORLD£L??'

END'

FLOATING POINT ALGOL TEST'

BEGIN REAL A,B,C,D'

READ D'

FOR A:= 0.0 STEP D UNTIL 6.3 DO

BEGIN

  PRINT PUNCH(3),££L??'  (PUNCH(3): 텔레타이프라이터로 출력)

  B := SIN(A)'

  C := COS(A)'

  PRINT PUNCH(3),SAMELINE,ALIGNED(1,6),A,B,C' (SAMELINE: 줄 바꿈 억제, ALIGNED(1,6): 소수점 앞 1자리, 뒤 6자리 형식)

END'

END'

'PROGRAM' (HELLO)

'BEGIN'

  'COMMENT' 열린 따옴표는 '(', 닫힌 따옴표는 ')', 출력 가능한 공백은 %로 써야 함 (일반 공백은 무시됨);

  WRITE TEXT('('HELLO%WORLD')');

'END'

'FINISH'

5. LEAP

LEAP는 알골 60 프로그래밍 언어의 확장으로, 삼중 연결 기억 장치를 제공한다. 이 삼중 연결 기억 장치의 세 가지 항목은 객체의 속성이 특정 값을 갖는다는 연관 관계를 나타낸다. LEAP는 1967년 캘리포니아 대학교 버클리의 제롬 펠드먼(Jerome Feldman)과 MIT 링컨 연구소의 폴 로브너(Paul Rovner)에 의해 개발되었다. LEAP는 SAIL에서도 구현되었다.

6. 표준화

알골 60은 코볼과 함께 표준화를 추구한 최초의 언어 중 하나였다.

• ISO 1538:1984 프로그래밍 언어 - 알골 60 (안정화)
• ISO/TR 1672:1977 알골 기본 기호의 하드웨어 표현 (현재 철회됨)

참조

_[1] 논문 Backus normal Form vs Backus Naur Form 1964-12
_[2] 웹사이트 ACM Award Citation / Peter Naur http://awards.acm.or[...] ACM 2005
_[3] 웹사이트 How recursion got into programming: a tale of intrigue, betrayal, and advanced programming-language semantics https://vanemden.wor[...] 2014
_[4] 웹사이트 Hints on Programming Language Design http://www.eecs.umic[...] 1973-12
_[5] 웹사이트 Revised(3) Report on the Algorithmic Language Scheme (Dedicated to the Memory of ALGOL 60) http://groups.csail.[...] 2009-10-20
_[6] 웹사이트 The Encyclopedia of Computer Languages http://hopl.murdoch.[...]
_[7] 논문 Dijkstra's Rallying Cry for Generalization: the Advent of the Recursive Procedure, late 1950s – early 1960s http://www.dijkstras[...]
_[8] 서적 Software Engineering Centrum Wiskunde & Informatica 2003-06-30
_[9] 간행물 A syntax directed compiler for ALGOL 60 1961-01
_[10] 서적 History of programming languages
_[11] 논문 Some techniques used in the ALCOR Illinois 7090 https://doi.org/10.1[...]
_[12] 논문 The ALCOR Illinois 7090/7094 post mortem dump
_[13] 웹사이트 Rechenautomaten mit Trommelspeicher http://www.fv-tsd.de[...] Förderverein der Technischen Sammlung Dresden
_[14] 논문 Algol in France: From Universal Project to Embedded Culture https://www.academia[...] 2014
_[15] 인용 Kurtz, ''op. cit.'', page 517.
_[16] 학위논문 Etude et réalisation d'un compilateur Algol60 sur calculateur éléctronique du type IBM 7090/94 et 7040/44 https://tel.archives[...] Université Joseph-Fourier - Grenoble I 1964-06
_[17] 학회 Description d'un compilateur ALGOL IBM 1965-04-27
_[18] 서적 An Algol 60 compiler in Algol 60 Mathematisch Centrum 1973
_[19] 서적 Compilers: Principles, Techniques, and Tools Addison-Wesley
_[20] 웹사이트 "803 ALGOL" http://www.billp.org[...] the manual for [[Elliott 803]] ALGOL
_[21] 웹사이트 The ALGOL Programming Language http://www.engin.umd[...] 2022-01-11
_[22] 웹사이트 Hello world! Example Program http://www.engin.umd[...] 2022-01-11
_[23] 문서 Fortran#"Hello, World!" example
_[24] 웹사이트 ICL 1900 series: Algol Language http://www.icl1900.c[...] ICL Technical Publication 3340
_[25] 간행물 Backus Normal Form vs Backus Naur Form 1964