[Haskell] #0 Hello, Haskell!

안녕하세요, 레몬킴입니다🍋

 

매일 같이 만만한 글감을 찾아 헤매고 있었는데 마침.. 제가 Haskell 스터디를 시작하게 되었네요? ㅎ

잘 됐네요! (부담스럽지 않은) 글감이 생겼어! 

 

혹시라도 틀린 부분이나 질문 제보해주시면 매우 감사하겠습니다 :) 

 

교재로는 가장 쉬운 하스켈 책 (영어 원문은 무료로 공개되어 있습니다 http://learnyouahaskell.com/chapters. 원문이 더 쉽다는 평이 많긴 합니다.)

컴파일러는 온라인 IDE https://repl.it/languages/haskell 사용하고 있습니다.

 

책에서는 GHCi를 직접 설치해 사용하는데, 저는 설치에 실패해서.. 성공하면 또 올려드릴게요...😂

몇 번의 삽질 끝에 성공했습니다 :) 혹시 궁금하신 분은 참고해주세요 

2020/01/11 - [개발 삽질기/그 외] - [Haskell] MAC OS에 GHC (Haskell 컴파일러)설치하기

 

그나저나, Haskell이 뭘까요?

제가 참고하고 있는 교재에서의 정의는 다음과 같습니다.

 

1. 하스켈은 순수 함수형 프로그래밍 언어이다. (Purely Functional)

함수형 프로그래밍은 어떤 작업을 하라고 컴퓨터에게 알려주는 것이 아니라 그 작업이 무엇인지를 알려준다. 이러한 작업을 함수라고 한다.

그리고 한 번 함수 내에 변수를 설정했으면 그 값을 바꿀 수 없다. 이 것을 부작용(side effect)가 없다고 한다.

따라서, 어떤 함수를 같은 매개 변수로 두 번 호출하면 항상 그 결과는 같다. 이를 참조 투명성이라고 한다.

 

2. 하스켈은 Lazy하다.

필요한 시점까지 작업을 미룬다. 만약 배열의 100번째까지 합을 계산하라고 하고 그 값을 출력하거나 사용하지 않으면, 하스켈은 그 값을 계산하지 않는다.

 

3. 하스켈은 Statically Typed 이다.

하스켈을 사용할 때는 모든 변수의 타입을 일일히 지정해주지 않아도 된다. 하스켈은 런타임이 아닌 컴파일 시점에서 모든 변수의 타입을 스스로 알아낸다. 

 

4. 하스켈은 우아하고 간결하다.

하스켈은 코드가 짧다. 이는 버그를 줄여주고 유지보수를 쉽게 한다.

 

...라고 하네요. 아직까지는 실제 코드를 보지 못해서 이해가 잘 안되네요. 그렇다면 콘솔을 켜고 기본적인 자료형들을 살펴볼까요?

 

이번에 살펴볼 내용들

1. 숫자

2. 문자열 

3. Bool

4. 함수

5. if문

6. 콘솔을 사용한다면 사용할 간단한 출력 함수 putStrLn

 

 

책에서는 서문 + 1장의 리스트 전 까지의 내용입니다.

 

그럼 어디 한 번 온라인 에디터를 켜서 헤딩(...)해볼까요?

https://repl.it/languages/haskell

 

1. 숫자

정수형, 부동소수점을 지원합니다.

사칙 연산은 다른 것과 똑같네요

2. 문자열

" "로 감싸면 됩니다. "안녕" 처럼.

hi = "hello"

Haskell에서 문자열은 Char의 List이기 때문에, ++ 연산자를 사용해야 합니다. 

아래의 a + b는 '+' 가 숫자만 받는 타입이라서 동작하지 않고 오류가 나네요.. 나중에 문자열 연산에 들어가면 알 수 있겠죠, 뭐!

 

3. Bool

False, True 로 값을 표현하고, ||으로 or, && 가 and, not(변수)으로 부정을 만들 수 있습니다.

흔히 보이는 !(변수)는 동작하지 않네요.

false = False
true = True

False && True //False
False || True // True
not (False) // True !(True)는 동작하지 않습니다. ! 연산자는 없나봐요. 혹시 아시는 분 있으시면 알려주세요!

 

4. 함수

Haskell은 함수형 프로그래밍 언어이죠. 그 때문에 함수도 변수처럼 선언하고 사용도 할 수 있답니다.

