машина состояний, или на тредах?

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

Отдаю себе отчет в том что это чат по котлину, но интересно мнение прагматиков. Ребят, какие мысли по кложуре?

Сложура красива, лаконична, функциональна и иммутабельна. Она шикарна. Но к сожалению, не так распространена. Хотя и тулинг есть, и язык приятный. Ну и это LISP, а знать LISP — это тоже найс.

кстати, а почему, когда я хотел напечатать /thread (телеграм распарсил как команду) у меня удалилось сообщение?

Потому что настроили что бы combot удалял свои команды, а он почему-то удаляет любые команды (вроде как это нельзя поправить)

Потому что настроили что бы combot удалял свои команды, а он почему-то удаляет любые команды (вроде как это нельзя поправить)

понятно

Сложура красива, лаконична, функциональна и иммутабельна. Она шикарна. Но к сожалению, не так распространена. Хотя и тулинг есть, и язык приятный. Ну и это LISP, а знать LISP — это тоже найс.

ещё минус в том что хороший тулинг — платный

Все так же “не хватает типов” ? и кстати есть же @clojure_ru А вообще хотелось живой окалмл под jvm, ну или хотя бы плагин Eta к IDEA

Там лучше не задавать этот вопрос :D

ещё минус в том что хороший тулинг — платный

Какой именно? Плагин для студии, leiningen, плагины для всяких стероидных текстовых редакторов, repl — есть бесплатное.

Все так же “не хватает типов” ? и кстати есть же @clojure_ru А вообще хотелось живой окалмл под jvm, ну или хотя бы плагин Eta к IDEA

зачем тебе окамл, если есть хаскель? :D

Какой именно? Плагин для студии, leiningen, плагины для всяких стероидных текстовых редакторов, repl — есть бесплатное.

этот: https://cursive-ide.com/userguide/

ещё минус в том что хороший тулинг — платный

Бесплатный же “в ознакомительных целях/для личного использования” (официально) > https://github.com/puniverse/pulsar а еще есть core.async и там вроде тоже есть каналы и макросы, которые трансформируют в колбеки

Бесплатный же “в ознакомительных целях/для личного использования” (официально) > https://github.com/puniverse/pulsar а еще есть core.async и там вроде тоже есть каналы и макросы, которые трансформируют в колбеки

> Бесплатный же “в ознакомительных целях” (официально) ого, круто. когда я последний раз смотрел — был только триал на 30 дней

Ну и так-то платный тулинг — не редкость (см. продукты JB, Intel, M$ и т.д.).

вроде как не совсем оффтоп: https://github.com/apple/swift-evolution/blob/master/proposals/0195-dynamic-member-lookup.md (хороший язык и фичи интересные)

Медитирую на Грааль и Трюфель, котлин описать на них не пробовали?

вроде как не совсем оффтоп: https://github.com/apple/swift-evolution/blob/master/proposals/0195-dynamic-member-lookup.md (хороший язык и фичи интересные)

Это типа как в KotlinJS? Там же тоже есть какой-то “динами” тип

вроде как не совсем оффтоп: https://github.com/apple/swift-evolution/blob/master/proposals/0195-dynamic-member-lookup.md (хороший язык и фичи интересные)

А к этому языку нормальный тулинг есть?

А к этому языку нормальный тулинг есть?

https://www.jetbrains.com/objc/features/swift.html :D а если серьёзно, то у XCode всё хорошо с тулингом, насколько я знаю. но сам не использовал

Давайте подождем тех, кто пробовал. Именно последний, девятый икскод. В частности, отзывов о быстроте сборки проекта.

Все так же “не хватает типов” ? и кстати есть же @clojure_ru А вообще хотелось живой окалмл под jvm, ну или хотя бы плагин Eta к IDEA

Дык бери плагин к хаскелю и отключай ghc-mod :)

Сообщество, нужно мнение - JOOQ бесплатный не умеет в оракл, но если пошаманить то заводится - воровство ли это?

Сообщество, нужно мнение - JOOQ бесплатный не умеет в оракл, но если пошаманить то заводится - воровство ли это?

смотря что ты шаманишь

Оно ж Apache Licensed

так что не воровство

по крайней мере пока из не "apache licensed" не воруешь декомпиленый байткод

Сообщество, нужно мнение - JOOQ бесплатный не умеет в оракл, но если пошаманить то заводится - воровство ли это?

если используешь пропиретарный код то - воровство

Это типа как в KotlinJS? Там же тоже есть какой-то “динами” тип

нет, динамик в kotlin/js просто отключает тайпчекер для обращений к себе. а тут "синтаксический сахар"

по крайней мере пока из не "apache licensed" не воруешь декомпиленый байткод

Ну я просто генератор переписал чуток и пересобрал

опенсорцный или проприетарный?

опенсорцный или проприетарный?

