По-чесноку, data class и есть те же кортежи (разве что пустого data class не создать). https://en.wikipedia.org/wiki/Product_type

эмм, тогда что такое кортеж?)

именованные значения у структур :)

По идее можно сделать кортежи как синтаксический сахар над структурами/датаклассами

По идее можно сделать кортежи как синтаксический сахар над структурами/датаклассами

не совсем понятно, что это значит

чтобы в коде выглядело как кортеж, а внутри датакласс с полями field1, field2 типа того. Но это не имеет смысла без удобного доступа к элементам кортежа

чтобы в коде выглядело как кортеж, а внутри датакласс с полями field1, field2 типа того. Но это не имеет смысла без удобного доступа к элементам кортежа

Я понимаю, что на грани троллинга, но не могу сдержаться. Какой тип домена у таких функций? fun kotlinIsBetterJava() {} fun <T> kotlinIsBetterJava1(arg1: T) {} fun <S, T> kotlinIsBetterJava2(arg1: T, arg2: S) {} Почему так сделано? Почему не сделано нормально?

«внутри датакласс» — это странно, потому что датакласс — языковая фича

Отличное наблюдение !!!!! Плохо себя ведет. Т/е сообщает об ошибке, но не о той, о которой следовало бы. Хотя трудности начинаются уже с arrayOf() - для пустого массива все равно нужно специфицировать тип, тогда можно считать, что, например, для arrayOf<String>() * должен вернуть пустой кортеж, что позволяет применять функции типа () -> T. Ну или ругнуться подходящим образом, если непозволительно. Вместо этого, невнятная ошибка, что - то вроде: too many arguments for public final fun test(): Unit defined in Line_42 (), кстати, отождествляется с Unit во многих взрослых языках и является логической истиной https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence#General_formulation В Котлине это не так, что тоже странно

Думаю если сделать фичу деструктуризации в параметры функции, то многие вопросы решатся

А в чем вопрос? Если транслировать в Haskell, например, то kotlinIsBetterJava1 :: forall T. (T) -> Unit. А "нормально" это как должно было быть сделано?

давно есть

давно есть

Через *?

{ (a, b, c, _, _) ->

Насколько мне известно, Unit только в некоторых математических системах считается истиной. С точки зрения полиморфного лямбда исчисления (система F), тип Unit (единичный) и тип Boolean - разные типы и представыляются по разному https://ru.wikipedia.org/wiki/%D0%A1%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B0_F#%D0%9F%D1%80%D0%B5%D0%B4%D1%81%D1%82%D0%B0%D0%B2%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5_%D1%82%D0%B8%D0%BF%D0%BE%D0%B2_%D0%B4%D0%B0%D0%BD%D0%BD%D1%8B%D1%85 В том же хаскел это разные типы.

{ (a, b, c, _, _) ->

a(*b()) типа такого, если b возвращает деструктурируемое значение, чтобы параметры передавались в функцию a

хм, выглядит странно)

Чойта?

Это конечно значительно полезнее если бы кортежи были в языке

Анонимные объекты не выручат?

С ним другая проблема, они свой интерфейс не показывают наружу

Вообще туплы не сложно сделать библиотекой, а вот такой сахар самому не сделать

Нормально, т/е как в хаскелл. Ну и чтобы говоря о типе функции в котлин kotlinIsBetterJava2, можно было утверждать, что её домен - произведение типов TxS, и принимает на вход (t, s) а домен kotlinIsBetterJava - Unit, и принимает (). Это не придирки, просто хочется прозрачности. Котлин люблю.

Какой тогда домен у функции fun foo(a: Unit, b: Unit, c: Unit) ??)

Ну тогда получется, что домен foo() не Unit Потому что тогда такой домен должен быть у foo(a: Unit)?

Оч весело писать Tuple(object1, object2, object3), а потом tuple.first, tuple.second и так далее

Хотите, чтобы было как на Украине^W^W в скале?? :)

Klass<_>?

Как насчёт Klass<Klass>?

I said what I said. Java supports self-type generics, while kotlin doesn't

не проходит

не проходит

А вообще нужно создавать инстанс этого класса? Как тут уже писали, обычно такое делают, чтобы отнаследоваться от такого класса и ссылаться на тип наследника, а не использовать такой рекурсивный тип "как есть".

Привет, есть в котлине require с кастомным exception?

я хочу написать require уоторый будет кидать мой exception

0.8 kotlin native релизят, только что тегнули

с CLion все плохо?