Anton3

A summary of previous discussions on P2025

Objections to the proposal

Disclaimer: I’m undoubtedly biased. You can find the original opinions in the thread “P2025R1: issues fixed?”, 13/05/2020 to 20/05/2020.

1. The proposed language rules are too complex.

The wording consists of two major parts:

Anton3

package name.anton3.layout

import java.util.*
import kotlin.collections.ArrayList
import kotlin.math.abs

class Dummy

fun readResource(name: String): String {
    return Dummy::class.java.classLoader.getResource(name)!!.readText()

Anton3

Alternative abbreviated lambdas

Introduction

This paper provides an alternative abbreviated lambda expression syntax, as well as an alternative syntax for transparent functions, compared to [@P0573R2].

Motivation and scope

[@P0573R2] introduces a notion of transparent functions, which aim to behave as close as possible to as if their body was directly inserted into the caller (except that their arguments are only computed a single time).

Anton3

Alias expressions

Summary

Alias expressions allow setting up a constructed object before returning it from a function or passing it as a function argument, while incurring no copies or moves.

Motivation

Sometimes we want to create an object, set it up and return it.

Anton3

package name.anton3.vkapi.generator.json

import com.fasterxml.jackson.annotation.JsonUnwrapped
import com.fasterxml.jackson.core.JsonParser
import com.fasterxml.jackson.databind.*
import com.fasterxml.jackson.databind.deser.ContextualDeserializer
import com.fasterxml.jackson.databind.deser.ResolvableDeserializer
import com.fasterxml.jackson.databind.deser.std.StdDeserializer
import com.fasterxml.jackson.databind.node.ObjectNode
import com.fasterxml.jackson.databind.node.TreeTraversingParser

Anton3

task<void> foo() {
    co_return uninlineable_mess();
}

Anton3

Allow Type Annotation on Throws

• Proposal: SE-NNNN
• Authors: David Owens II, Anton Zhilin
• Status: Pending Approval for Review
• Review manager: TBD

Introduction

Typed throws annotation specifies that a function can only throw errors of a certain type:

Anton3

// Feature 1: @mixin extension
struct Pizza {
  var containsCheese: Bool
  init(cheese: Bool) { ... }
  func prepare() { print(self) }
}

struct Margherita {
  var pizza: Pizza
  init() { pizza = Pizza(cheese: true) }

Anton3

Feature name

• Proposal: SE-NNNN
• Authors: Anton Zhilin
• Review Manager: TBD
• Status: Awaiting review

Introduction

Bitwise and arithmetic operators are very different, and their precedence relationship is not obvious.

Anton3

Simplifying guard case/if case syntax

• Proposal: TBD
• Author: Erica Sadun
• Status: TBD
• Review manager: TBD

Introduction

This proposal re-architects guard case and if case grammar for unwrapping complex enumerations. It drops the case keyword from if and guard, replaces = with ~=, and introduces the := operator that combines declaration with assignment.