Tweet
Tweet

Slide 1

Slide 1 text

Jossi Wolf @jossiwolf Experimenting with the Kotlin Compiler

Slide 2

Slide 2 text

@jossiwolf

Slide 3

Slide 3 text

@jossiwolf # SDKs should be simple

Slide 4

Slide 4 text

@jossiwolf class ChatSdk

Slide 5

Slide 5 text

@jossiwolf interface MessageFeature { fun poll(): List fun push(message: Message) }

Slide 6

Slide 6 text

@jossiwolf class ChatSdk: MessageFeature { private val messages = mutableListOf() override fun poll(): List = messages override fun push(message: Message) { messages.add(message) } }

Slide 7

Slide 7 text

@jossiwolf class SimpleMessenger: MessageFeature { private val messages = mutableListOf() override fun poll(): List = messages override fun push(message: Message) { messages.add(message) } }

Slide 8

Slide 8 text

@jossiwolf class ChatSdk: MessageFeature by SimpleMessenger()

Slide 9

Slide 9 text

@jossiwolf public final class ChatSdk implements MessageFeature

Slide 10

Slide 10 text

@jossiwolf public final class ChatSdk implements MessageFeature { // $FF: synthetic field private final SimpleMessenger $$delegate_0 = new SimpleMessenger(); @NotNull public List poll() { return this.$$delegate_0.poll(); } public void push(@NotNull Message message) { Intrinsics.checkParameterIsNotNull(message, "message"); this.$$delegate_0.push(message); } }

Slide 11

Slide 11 text

@jossiwolf public final class ChatSdk implements MessageFeature { // $FF: synthetic field private final SimpleMessenger $$delegate_0 = new SimpleMessenger(); @NotNull public List poll() { return this.$$delegate_0.poll(); } public void push(@NotNull Message message) { Intrinsics.checkParameterIsNotNull(message, "message"); this.$$delegate_0.push(message); } }

Slide 12

Slide 12 text

@jossiwolf public final class ChatSdk implements MessageFeature { // $FF: synthetic field private final SimpleMessenger $$delegate_0 = new SimpleMessenger(); @NotNull public List poll() { return this.$$delegate_0.poll(); } public void push(@NotNull Message message) { Intrinsics.checkParameterIsNotNull(message, "message"); this.$$delegate_0.push(message); } }

Slide 13

Slide 13 text

@jossiwolf public final class ChatSdk implements MessageFeature { // $FF: synthetic field private final SimpleMessenger $$delegate_0 = new SimpleMessenger(); @NotNull public List poll() { return this.$$delegate_0.poll(); } public void push(@NotNull Message message) { Intrinsics.checkParameterIsNotNull(message, "message"); this.$$delegate_0.push(message); } }

Slide 14

Slide 14 text

@jossiwolf public final class ChatSdk implements MessageFeature { // $FF: synthetic field private final SimpleMessenger $$delegate_0 = new SimpleMessenger(); @NotNull public List poll() { return this.$$delegate_0.poll(); } public void push(@NotNull Message message) { Intrinsics.checkParameterIsNotNull(message, "message"); this.$$delegate_0.push(message); } }

Slide 15

Slide 15 text

@jossiwolf public final class ChatSdk implements MessageFeature { // $FF: synthetic field private final SimpleMessenger $$delegate_0 = new SimpleMessenger(); @NotNull public List poll() { return this.$$delegate_0.poll(); } public void push(@NotNull Message message) { Intrinsics.checkParameterIsNotNull(message, "message"); this.$$delegate_0.push(message); } }

Slide 16

Slide 16 text

@jossiwolf class ChatSdk: MessageFeature by SimpleMessenger()

Slide 17

Slide 17 text

@jossiwolf # Kotlin is open source!

Slide 18

Slide 18 text

@jossiwolf github.com/jetbrains/kotlin

Slide 19

Slide 19 text

@jossiwolf $ git clone github.com/JetBrains/kotlin.git

Slide 20

Slide 20 text

@jossiwolf To build Kotlin, you need different JDK versions! - github.com/jetbrains/kotlin #build-environment-requirements

Slide 21

Slide 21 text

@jossiwolf

Slide 22

Slide 22 text

@jossiwolf # Running Kotlin

Slide 23

Slide 23 text

@jossiwolf

Slide 24

Slide 24 text

@jossiwolf

Slide 25

Slide 25 text

@jossiwolf # The Kotlin Compiler

Slide 26

Slide 26 text

@jossiwolf Compiler .kt Bytecode

Slide 27

Slide 27 text

@jossiwolf Compiler https://github.com/ahinchman1/Kotlin-Compiler-Crash-Course

Slide 28

Slide 28 text

@jossiwolf Compiler Lexer https://github.com/ahinchman1/Kotlin-Compiler-Crash-Course

Slide 29

Slide 29 text

@jossiwolf Compiler Parser Lexer https://github.com/ahinchman1/Kotlin-Compiler-Crash-Course

Slide 30

Slide 30 text

@jossiwolf Compiler Parser Lexer Codegen https://github.com/ahinchman1/Kotlin-Compiler-Crash-Course

Slide 31

Slide 31 text

@jossiwolf Compiler Parser https://github.com/ahinchman1/Kotlin-Compiler-Crash-Course

Slide 32

Slide 32 text

@jossiwolf Compiler Parser Syntax Analyzer https://github.com/ahinchman1/Kotlin-Compiler-Crash-Course

Slide 33

Slide 33 text

@jossiwolf Compiler Parser Syntax Analyzer Creates AST https://github.com/ahinchman1/Kotlin-Compiler-Crash-Course

Slide 34

Slide 34 text

@jossiwolf Compiler Parser Syntax Analyzer Semantic Analyzer Creates AST https://github.com/ahinchman1/Kotlin-Compiler-Crash-Course

Slide 35

Slide 35 text

@jossiwolf Abstract Syntax Tree

Slide 36

Slide 36 text

@jossiwolf Abstract Syntax Tree @Annotation1("abc") // line comment between annotations @Annotation2("\${123}") fun parse() {} https://github.com/kotlinx/ast

Slide 37

Slide 37 text

@jossiwolf Abstract Syntax Tree PackageHeader() importList KlassDeclaration(fun parse) KlassAnnotation(Annotation1) KlassArgument() KlassString "abc" KlassAnnotation(Annotation2) KlassArgument() KlassString Escape("\$") "{123}" https://github.com/kotlinx/ast

Slide 38

Slide 38 text

@jossiwolf Compiler Parser Lexer Codegen https://github.com/ahinchman1/Kotlin-Compiler-Crash-Course Creates PSI

Slide 39

Slide 39 text

@jossiwolf

Slide 40

Slide 40 text

@jossiwolf Compiler Parser Lexer Codegen https://github.com/ahinchman1/Kotlin-Compiler-Crash-Course

Slide 41

Slide 41 text

@jossiwolf Compiler Parser Lexer Codegen Intermediate Code Generator https://github.com/ahinchman1/Kotlin-Compiler-Crash-Course

Slide 42

Slide 42 text

@jossiwolf Compiler Parser Lexer Codegen Intermediate Code Generator Non-optimised IR https://github.com/ahinchman1/Kotlin-Compiler-Crash-Course

Slide 43

Slide 43 text

@jossiwolf Compiler Parser Lexer Codegen Intermediate Code Generator Intermediate Code Optimizer Non-optimised IR https://github.com/ahinchman1/Kotlin-Compiler-Crash-Course

Slide 44

Slide 44 text

@jossiwolf Compiler Frontend Parser Lexer Backend Codegen https://github.com/ahinchman1/Kotlin-Compiler-Crash-Course

Slide 45

Slide 45 text

@jossiwolf

Slide 46

Slide 46 text

@jossiwolf class ChatSdk: MessageFeature by SimpleMessenger()

Slide 47

Slide 47 text

@jossiwolf

Slide 48

Slide 48 text

@jossiwolf KEEP = Kotlin Evolution and Enhancement Process

Slide 49

Slide 49 text

@jossiwolf slack.kotlinlang.org #language-design

Slide 50

Slide 50 text

@jossiwolf class ChatSdk: MessageFeature by messenger { classdelegate var messenger: MessageFeature }

Slide 51

Slide 51 text

@jossiwolf class ChatSdk: MessageFeature by messenger { classdelegate var messenger: MessageFeature fun swapMessenger() { messenger = when (messenger) { is SimpleMessenger -> ComplexMessenger() is ComplexMessenger -> SimpleMessenger() } } }

Slide 52

Slide 52 text

@jossiwolf lateinit

Slide 53

Slide 53 text

@jossiwolf lateinit

Slide 54

Slide 54 text

@jossiwolf class ChatSdk: MessageFeature by messenger { classdelegate var messenger: MessageFeature }

Slide 55

Slide 55 text

@jossiwolf CMD + Shift + F

Slide 56

Slide 56 text

@jossiwolf

Slide 57

Slide 57 text

@jossiwolf KtModifierKeywordToken LATEINIT_KEYWORD = KtModifierKeywordToken.softKeywordModifier("lateinit"); KtModifierKeywordToken DATA_KEYWORD = KtModifierKeywordToken.softKeywordModifier("data"); KtModifierKeywordToken INLINE_KEYWORD = KtModifierKeywordToken.softKeywordModifier("inline"); KtModifierKeywordToken NOINLINE_KEYWORD = KtModifierKeywordToken.softKeywordModifier("noinline"); KtTokens.java

Slide 58

Slide 58 text

@jossiwolf KtModifierKeywordToken CLASSDELEGATE_KEYWORD = KtModifierKeywordToken.softKeywordModifier("classdelegate"); KtModifierKeywordToken LATEINIT_KEYWORD = KtModifierKeywordToken.softKeywordModifier("lateinit"); KtModifierKeywordToken DATA_KEYWORD = KtModifierKeywordToken.softKeywordModifier("data"); KtModifierKeywordToken INLINE_KEYWORD = KtModifierKeywordToken.softKeywordModifier("inline"); KtModifierKeywordToken NOINLINE_KEYWORD = KtModifierKeywordToken.softKeywordModifier("noinline"); KtTokens.java

Slide 59

Slide 59 text

@jossiwolf classdelegate var messenger: MessageFeature

Slide 60

Slide 60 text

@jossiwolf # Codegen

Slide 61

Slide 61 text

@jossiwolf Compiler Parser Lexer Codegen https://github.com/ahinchman1/Kotlin-Compiler-Crash-Course

Slide 62

Slide 62 text

@jossiwolf class ChatSdk: MessageFeature by messenger { classdelegate var messenger: MessageFeature }

Slide 63

Slide 63 text

@jossiwolf class ChatSdk: MessageFeature by messenger { classdelegate var messenger: MessageFeature }

Slide 64

Slide 64 text

@jossiwolf ConstructorCodegen.java

Slide 65

Slide 65 text

@jossiwolf ConstructorCodegen #generatePrimaryConstructorImpl

Slide 66

Slide 66 text

@jossiwolf public final class ChatSdk implements MessageFeature { // $FF: synthetic field private final SimpleMessenger $$delegate_0 = new SimpleMessenger();

Slide 67

Slide 67 text

@jossiwolf 1. Generate Delegate Expressions

Slide 68

Slide 68 text

@jossiwolf for (specifier: myClass.getSuperTypeListEntries()) { if (specifier instanceof KtDelegatedSuperTypeEntry) { genCallToDelegatorByExpressionSpecifier( iv, codegen, (KtDelegatedSuperTypeEntry) specifier, fieldsInfo ); } }

Slide 69

Slide 69 text

@jossiwolf for (specifier: myClass.getSuperTypeListEntries()) { if (specifier instanceof KtDelegatedSuperTypeEntry) { genCallToDelegatorByExpressionSpecifier( iv, codegen, (KtDelegatedSuperTypeEntry) specifier, fieldsInfo ); } }

Slide 70

Slide 70 text

@jossiwolf class ChatSdk: MessageFeature by messenger { classdelegate var messenger: MessageFeature }

Slide 71

Slide 71 text

@jossiwolf for (specifier: myClass.getSuperTypeListEntries()) { if (specifier instanceof KtDelegatedSuperTypeEntry) { genCallToDelegatorByExpressionSpecifier( iv, codegen, (KtDelegatedSuperTypeEntry) specifier, fieldsInfo ); } }

Slide 72

Slide 72 text

@jossiwolf for (specifier: myClass.getSuperTypeListEntries()) { if (specifier instanceof KtDelegatedSuperTypeEntry) { genCallToDelegatorByExpressionSpecifier( iv, codegen, (KtDelegatedSuperTypeEntry) specifier, fieldsInfo ); } }

Slide 73

Slide 73 text

@jossiwolf 2. Generate Fields

Slide 74

Slide 74 text

@jossiwolf List parameters = constructorDescriptor.getValueParameters(); for (KtParameter parameter : classBodyCodegen.getPrimaryConstructorParameters()) { if (parameter.hasValOrVar()) { VariableDescriptor descriptor = parameters.get(curParam); Type type = typeMapper.mapType(descriptor); iv.load(0, classAsmType); iv.load(codegen.myFrameMap.getIndex(descriptor), type); PropertyDescriptor propertyDescriptor = bindingContext.get(BindingContext.PRIMARY_CONSTRUCTOR_PARAMETER, parameter); iv.putfield(classAsmType.getInternalName(), context.getFieldName(propertyDescriptor, false), type.getDescriptor()); } curParam++; }

Slide 75

Slide 75 text

@jossiwolf 3. Generate Member Initializers

Slide 76

Slide 76 text

@jossiwolf if (!isObject(descriptor)) { memberCodegen.generateInitializers( () -> codegen ); }

Slide 77

Slide 77 text

@jossiwolf 1. Generate Delegate Expressions 2. Generate Fields 3. Generate Initializers

Slide 78

Slide 78 text

@jossiwolf 1. Generate Fields 2. Generate Delegate Expressions 3. Generate Initializers

Slide 79

Slide 79 text

@jossiwolf class ChatSdk: MessageFeature by messenger { classdelegate var messenger: MessageFeature }

Slide 80

Slide 80 text

@jossiwolf public final class ChatSdk implements MessageFeature { public MessageFeature messenger; public final MessageFeature getMessenger() { return this.messenger; } public final void setMessenger(MessageFeature var1) { this.messenger = var1; } public List poll() { return this.messenger.poll(); } public void push(Message message) { this.messenger.push(message); } }

Slide 81

Slide 81 text

@jossiwolf public final class ChatSdk implements MessageFeature { public MessageFeature messenger; public final MessageFeature getMessenger() { return this.messenger; } public final void setMessenger(MessageFeature var1) { this.messenger = var1; } public List poll() { return this.messenger.poll(); } public void push(Message message) { this.messenger.push(message); } }

Slide 82

Slide 82 text

@jossiwolf public final class ChatSdk implements MessageFeature { public MessageFeature messenger; public final MessageFeature getMessenger() { return this.messenger; } public final void setMessenger(MessageFeature var1) { this.messenger = var1; } public List poll() { return this.messenger.poll(); } public void push(Message message) { this.messenger.push(message); } }

Slide 83

Slide 83 text

@jossiwolf class ChatSdk: MessageFeature by messenger { lateinit classdelegate var messenger: MessageFeature }

Slide 84

Slide 84 text

@jossiwolf PSI - KotlinStubVersions.kt - Lexer - KtTokens.java Resolution - FakeCallableDescriptorForObject.kt - Scopes - Scopes.kt - MemberScope.kt - ClassResolutionScopesSupport.kt - DelegationValueArgument.java - TypeResolver.kt for modifying the scope - DescriptorResolver.java - BodyResolver.java Codegen - DelegationFieldsInfo.java - ImplementationBodyCodegen.java - ConstructorCodegen.java - CodegenUtil.kt

Slide 85

Slide 85 text

@jossiwolf IR - IrProperty.kt Backend - MoveCompanionObjectFieldsLowering.kt - SharedVariablesManager.kt Descriptors - JavaPropertyDescriptor.java - ValueParameterDescriptor.java - VariableDescriptor.java - PropertyDescriptorImpl.java - ErrorUtils.java Serialization Adjustments Debugger Tinkering Scripting Adjustments

Slide 86

Slide 86 text

@jossiwolf

Slide 87

Slide 87 text

@jossiwolf github.com/jossiwolf/kotlin/pull/1/files

Slide 88

Slide 88 text

@jossiwolf # Awesome Resources

Slide 89

Slide 89 text

@jossiwolf - github.com/ahinchman1/Kotlin-Compiler-Crash-Course - kotlin.github.io/kotlin-spec/ - github.com/jossiwolf/kotlin/pull/1/files - KotlinLang Slack - #kontributors - #arrow-meta - #compiler - #language-proposals

Slide 90

Slide 90 text

Jossi Wolf @jossiwolf Experimenting with the Kotlin Compiler