Programming in Sala 책으로 스칼라 스터디하면서 정리했던 내용이다. 지금은 3판 번역본도 나왔지만, 약간 앞서서 스터디를 시작해서 2판으로 진행하고 있다.

3장

배열

• 파라미터화(parameterization) : new를 사용해 객체를 인스턴스화 할때에 값과 타입을 파라미터로 전달하는 것

val greetStrings: Array[String] = new Array[String](3)

• 인스턴스 타입은 타입 파라미터 까지만 포함됨 : (3) 은 제외

val greetStrings = new Array[String](3)
greetStrings(0) = "Hello"
greetStrings(1) = ", "
greetStrings(2) = "World!\n"
for (i <- 0 to 2)
  print(greetStrings(i))

• 메소드가 파라미터를 하나만 요구하는 경우, 그 메소드를 점(.)과 괄호 없이 호출할 수 있다. 단, 호출 대상 객체가 명시적으로 지정되어 있는 경우에 가능 0 to 2 === (0).to(2)
• 스칼라는 전통적인 의미의 연산자가 없으므로 연산자 오버로드를 제공하지 않으며, 대신 +, -, *, / 등의 문자를 메소드 이름으로 사용 가능 1 + 2 === (1).+(2)
• 배열도 평범한 인스턴스 : 변수 뒤에 하나 이상의 값을 괄호로 둘러싸서 호출하면, 스칼라는 변수에 대해 apply 메소드 호출 greetStrings(i) === greetStrings.apply(i)
• 변수 뒤에 괄호로 둘러싼 인자들이 있는 표현식에 할당을 하면, 스칼라는 update 메소드를 호출 greeStrings(0) = "Hello" === greetStrings.update(0, "Hello")

val numNames = Array("zero", "one", "two")

• Array의 동반 객체에 정의된 apply라는 팩토리 메소드 호출

리스트

같은 타입의 변경 불가능한 시퀀스

val oneTwo = List(1,2)
val threeFour = List(3,4)
val oneTwoThreeFour = oneTwo ::: threeFour

• 리스트 자체를 변환하지 않고 새 값을 갖는 리스트를 만든다.

val twoThree = List(2,3)
val oneTwoThree = 1 :: twoThree

• : 로 이름이 끝나는 메소드는 오른쪽 피연산자에 대해 호출한다.

val oneTwoThree = 1 :: 2 :: 3 :: Nil

• List() === Nil

리스트 메소드

• List() / Nill : 빈 리스트
• List(1,2,3) / 1 :: 2 :: 3 :: Nill : 원소들로 구성된 리스트
• List(1, 2) ::: List(3, 4) : 두 리스트를 연결한 리스트
• thrill(2) : thrill 리스트의 세번째 원소
• thrill.count(s => s.length == 4) : 길이가 4인 것의 갯수
• thrill.drop(2) : 처음 두 원소를 뺀 리스트
• thrill.dropRight(2) : 마지막 두 원소를 뺀 리스트
• thrill.exists(s => s == "until") : "until"이 리스트에 있는지 여부
• thrill.filter(s => s.length == 4) : 길이가 4인 것들의 리스트
• thrill.forall(s => s.endsWith("l")) : 모든 원소가 끝이 "l"로 끝나는지 여부
• thrill.foreach(s => print(s)) : 리스트의 모든 원소에 대해서 print 실행
• thrill.foreach(print) : 상동
• thrill.head : 첫번째 원소
• thrill.init : 마지막 원소 제외한 나머지
• thrill.isEmpty : 리스트가 비어있는지 여부
• thrill.last : 마지막 원소
• thrill.length : 리스트의 길이
• thrill.map(s => s + "y") : 각 원소 뒤에 "y"를 추가한 리스트
• thrill.mkString(", ") : 원소들을 ", "로 연결한 문자열
• thrill.remove(s => s.length == 4) : 길이가 4인 것을 제외한 리스트
• thrill.reverse : 원소를 역순으로 한 리스트
• thrill.sort((s, t) => s.charAt(0).toLower < t.charAt(0).toLower) : 알파벳 순서 정렬한 리스트
• thrill.tail : 첫번째 원소를 제외한 리스트

튜플

다른 타입의 원소들을 갖는 변경 불가능한 시퀀스

val pair = (99, "Luftballons")
println(pair._1) // 99
println(pair._2) // Luftballons

• apply 메소드는 항상 동일한 타입 객체를 반환하기 때문에 pair(0)과 같이 할 수 없음.
• 하스켈, ML 등의 영향으로 인덱스가 1부터 시작

집합과 맵

변경가능 / 불가능 모두 제공

변경 불가능 Set

var jetSet = Set("Boeing", "Airbus")
jetSet += "Lear"

변경 가능 Set

import scala.collection.mutable.Set
val movieSet = Set("Hitch", "Poltergeist")
movieSet += "Shrek"

