Scala

// scala 2
  object HelloWorld extends App {
   println("Hello, World!")
 }

// scala 3
  @main def hello() = println("Hello, World!")

<colbgcolor=#ffffff,#1f2023><colcolor=#380D09,#ffffff> Scala
개발	마틴 오더스키
라이선스	Apache 2.0
최초 공개일	2004년 1월 20일
버전	3.5.1

1. 개요

2. 주요 특징

2.1. 쉬운 언어 확장과 DSL

2.1.1. 연산자

2.1.2. 이름으로 평가(call-by-name evaluation)

2.2. 트레이트(trait)

// 예를 들어 아래와 같은 클래스가 있다고 쳐보자.
Server extends Logger

// Server의 인스턴스를 만들 때 아래처럼 선언하면 파일로 로깅한다.
Server extends FileLogger

// 아래처럼 하면 네트워크를 통해 로그를 남긴다.
Server extends NetworkLogger

// 아니면 아래처럼 하면 파일과 네트워크에 모두 로그를 남길 수 있다.
Server extends FileLogger with NetworkLogger

2.3. 짧은 소스

2.3.1. 생성자, 상속

2.3.2. 게터/세터 자동 생성

2.3.3. 싱글톤

2.3.4. 타입 추론

Person p = new Person();

2.3.5. apply

2.3.6. 그 외 편의 문법

(a, b) => a + b

2.4. 패턴 매칭

2.4.1. unapply

(key, val) = t

2.5. 함수형 프로그래밍 언어

2.5.1. 함수는 값이다

#!syntax kotlin
val increment = (i: Int) => i + 1

2.5.2. 불변성

#!syntax kotlin
val arr = Array(1, 2, 3, 4, 5)
arr = Array(1, 2, 3) //다른 객체를 가리키는 것은 금지

#!syntax kotlin
val arr = Array(1, 2, 3, 4, 5)
arr(0) = 0 //가리키고 있는 객체의 상태가 바뀌는 것은 허용

2.5.3. for comprehension

2.5.4. 타입클래스

2.5.5. 함수형 프로그래밍 생태계

2.5.6. 스칼라에서의 함수형 프로그래밍에 대한 한계

• JVM이 TCO를 미지원하기 때문에 많은 경우에 트램폴린을 통해 안정성을 확보하지만 코드가 복잡해지고 스택이 아니라 힙을 사용하는 이상 캐시미스가 필연적이라 성능이 하락한다.(JVM 19부터 실험적인 기능으로 TCO를 활용할 수 있게 되기 때문에 해결될 가능성이 있다.)
• 서브타이핑 지원으로 인해 전역 타입추론이 불가능하고, 지역 타입추론만이 가능하다.
• 타입클래스 인코딩에 대한 언어 자체적인 내장 기능이 없다.
• 암묵적인 요소를 많이 사용하면 컴파일 시간이 늘어난다.
• Haskell보다 타수가 많다.
• Kind polymorphism 등 Haskell이 지원하는 몇몇 고급 기능을 지원하지 않는다. 예를 들면 TypeTag의 표현이 있다. TypeTag[Int]와 TypeTag[List] 모두 스칼라에 존재하지만 전자는 Kind * -> *, 후자는 Kind (* -> *) -> *이기 때문에 엄연히 다르다. 현재 스칼라의 문법으로는 이 둘을 올바르게 구분/표현해낼 방법이 없다. Dotty에서 AnyKind라는 새로운 타입이 추가될 예정이다.
• 함수들이 기본적으로 커링(Currying) 된 상태가 아니다.

2.6. 문맥적 추상화

2.6.1. 확장 메소드(Extension method)

#!syntax kotlin
class A {
  val x: Long
}

object Extension {
  def isEven(a: A) =  a.x % 2 == 0
}

// 실제 사용하는 곳
Extension.isEven(a)

#!syntax kotlin
extension (a: A)
  def isEven =  a.x % 2 == 0  // 확장 메소드 정의

a.isEven // 확장 메소드 기능으로 이와 같이 가능

2.6.2. 암묵적 변환(Implicit Conversion)

2.6.3. 문맥 파라미터(Context Parameter)/문맥 바운드(Context Bound)

2.7. 자바와의 상호 호환

2.8. XML 지원

3. 기타

4. 외부 링크

• 공식 홈페이지
• 자바 프로그래머를 위한 스칼라 튜토리얼(공식 홈페이지)[26]
• 스칼라 학교(번역)[27]
• 이펙티브 스칼라[28]

5. 관련 문서

• 프로그래밍 언어
• JVM
• Java