Генератор JOOQ опенсорсный - апач 2, а оракл драйвер у меня есть от вендора

тогда не воровство)

Дык бери плагин к хаскелю и отключай ghc-mod :)

Для меня главное, что бы скомпилированная программа на JVM работала, а еще лучше под Android. А пока единственный способ писать функционально на Android - это Xamarin и F#, там можно прям с активити и всем API работать. (ну еще react-native, но там свои абстракции)

А scala?

Да и eta тоже вроде под ведро работает

Да и eta тоже вроде под ведро работает

Я что то не видел живых примеров или даже норм. поддержки в IDE. А в скале даже автокаррирования нет ? (так то я и в котлине могу писать +- “функционально”)

Дык у нас всего 1.5 языка с автокаррированием) В скалке зато частичное применение есть

А для эты я видел где-то были примеры в том числе и под ведро

Во: https://brianmckenna.org/blog/eta_android

А кто-нить использовал котлин с jaxb? При анмаршалинге возникает ексепшн the markup in the document preceding the root element must be well- formed. Однако если убрать из xml хедер <?xml version...?> - то все работает

нет, динамик в kotlin/js просто отключает тайпчекер для обращений к себе. а тут "синтаксический сахар"

вроде похожая штука у груви есть, можно написать метод def propertyMissing/methodMissing() и он будет вызываться при отсутствии свойства/метода

очень сомневаюсь что такое в котлин завезут когда-нибудь, но было бы круто

dsl-и стали бы резко красивше это точно

ещё очень хочу фичу, которую здесь обсуждали https://youtrack.jetbrains.com/issue/KT-21329 шикарно для всяких конфигов

dsl-и стали бы резко красивше это точно

И резко менее типобезопасны. Зачем нужен ещё один Groovy?

И резко менее типобезопасны. Зачем нужен ещё один Groovy?

+

И резко менее типобезопасны. Зачем нужен ещё один Groovy?

Не обязательно

Можно ж это ограничить по типу

т.е. fun <T : MyTypeConstraint> magickSetMissingPropFun(name: String, value: T)

У тебя компилятор вообще перестанет тогда понимать, что происходит, да и иде тоже, в виме придётся писать

И резко менее типобезопасны. Зачем нужен ещё один Groovy?

+++++

@DslMarker

есть же http://arrow-kt.io/docs/datatypes/try/

а кто что скажет по-поводу arrow-kt vs funktionaly? funktionaly уже не релизят?

а кто что скажет по-поводу arrow-kt vs funktionaly? funktionaly уже не релизят?

Так его же вмерджили в arrow, те arrow = funktionaly + kategory (хотя и то и то НЕ нужны ?)

а кто что скажет по-поводу arrow-kt vs funktionaly? funktionaly уже не релизят?

funktionale попроще, в arrow эмулируют тайпклассы для функторов, монад, вот этого вот всего, в funktionale этого нет

Так его же вмерджили в arrow, те arrow = funktionaly + kategory (хотя и то и то НЕ нужны ?)

а, даже так

Так его же вмерджили в arrow, те arrow = funktionaly + kategory (хотя и то и то НЕ нужны ?)

я чет даже не нашел kategory репозиторий, видимо это и есть теперь arrow-kt

понятия не имею, зачем они (мне) нужны, но меня почему-то на них тянет ?

на самом https://kotlinlang.org/docs/resources.html видимо не актуализировали до сих пор - ссылка на funktionaly есть, на arrow-kt нет

Так его же вмерджили в arrow, те arrow = funktionaly + kategory (хотя и то и то НЕ нужны ?)

Чому не нужны-то?

Отдаю себе отчет в том что это чат по котлину, но интересно мнение прагматиков. Ребят, какие мысли по кложуре?

Думаю можно подытожить - “стоит попробовать”, хотя бы для расширения кругозора (ФП/динамическое типизирование). Желательно перед погружением посмотреть доклады Николая Рыжикова, что бы зарядиться кложе-оптимизмом ?

Чому не нужны-то?

- не идиоматично - костыли и палки, без поддержки в языке - не практичные абстракции - да и сам Одерски пропагандирует принцип “Least Power” - "если что-то можно делать без монад, делайте без монад” это даже не ФП - это “хардкорное программироваине на типах” (там даже фри-монады есть)

- не идиоматично - костыли и палки, без поддержки в языке - не практичные абстракции - да и сам Одерски пропагандирует принцип “Least Power” - "если что-то можно делать без монад, делайте без монад” это даже не ФП - это “хардкорное программироваине на типах” (там даже фри-монады есть)

Да без трансформеров ваще жизнь не мила

- не идиоматично - костыли и палки, без поддержки в языке - не практичные абстракции - да и сам Одерски пропагандирует принцип “Least Power” - "если что-то можно делать без монад, делайте без монад” это даже не ФП - это “хардкорное программироваине на типах” (там даже фри-монады есть)

