Scala Dotty

vies00·2019년 8월 26일
0
post-thumbnail

Scala 3

  • 주요 컨셉 : Dependent Object Types (DOT)
  • DOT 이란 : core calculus for path-dependent types, Scala 3의 핵심 개념
  • DOTTY란?
    Scala 3의 프로젝트명이자, DOT을 지원하는 새로운 컴파일러 이름이다.
    (Scala 3 에서는 scalac 대신 dotc를 사용한다)

Path dependent types

그렇다면 path-dependent types란 무엇인가?
아래와 같은 경우, Inner 클래스는 Outer 객체에 dependent한 type이다.

따라서 아래와 같은 경우, 기존에는 에러가 발생하였다.

[image:2A2B5D4A-4BE8-495E-9349-74F6D10A8B14-277-0000105E85E7D07B/1CB4FB1F-C690-42C4-99C5-2EB217B83E38.png]
image.png

그래서 뭐가 바뀌나?

이제 아래와 같은 코드가 가능하다

Reference

profile
김카레

0개의 댓글