[erlang] 순차 프로그래밍

작성 소스

https://github.com/ElementalKiss/Erlang/tree/master/example

모듈

모듈은 얼랭에서 코드의 기본 단위. 확장자는 .erl인 파일에 저장된다.

코드가 실행되기 위해선 컴파일을 해야 한다. 컴파일 된 모듈은 .beam 확장자를 가진다.

간단한 모듈 만들어보기

geometry.erl

-module(geometry).
-export([area/1]).
% area 함수는 2개의 절로 구분된다.
% 함수는 여러개의 절로 될 수 있으며 ;로 구분하고
% 마지막 절은 .으로 마친다.
 
% 일반적인 모양 : funcationName ({pattern}) -> statement
 
area({rectangle, Width, Ht}) -> Width*Ht;
area({circle, R}) -> 3.14*R*R.

shop.erl, shop1.erl

shop.erl
 
-module(shop).
-export([cost/1]).
 
% shopping list
cost(orange) -> 5;
cost(newspaper) -> 8;
cost(apples) -> 2;
cost(pears) -> 9;
cost(milk) -> 7.
 
shop1.erl
 
-module(shop1).
-export([total/1]).
 
total([{What, N}|T]) -> shop:cost(What) * N + total(T);
total([]) -> 0.
 
% 예시 shop1:total([{pears, 6}, {milk, 3}]).
% 첫 번째 절에서 What |-> pears로 T |-> {[milk,3]}으로 매치된다.
% 식은 show:cost(pears) * 6 + total([{milk, 3}])으로
% 되므로 순차적으로 계산된다.

장점

C나 C++보다는 확장성이 좋다.

코드가 간결하고 관련 코드가 한 곳으로 집중된다.

export(Name/N) 알아보기

Name이란 이름의 함수로 N개의 인자를 가진다는 의미. N을 함수의 애리티(arity)라고 부른다.

-module(geometryEX).
-export([area/1]).
% area 함수는 2개의 절로 구분된다.
% 함수는 여러개의 절로 될 수 있으며 ;로 구분하고
% 마지막 절은 .으로 마친다.
 
% 일반적인 모양 : funcationName ({pattern}) -> statement
 
area({rectangle, Width, Ht}) -> Width*Ht;
area({circle, R}) -> 3.14*R*R;
area({square, X}) -> X*X.
 
% 확장이 용이하다.

이름이 같고 애리티가 다른 함수(오버로딩?)

-module(lib_misc).
-export([sum/1, sum/2]).
 
% 관례적으로 얼랭 프로그래머들은
% 동일한 이름에 애리티가 다른 함수를 보조(auxiliary)함수로 사용한다.
sum(L) -> sum(L, 0).
 
sum([], N) -> N;
sum([H|T], N) -> sum(T, H+N).
 
% sum(L)은 sum/2의 보조 루틴을 사용한다.

펀(fun)

익명(anonymous) 함수. 

간단한 예시

펀의 장점

- 함수의 인수로 사용할 수 있고, 함수가 펀을 반환할 수 있다.

- 함수를 인자로 받거나, 반환하는 함수를 가르켜 고차 함수(higher-order function)이라고 부른다.

필자의 말 - 고차원 함수는 함수형 프로그래밍 언어의 정수(essence)다. 코드의 복부에 대고 불을 뿜는 용이다.

펀을 인수로 갖는 함수.

표준 라이브러리에 있는 lists 모듈은 인수가 펀인 함수를 여럿 익스포트 한다.

엄청 유용한 lists:map(F, L) 예시

다음으로 유용한 lists:filter(P, L) 예시

펀을 반환하는 함수.(사용은 드문 편)

Double을 일반화하여 다른 배수 함수를 만드는 예시

fun(X) -> X*Times end 바깥의 Mult에서 가져오는 Times를 인수로 가져온다.

반환 값 자체는 Mult(3) 자체는 펀을 리턴하게 되고 그 리턴을 Triple이 받아 3배 하는 함수를 정의할 수 있다.

리스트처리

sum과 map 구현해보기.

-module(mylists).
-export([sum/1, map/2]).
 
sum([H|T]) -> H+sum(T); % 1
sum([]) -> 0.           % 2
 
% sum([1,3,10]) 과정
% 1 + sum([3,10]) 1에 의해 실행
% 1 + 3 + sum([10]) 1에 의해 실행
% 1 + 3 + 10 + sum([]) 1에 의해 실행
% 1 + 3 + 10 + 0 2에 의해 실행
 
map(_, []) -> [];
map(F, [H|T]) -> [F(H)|map(F,T)].

리스트 해석

list comprehension은 펀, 맵, 필터를 사용하지 않고 리스트를 생성하는 식.

프로그램을 더 짧고 이해하기 쉽게 만든다.

리스트 생성하는 방법들.

표기법 [F(X) || X <- L]의 의미

리스트 L로부터 X를 받는 리스트 F(X)라는 의미.

산술식

가드

패턴 매칭의 능력을 증가시키는 데 사용할 수 있는 구조.

X와 Y의 최대값을 계산하는 max(X, Y) 함수 작성 예시

max(X, Y) when X > Y -> X;

max(X, Y) -> Y.

첫 번째 절이 매치하지 않으면, 두 번째 절을 시도한다.

가드가 식으로 사용 될 경우 애텀 true 또는 false 중 하나로 평가된다.

가드 시퀀스

하나의 가드 혹은 세미콜론(;)으로 구분된 일련의 가드'들'

Guard1, Guard2, ... , GuardN의 형태로 표현한다.

쉼표(,)로 구분되고 모든 가드가 참으로 평가되어야 true로 평가된다.

is_tuple(T), size(T) =:= 6, abs(element(3, T)) > 5 등

다양한 방식으로 가드를 붙여서 사용할 수 있다.

True 가드 사용하기.

C 언어의 case의 default나 if문의 else와 활용도가 유사.

레코드

튜플의 요소 수가 커지는 경우 문제가 생길 수 있다.

튜플 안의 특정 요소와 이름을 연관 짓는 방법을 제공하는데 이것이 레코드.

예시

-record(todo, {status=reminder, who=elkiss, text}).

record.hrl 파일로 위와같이 만든다. 할일 리스트!

rr 명령을 통해 hrl 파일을 부른다.

#[레코드명] 명령으로 레코드를 생성하고 갱신할 수 있다.

레코드는 변장한 튜플일 뿐이다.

rf([레코드명])을 통해 다시 튜플로 바꿔 사용할 수 있다.

case, if

case

case Expression of
    Pattern1 [when Guard1] -> Expr_seq1;    
    Pattern2 [when Guard2] -> Expr_seq2;
    ...
end

if

if
    Guard1 ->
        Expr_seq1;
    Guard2 ->
        Expr_seq2;
    ...
    true ->
        Expr
end