В груви есть матчинг по регуляркам. Можете поисакать, используется это где-то или нет.

Да хоспаде, в скале есть и да используется

Ну или что то типо того: sealed class User { data class AnonymousUser(sessionId: String): User data class AuthorizedUser(sessionId: String, login: String, role: Role): User } val user: User = ??? when(user) { AnonymousUser(sessionId) -> ??? AuthorizedUser(sessionId, _, Role.User) -> ??? AuthorizedUser(sessionId, _, Role.Manager) -> ??? AuthorizedUser(sessionId, login, Role.Admin) -> ??? } Имеет место быть?

Воооот, вот об этом я и говорил

Спасибо, что оформил

Воооот, вот об этом я и говорил

Ну я еще добавил матчинг по образцу в ролях

Ну вобщем, основной кейс это конечно разбор разных ADT

Ну про какой паттерн матчинг вообще речь, если сейчас даже деструктуризация для полей дата класса не реализована? То есть, если одним из полей дата класса является объект другого дата класса, то надо сначала внешний деструктурировать, достать при этом поле, а потом уже поле деструктурировать.

Ну про какой паттерн матчинг вообще речь, если сейчас даже деструктуризация для полей дата класса не реализована? То есть, если одним из полей дата класса является объект другого дата класса, то надо сначала внешний деструктурировать, достать при этом поле, а потом уже поле деструктурировать.

Ну если будет пат мат, то наверное и деструктуризация доедет сама собой

Ну или что то типо того: sealed class User { data class AnonymousUser(sessionId: String): User data class AuthorizedUser(sessionId: String, login: String, role: Role): User } val user: User = ??? when(user) { AnonymousUser(sessionId) -> ??? AuthorizedUser(sessionId, _, Role.User) -> ??? AuthorizedUser(sessionId, _, Role.Manager) -> ??? AuthorizedUser(sessionId, login, Role.Admin) -> ??? } Имеет место быть?

Такое можно и без патмата норм изобразить

Ну если будет пат мат, то наверное и деструктуризация доедет сама собой

Но это не точно. Она же сейчас работает через функции вида componentN

Такое можно и без патмата норм изобразить

Ехал ифчик через ифчик, видит ифчик ифчик ифчик

Ехал ифчик через ифчик, видит ифчик ифчик ифчик

Ну не, парочка when и val. И смотреться будет не хуже.

Ну не, парочка when и val. И смотреться будет не хуже.

Но зачем, когда в мире существует патмат

Что мы, варвары что-ли?

Чтобы запилить паттерн матчинг, нужен паттерн матчинг ?‍♀️

Ехал ифчик через ифчик, видит ифчик ифчик ифчик

Ну или использовать богомерзкое ООП ?

Но зачем, когда в мире существует патмат

Так можно про многое сказать. Хотелок у всех хватает, только неизвестно что получится, если это всё впихнуть в язык.

Впрочем, сейчас такое в приличном обществе не предложишь, забросают канделябрами

Кстати, сейчас чекнул свой эликсирный код. Вот вам ещё один юзкейс - парсинг жсона, без аннотаций и вот этого всего. А? А? А?

Ну или использовать богомерзкое ООП ?

Вот да, где эти времена, когда switch считался не очень, ибо есть полиморфизм

Народ, а реально работу с Kotlin найти удалёнку и не Андроид?

Я нашёл

не парсингом единым жив программизд

удаленка самма по себе редкая штука для "не андроида", относительно

Неправда ваша

не парсингом единым жив программизд

А что делать, если приходится. Глядишь, так и от ретрофита+рх+гсон/моши уйдем на ведрах

куда уходить та, мне и так норм например. это ж просто инструменты. "как надоели все эти молотки, плоскогубцы, отвертки, давайте уйдем от них и перейдем на другой инструмент"

на какой

ну конечно так чтобы не требовалось диплом бакалавра

чтобы что то понять как с инструментом работать )

На более прогрессивный, например? Вон, все жалуются, что Рх сложный, не для того и вообще оверхед. Есть другой вариант - корутины, ну а если переходишь на корутины, то там и до ручного парсинга недалеко ?

Есть довольно удобный кейс, паттерн матчигг по регуляркам ну и деструктуризация объектов по образцу

патернматчинг полезен когда типы комбинируется по всякому

Вот да, где эти времена, когда switch считался не очень, ибо есть полиморфизм

switch и сейчас не очень. Только он был и есть не очень не потому, что полиморфизм, а потому, что он плохо реализован в C / C++ / Java

— ненулевое количество юзкейсов есть — вреда фича не приносит

2-е сомнительное, люая вича дает возможность писать по другому, и дает возможность человеку который не сильно эту фичу понимает, накостылять

На более прогрессивный, например? Вон, все жалуются, что Рх сложный, не для того и вообще оверхед. Есть другой вариант - корутины, ну а если переходишь на корутины, то там и до ручного парсинга недалеко ?

рх сложный первые 10 проектов, потом полегче

рх сложный первые 10 проектов, потом полегче

