출처: https://www.boostcourse.org/mo001/lecture/333385

Statically Typed

기본은 정적 타입 언어

• 컴파일 시 변수의 자료형(type)이 결정되기 때문에 안전하다.
• 정적 타입의 반대는? 동적 타입 (Dynamically Typed)
  - 정적 타입 언어: C, C++, Java, Kotlin, ...
  - 동적 타입 언어: JavaScript, Python, Objective-C, PHP, ...

• 단, Kotlin/JS에서는 동적 타입 지원을 위해 dynamic 키워드를 제공한다.
• 자료형을 명시하지 않아도 자료형 추론이 가능하다.

Inter-operable

Java와 100% 호환 (Kotlin/JVM)

관련 포스트 클릭!

• 코틀린 컴파일러는 자바 중간 코드(ByteCode)를 생성함.
• 이미 존재하는 자바 라이브러리 그대로 이용 가능함.
• 자바와 코틀린 섞어서 써도 됨.

Null Safety

NPE을 방지할 수 있는 안전성

포인터가 가리키는 곳을 따라서 갔는데, 그곳에 메모리 자체가 규정되어 있지 않을 때 Null Pointer Exception이 발생한다! 🤯

이런 상황을 방지하려면? 널이 가능한 자료형 (Nullable Type)과 불가능한 자료형 (Non-Null Type)을 구분한다!

var a: String? = null // nullable (a는 문자열형이야? null 쓸거야?) 
var b: String = "Hello" // non-null (b는 문자열이야. null 안 돼.) 
b = null // Error 

// 컴파일 불가
var name: String? = null
val len = name.length // 에러: null 가능성 있는 경우 length에 접근 불가

// 컴파일 가능, Safe Call 사용
var name: String? = null
val len = name?.length // name이 null이 아닐 경우에만 length에 접근 

Immutable

상태를 바꾸지 않는 '불변성' 제공

• val (value) = Immutable = Final variable = 할당 후 변경 불가
• var (variable) = Mutable = Non-Final variable = 언제든 변경 가능

val one: Int = 10 // Java: final int one = 20; (고정) 
one = 12 // Error

var two: Int = 2
two = 5 // OK 

val mutableList = mutableListOf<Int>(1, 2, 3, 4) 
// .add() .remove() 이용해서 요소 추가, 삭제 가능 (가변성) 

val immutableList = listOf<Int>(1, 2, 3, 4) 
// .add() .remove() 이용해서 요소 추가, 삭제 불가능 (불변성) 

자바는 불변성을 제공하는 컬렉션이 없었지만, Java 9에서부터 제공하기 시작했다.
ex) List a = List.of("a", "b", "c");

즉, 버전에 따라서 될 수도 있고 안 될 수도 있다. 하지만 코틀린은 기본적으로 변수를 mutable, immutable 이 두가지 상태로 구분한다!

Concise

코드의 간결성

• 자바처럼 장황하지 않은 깔끔함! 보일러플레이트 코드의 최소화!
• 보일러플레이트 코드는 꼭 필요하긴 한데, 반복적으로 작성해야 해서 번거로운 코드를 의미한다.
  ex) 자바 클래스의 private 멤버 변수에 접근하기 위한 getter, setter를 코틀린에서는 데이터 클래스 사용으로 간결화 할 수 있다.

Extension Functions

확장 함수

클래스 상속이나 디자인 패턴을 사용하지 않고도 클래스의 확장 함수를 만들어서 기능을 확장할 수 있다. 단, 너무 많이 사용하면 기능이 남발하게 되므로 가독성이 떨어질 수 있다.

아래 예시처럼 String 클래스의 확장 함수 lastChar()를 만들면, 수신 객체로 받은 문자열의 마지막 문자 '5'가 리턴된다.

Functional Programming

함수형 프로그래밍

• 함수의 유기적 연결을 통한 프로그래밍 방식
• 함수를 일급 객체 (First-class citizens)로 사용할 수 있게 된다. 즉, 함수가 갖는 권한이 많아진다.

fun add(a: Int, b: Int) = a + b
fun substract(a: Int, b: Int) = a - b

fun main() {
	// 일급 객체는 함수의 인자, 반환값, 
    // 심지어 아래 코드처럼 리스트 같은 자료구조에도 넣을 수 있다! 
	val functions = mutableListOf(::add, ::substract) 
    
    println(functions[0])
    // fun add(kotlin.Int, kotlin.Int): kotlin.Int
    
    // functions[0]는 add 함수 
    println(functions[0](12,30))
    // 12+30 = 42 
    
    // functions[1]은 substract 함수 
    println(functions[1](57,15))
    // 57-15 = 42 
}

• 람다(Lambda)식으로 선언되지 않고도 익명의 함수 기능을 식에 전달할 수 있다.

fun calculator(a: Int, b: Int, sum: (Int, Int) -> Int): Int {
	return a + b + sum(a, b)
}

fun main(){
	val out = calculator(11, 10, { a, b -> a + b })
    // 		  calculator(11, 10) { a, b -> a + b } 와 동일 
    // 11+10+(11+10) = 42
    println(out)
}

이처럼 함수형 프로그래밍은 복잡한 식을 간결화 할 수 있다는 게 가장 중요한 특징이다.

마무리

이외에도 코틀린은 Coroutines (비동기 처리), DSL (Domain-Specific Language), Multiplatform, Higher-order Functions, OOP 등 많은 특징을 갖고 있다! 앞으로 차차 이러한 내용에 대해 자세히 배우게 될 것이다.

요약

• 자료형에 대한 오류를 미리 잡을 수 있는 정적 언어입니다.
  코틀린은 프로그램이 컴파일될 때 자료형을 검사하여 확정하는 정적 언어입니다. 즉 자료형 오류를 초기에 발견할 수 있어 프로그램의 안정성이 좋아집니다.

• 널 포인터로 인한 프로그램의 중단을 예방할 수 있습니다.
  컴퓨터 프로그래밍에 관심이 많은 독자라면 널 포인터 예외(Null Pointer Exception)을 한번쯤은 경험했거나 들어본 적이 있을 것입니다. 널 포인터 오류는 프로그램이 실행되는 도중에 발생하기 때문에 언제 어디서 어떻게 발생할지 아무도 알 수 없습니다. 오랫동안 프로그래머의 골치를 아프게 만든 주범이죠. 하지만 코틀린은 널 포인터 오류를 미리 예방할 수 있습니다.
  ▶ 보통 개발자들은 코틀린의 이런 특징을 'NPE에서 자유롭다'라고 말합니다.
  ▶ NPE는 Null Pointer Exception을 줄여 말한 것입니다.

• 아주 간결하고 효율적입니다.
  코틀린은 여러가지 생략된 표현이 가능한 언어입니다. 그래서 다른 언어보다 훨씬 간결하고 효율적으로 코딩을 할 수 있습니다.

• 함수형 프로그래밍과 객체지향 프로그래밍이 모두 가능합니다.
  함수를 변수에 저장하거나 함수를 다른 함수의 매개변수로 넘길 수 있는 함수형 프로그래밍과 클래스를 사용하는 객체지향 프로그래밍을 모두 할 수 있습니다.
  ▶ 보통 이런 특징을 '멀티 패러다임 언어'라고 부릅니다.

• 세미콜론을 생략할 수 있습니다.
  코드를 작성할 때 문장의 마지막에 사용하던 세미콜론(;)은 생략할 수도 있습니다.