А то, что в пропозал самому языку предлагается покрывает arrow-kt?

А то, что в пропозал самому языку предлагается покрывает arrow-kt?

В прапозал ваще какая то дичь, получится такой же костыль

Вот если бы HKT

А то, что в пропозал самому языку предлагается покрывает arrow-kt?

Во вчерашнем выступаление Бреслав сказал - что они и так протатипируют “тайп-классы” потому как вещь действительно полезная, но он “всеми руками” против HKT

Ага, спасибо, мнения видны. По "попробовать" - попробовал, в принципе здорово. Идеи заложенные в лиспе на самом деле круты. P.s. рыжикова смотрел.

У тебя компилятор вообще перестанет тогда понимать, что происходит, да и иде тоже, в виме придётся писать

Возможно, об этом я как-то не думал)

Да без трансформеров ваще жизнь не мила

Кому вообще нужны монадки в котлине? Для монадок в JVM есть скала

Кому вообще нужны монадки в котлине? Для монадок в JVM есть скала

- Кому ваще data class нужны в котлин - Кому ваще sealed class нужны в котлин - Кому вообще нужны рутины в котлин wait a minute... Кому вообще нужен котлин если есть java?

Ну ты преувеличиваешь

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

Т.е. сейчас на самом деле профит от них только в equals/hashCode/toString

- Кому ваще data class нужны в котлин - Кому ваще sealed class нужны в котлин - Кому вообще нужны рутины в котлин wait a minute... Кому вообще нужен котлин если есть java?

Кому вообще нужные монадки, когда есть “алгебраические эффекты”? Вот что стоило попробовать заимплементить в языке.

Например IO очень классно обарачивает все эффекты, удобно и асинронность из коробки

Например IO очень классно обарачивает все эффекты, удобно и асинронность из коробки

На тему IO я ещё на скаламитапе высказывался)

Кому вообще нужные монадки, когда есть “алгебраические эффекты”? Вот что стоило попробовать заимплементить в языке.

Его ж позиционируют как ИНЖЕНЕРНЫЙ ЯП и противопоставляют сложности скалки

Какие монадки, какие эффекты, вы чего?)

Его ж позиционируют как ИНЖЕНЕРНЫЙ ЯП и противопоставляют сложности скалки

Вот именно что они простые и не требуют монадок в языке и позволяют писать “императивный” код (это то что я видел в доти)

Его ж позиционируют как ИНЖЕНЕРНЫЙ ЯП и противопоставляют сложности скалки

Чего ради тогда есть пропосал о тайп классах, который на полном серьёзе обсуждается?

Например IO очень классно обарачивает все эффекты, удобно и асинронность из коробки

В тех же котах, IO это по сути просто ленивая фьюча (+ плюс операторы чаейнинга из тайпклассов). Ты когда пишешь на suspend, у тебя почти та же фьюча + scala фор компрехенс - прямо в языке.

В тех же котах, IO это по сути просто ленивая фьюча (+ плюс операторы чаейнинга из тайпклассов). Ты когда пишешь на suspend, у тебя почти та же фьюча + scala фор компрехенс - прямо в языке.

Ну я понимаю, что это не IO из хачкеля, но всё же что то

Вот именно что они простые и не требуют монадок в языке и позволяют писать “императивный” код (это то что я видел в доти)

Так то и в codo можно ООП писать, но это ж не значит что кто-то кроме пары ФПшников это поймёт

Чего ради тогда есть пропосал о тайп классах, который на полном серьёзе обсуждается?

Тайпклассы это не только про монадки

Тайпклассы это не только про монадки

А это вообще не про монадки, а про полиморфизм

Вот

Сам ответил на свой вопрос)

Просто ты говоришь про инженерный яп и отсутсвие сложностей

А с чего вдруг тайпклассы это сложности?

На кой если полиморфизм и так есть из коробки

Кстати насчет “инженерных языков”, даже в C# хотят сделать тайпклассы - так что это тренд

На кой если полиморфизм и так есть из коробки

Оно просто выглядит логическим продолжением экстеншн функций

Оно просто выглядит логическим продолжением экстеншн функций

чаго?

ну тип

расширение типа

Подскажите пожалуйста в Java есть класс А наследуется от B который имплементит интерфейсы С и D, в котлине хочу в generic который должен имплеменить итерфейсы С и D засугуть класс A, но он ругается мол не реализует интерфейс С, как разрешить этот конфликт?

расширение типа

группированое

Подскажите пожалуйста в Java есть класс А наследуется от B который имплементит интерфейсы С и D, в котлине хочу в generic который должен имплеменить итерфейсы С и D засугуть класс A, но он ругается мол не реализует интерфейс С, как разрешить этот конфликт?

надо код

Кстати насчет “инженерных языков”, даже в C# хотят сделать тайпклассы - так что это тренд

C# вообще не образец, туда тянут всё подряд