변경 불가능 Map

val romanNumeral = Map(
    1 -> "I", 2 -> "II", 3 -> "III", 4 -> "IV", 5 -> "V"
)

• -> 메소드를 호출하면 해당 객체를 키로하고 인자를 값으로 하는 원소가 2개인 튜플을 생성

변경 가능 Map

import scala.collection.mutable.Map
val treasureMap = Map[Int, String]()
treasureMap += (1 -> "Go to Island.")

함수형 스타일

• 코드에 var가 있으면 명령형 스타일, 아니면 함수형 스타일
• val, 불변객체, 부수 효과 없는 메소드를 먼저 사용해보고, 꼭 필요한 경우에만 var, 가변객체, 부수 효과 있는 메소드를 사용하라

파일

import scala.io.Source
if (args.length > 0) {
    for (line <- Source.fromFile(args(0)).getLines())
        println(line.length + " " + line)
}
else
    Console.err.println("Please enter filename")

2장

인터프리터 사용법

• 대화형 셸 $ scala
• res번호 식별자는 변수 처럼 사용 가능 ex> res0 * 3
• println("Hello, world!")

변수 정의

• val : 재할당 불가능
• var : 재할당 가능
• 타입 추론으로 타입을 지정하지 않아도 됨

val msg = "Hello"
val msg2: java.lang.String = "Hello"
val msg3: String = "Hello"

var msg4 = "Hello"
msg4 = "World"

함수 정의

def max(x: Int, y: Int): Int = {
    if (x < y) x
    else y
}

• def : 함수 정의 시작
• max : 함수 이름
• (x: Int, y: Int) : 인자 항목
• Int : 함수 결과 타입
• = : 등호
• { } : 함수 본문

Unit 결과 타입은 함수가 의미있는 결과를 반환하지 않는다는 의미

스칼라 스크립트

• 실행 방법 예 $ scala hello.scala
• 명령행 인자 접근 : args args(0), args(1), ...

반복 / 분기

• while while (i < args.length)
• if if (i != 0) print(" ")
• foreach args.foreach(arg => println(arg)) args.foreach(println)
• for for (arg <- args) println(arg)

함수 리터럴

(x: Int, y: Int) => x + y

• (x: Int, y: Int) : 인자 항목
• => : 오른쪽 화살표
• x + y : 함수 본문

함수 리터럴이 인자를 하나만 받는 문장인 경우에는 해당 인자에 이름을 붙일 필요가 없다 (8.6절)

Programming in Sala 책으로 스칼라 스터디하면서 정리했던 내용이다. 지금은 3판 번역본도 나왔지만, 약간 앞서서 스터디를 시작해서 2판으로 진행하고 있다.

1장

스칼라

• 확장 가능 언어
• 객체지향과 함수형 프로그래밍 개념을 정적 타입 언어에 합쳐 놓은 언어

확장성

타입

• 언어가 기본 지원하는 것처럼 느껴지는 스칼라 표준 라이브러리로 타입을 제공
• 라이브러리로 새로운 타입을 만들어 내장 타입처럼 편하게 사용할 수 있음

제어구조

• 액터 모델을 구현하는 라이브러리를 제공하여 스칼라 내장 구성요소처럼 사용함
• 새로운 분야에 대한 추상화를 설계/구현하고 언어가 원래 지원하는 것처럼 사용 가능

확장성의 이유

객체지향적

• 스칼라는 순수한 형태의 객체지향 언어 : 모든 값은 객체, 모든 연산은 메소드
• Trait : 끼워넣기 좋은 구성 요소

함수형

• 함수는 1급 계층 값 : 인자로 넘길 수 있고, 변수에 저장 가능하고, 함수에서 반환 가능
• 메소드에는 부수 효과가 없어야 함

스칼라 장점

• 호환성 : 자바 메소드 호출, 필드 접근, 클래스 상속, 인터페이스 구현 가능
• 간결함 : 적은 얼개 코드 사용, 타입 추론, 라이브러리 정의 도구
• 고수준 : 높은 수준 추상화 가능
• 정적타입
  • 타입 추론으로 장황함 회피, 패턴 매치와 타입을 쓰고 합성하는 방법으로 유연성 확보
  • 프로퍼티 검증, 안전한 리펙토링, 문서화

스칼라의 뿌리

• 문법 : 자바, C#
• 일관성 있는 객체 모델 : 스몰토크, 루비
• 보편적인 내포 : 알골, 시뮬라, Beta, gbeta
• 메소드 호출, 필드 선택을 통일하게 처리하는 단일 접근 원칙 : Eiffel
• 함수형 프로그래밍 접근 방식 : SML, OCaml, F#
• 스칼라 표준 라이브러리의 고차 함수 중 다수 : ML, 하스켈
• 암시적 파라미터 : 하스켈의 타입 클래스
• 액터 기반 동시성 라이브러리 : 얼랑