Да это не мне рассказывать надо, а коммьюнити, которое на корутины массово мигрирует

Ну про какой паттерн матчинг вообще речь, если сейчас даже деструктуризация для полей дата класса не реализована? То есть, если одним из полей дата класса является объект другого дата класса, то надо сначала внешний деструктурировать, достать при этом поле, а потом уже поле деструктурировать.

Обожаю ваш системный подход в чатике. Почему вас нет в https://t.me/joinchat/Ai4h2D9SWO_RDx2jMUbzqw https://t.me/usingfm и прочих хаскелл чатах?

2-е сомнительное, люая вича дает возможность писать по другому, и дает возможность человеку который не сильно эту фичу понимает, накостылять

Вот я не представляю, как можно патттерн матчингом накостылять, честно.

И правда ?

Обожаю ваш системный подход в чатике. Почему вас нет в https://t.me/joinchat/Ai4h2D9SWO_RDx2jMUbzqw https://t.me/usingfm и прочих хаскелл чатах?

Потому, что работаю я на Java/Kotlin, а Haskell - хобби

Обожаю ваш системный подход в чатике. Почему вас нет в https://t.me/joinchat/Ai4h2D9SWO_RDx2jMUbzqw https://t.me/usingfm и прочих хаскелл чатах?

Ну там, ведь и ответь могут)))

Неправда ваша

что 80% людей пишушие сервера работают удаленно ? я не про опенсорс, человек про работу спрашивал

Плюс про Haskell особо тереть нечего. Там всё то, за что тут холиварят, есть, и даже больше.

Вот я не представляю, как можно патттерн матчингом накостылять, честно.

можно накостылять везде

Кстати, сейчас чекнул свой эликсирный код. Вот вам ещё один юзкейс - парсинг жсона, без аннотаций и вот этого всего. А? А? А?

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

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

+

был доклат от Тагира - "Патернматчинг и его воображаемые друзья"

првда там джава

https://openjdk.java.net/jeps/305

https://openjdk.java.net/jeps/305

Лулзово будет, если в java с их новой моделью релизов PM выкатят раньше

Бреслва черным по белому гововрил, что подолждет, пока Java соберет грабли, потом будет решать, добавлять ли это в котлин

можно накостылять везде

Ну можно какой-нибудь пример, как паттерн матчингом можно злоупотребить настолько, что аж больно будет? Бремя доказательства, если что, лежит на утверждающем наличие некоторого свойства.

Лулзово будет, если в java с их новой моделью релизов PM выкатят раньше

Это действительно довольно забавно, кто-кого пересидит в плане осторожности добавления фич

Судя по jep-у, они пока просто клонируют котлиновский синтаксис для констант, а что-то более сложное в бесконечно отдеаленном будущем.

Это действительно довольно забавно, кто-кого пересидит в плане осторожности добавления фич

Напомню, java имеет гандикап в виде тернарного оператора?

А вот не помню, обсуждали ли тут поддержку котлином тру иммутабельности?

А вот не помню, обсуждали ли тут поддержку котлином тру иммутабельности?

Что есть тру иммутабельность и в чём её отличие от не тру?

Однажды мальчик спросил маму: "Мама, а если всем дружно попросить Бреслава не добавлять тернарь в Котлин, его не добавят?" Вместе с мамой плакала половина чата. Бреслав, не добавляй тернарный оператор!

Что есть тру иммутабельность и в чём её отличие от не тру?

Ну, аля const в цпп

Или как в расте

Ну, аля const в цпп

Не знаю цпп и раст настолько, чтобы понять, о чём вы.

что 80% людей пишушие сервера работают удаленно ? я не про опенсорс, человек про работу спрашивал

Я бэкендер-удалёнщик, например. На котлин, по соседству есть проекты на джаве. Когда искал работу, искал именно удалёнку. Выбор есть. На том же хэдхантере сбрасываешь регион и выбираешь тип занятости "удалённая работа". Вакансий достаточно. Не дохера, но хватает

Ну модификатор, который декларирует неизменяемость и гарантирует её

Неизменяемость чего? Ссылки?

Нет, не только ссылки, конечно. Для ссылки есть вал

Вложенных объектов

Т.е. пишешь что на вход приходит иммутабл, это гарантирует компилятор и например позволяет использовать в многопоточном коде без синхронизации

Тогда обсуждали

Тогда обсуждали

Окээй

Т.е. пишешь что на вход приходит иммутабл, это гарантирует компилятор и например позволяет использовать в многопоточном коде без синхронизации

В свете интеропа с джавой как в расте точно не получится, ибо нет гарантий что какая нибудь либо его не смутирует

Но есть же val и он вполне даёт гарантии если все вложенные структуры тоже иммутабельны

Ребят, как detekt сказать, что мне надо прочекать N конкретных файлов, а не все в папке?

Привет всем

Где можно найти годный материал по котлину на русском?

Плюс про Haskell особо тереть нечего. Там всё то, за что тут холиварят, есть, и даже больше.

Да ладно, non-total семантика, типы, зависимые от значений, автодоказательства, вот это всё