사실 우리는 저 위의 예제를 하면서도 계속 함수를 쓰고 있었어요!

 

혹시 무엇인지 눈치채셨나요? 맞아요. +, -, /... 등등이 모두 다 함수 입니다.

a + b 처럼 매개 변수의 중간에 온다고 해서 중위 함수라고 해요

 

일반적인 저희가 아는 형태의 함수들은 이름이 앞에 오고, 뒤에 매개 변수들이 오죠. 그걸 전위 함수라고 부릅니다.

http://learnyouahaskell.com/starting-out#ready-set-go  의 예제를 데려와 봤습니다. 

후위 함수도 되나 시도해봤는데... 오류가 나네요. 이건 조금더 공부해 보면 나오지 않을까 싶네요!

 

함수 정의 (Declaration)

//1개의 매개 변수를 받는 함수
doubleme x = x + x

//2개의 매개 변수를 받는 함수
addme a b = a + b

//함수 안에서 또 함수 부르기
doubleus a b = doubleme a + doubleme b

//함수명은 대문자가 되지 않습니다!
Doubleme x = x + x //오류!


hello' a = a + 2
// '(Apostrophe)도 사용할 수 있어요. 함수명에 이것이 붙는 경우는 책에서는 Haskell의 일반적인 함수처럼 Lazy 하지 않고, 즉각적으로 수행을 하는 (strict)함수나, 이름이 비슷한 함수나 변수에게 붙인다고 합니다.

 

함수 호출

doubleme x = x + x //정의

doubleme 3 // 호출. 결과 6


//2개의 매개 변수를 받는 함수

addme a b = a + b

addme 3 4  // 7


//호출, 함수 정의 시 정의 순서는 전혀 상관 없습니다!

doubleme (doubleus 4 3)

 

함수 중첩 사용

doubleme x + x  //정의

doubleme (doubleme 3)  //사용. 결과 12

 

+ 함수는 우선순위가 가장 높다.

함수는 우선 순위가 가장 높습니다. 아래 예를 보죠!

//함수가 가장 높은 우선순위를 갖는다...!
 
succ 2 * 3 //은 7이 아니라 9
//succ2 가 먼저 실행되어 3이 되고, 그 이후 3 *  3이 되어 9가 된다.

(succ 2) * 3 //즉 이와 같음

//우선 순위를 바꾸려면 아래처럼 괄호를 씌우자.

succ (2*3)

5. if 문 

Haskell에서, if문을 사용할 때, else는 필수 입니다. 비워두어서는 안되어요!

isBiggerThan100 a = if a > 100 then True else False // 1줄로 선언 하기

doubleSmallNumber x = if x > 100
then x
else x* 2


doubleSmallNumber x = (if x > 100 
then x 
else x* 2) + 1


//괄호도 사용해서 묶을 수 있습니다

6. Interactive Compiler가 아닐 경우 사용할 간단한 출력 함수 putStrLn

저는 설치에 계속 실패하고 있어서 온라인 Interactive Compiler를 썼지만, 누군가는 성공하셔서 컴파일 하실 것 같기에... 

코드는 제가 쓰고 있던 온라인 IDE의 예제 코드와 해커랭크의 첫 번쨰 하스켈 문제를  참조했습니다!

main = do 
  putStrLn "출력" //탭으로 들여쓰기 해주세요! 각 함수와 구문을 구별하는 듯 합니다
  name <- getLine //입력을 받습니다. 엔터로 입력을 끝낼 수 있습니다
  putStrLn ( "Hey, " ++ name)

 

마무리 & 심화 학습(?)

쓰다보니까 저도 모르게 변수 타입을 적지 않는 거에 익숙해지네요ㅋㅋ 확실히 타입 관련 시스템이 강력하다는 건 잘 알겠습니다. 함수형이라서 객체라는 개념은 없는 것 같으니.. 자꾸 저도 모르게 객체 선언은 어떻게 하지? 하며 찾고 있다가 아 이거 함수형이지 맞다 하고 다시 되돌아가게 되네요. 함수형 프로그래밍은 정말 생소하긴 하네요. 쓰다 보면 익숙해지겠죠?

 

 

심화학습?

 

해커랭크에서도 Haskell로 함수형 프로그래밍을 학습할 수 있는 코스를 열어두었네요. 영어가 되신다면 해보아도 좋을 것 같습니다 :)

https://www.hackerrank.com/challenges/fp-solve-me-first/problem