Не знаю цпп и раст настолько, чтобы понять, о чём вы.

const в плюсах означает, что поля объекта класса по умолчанию иммутабельны. Дефолт можно перекрыть ключевым словом mutable

Хотя не совсем так... давно с плюсами работал. Уже не помню точно всего, что там вокруг const навёрнуто

Ребят, как detekt сказать, что мне надо прочекать N конкретных файлов, а не все в папке?

Нашел. Там через ; или , перечислять надо после -i

Нашел. Там через ; или , перечислять надо после -i

Скинь решение подробнее, пожалуйста. Как именно вызываешь

const в плюсах означает, что поля объекта класса по умолчанию иммутабельны. Дефолт можно перекрыть ключевым словом mutable

В плюсах сделать иммутабельный объект не реально. Нет контроля в компайл тайме. Поля могут ссылаться на изменяемые объекты.

Т.е. пишешь что на вход приходит иммутабл, это гарантирует компилятор и например позволяет использовать в многопоточном коде без синхронизации

Как будто в крестах const что-то гарантирует. В методе, помеченном const, успешно пишется T* self = const_cast<T*>(this) (для тех, кто не знаком с крестами — в const-методах сам this имеет тип T const* const, то бишь константный указатель на константый объект, но const_cast позвляет снимать и навешивать это на своё усмотрение, хоть и считается плохим тоном) и он начинает творить страшное. И это даже не всегда UB, ЕМНИП.

Ну, как минимум можно объявить аргумент метода const. И по сигнатуре будет видно: вот, этот чувак обязуется мой объект за мякотки не щупать

Ну это все и в котлине сейчас есть. Проблема исключительно с изменяемостью вложенных типов. В С++ не решается в принципе, в котлине в принципе можно проверкой времени комилляции

Как будто в крестах const что-то гарантирует. В методе, помеченном const, успешно пишется T* self = const_cast<T*>(this) (для тех, кто не знаком с крестами — в const-методах сам this имеет тип T const* const, то бишь константный указатель на константый объект, но const_cast позвляет снимать и навешивать это на своё усмотрение, хоть и считается плохим тоном) и он начинает творить страшное. И это даже не всегда UB, ЕМНИП.

Ну в джаве есть не менее жуткий рефлюкшен, например. Почти всегда оставляют лючок на всякий случай. Gson тот же плевать хотел, что поле private final

Да ладно, non-total семантика, типы, зависимые от значений, автодоказательства, вот это всё

за завтипы в другом чате трут же

Скинь решение подробнее, пожалуйста. Как именно вызываешь

Как-то так ? private fun runDetekt() { val kts = getChangedFiles(".kt") val args = listOf( "-c", "detekt-config.yml", "-i", kts.joinToString(separator = ";") ) io.gitlab.arturbosch.detekt.cli.main(args.toTypedArray()) } private fun getChangedFiles(extension: String): List<String> = Runtime.getRuntime() .exec("git diff --diff-filter=AM --name-only HEAD") .inputStream.bufferedReader().readLines() .filter { it.endsWith(extension) }

Ну в джаве есть не менее жуткий рефлюкшен, например. Почти всегда оставляют лючок на всякий случай. Gson тот же плевать хотел, что поле private final

Дык о том и речь, что гарантий не будет, а есть ли без них смысл лепить [nearly] true immutability — не ясно.

Ну в джаве есть не менее жуткий рефлюкшен, например. Почти всегда оставляют лючок на всякий случай. Gson тот же плевать хотел, что поле private final

Это можно убить SecurityManager-ом, но да, сломать всегда можно, если захотеть.

Ну, я пока не слышал о каких-то ограничениях в любом ЯП, которые накладываются прям жёстко и без возможности обойти. Обычно это решается по-другому - на любой const_cast или что-то подобное приходится оправдываться на код-ревью (у вас же есть код-ревью?)

Дык о том и речь, что гарантий не будет, а есть ли без них смысл лепить [nearly] true immutability — не ясно.

Смысл есть. Если ломается только нелегальными операциями, то и фиг с ним, нечего такие операции делать.

Ну, я пока не слышал о каких-то ограничениях в любом ЯП, которые накладываются прям жёстко и без возможности обойти. Обычно это решается по-другому - на любой const_cast или что-то подобное приходится оправдываться на код-ревью (у вас же есть код-ревью?)

А в хаскеле разве можно обойти иммутабельность?

Через do-нотацию можно сымитировать "изменяемое" состояние. Но только сымитировать

Через do-нотацию можно сымитировать "изменяемое" состояние. Но только сымитировать

Это как?

А в хаскеле разве можно обойти иммутабельность?

В хаскеле нет состояния, ломать нечего.

В хаскеле нет состояния, ломать нечего.

Ну я это привёл как пример строгого ограничения ЯП

https://en.wikibooks.org/wiki/Haskell/do_notation

Немного похоже на "пиши на джаве как на питоне" )

(я вот про эту жуть:

я знаю что такое do нотация, я спрашивал про иммитацию мутабельного состояния