К О Н Т Р А К Т Ы !

@Contract?

нет. один из способов сделать это — расширить систему контрактов

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

(но это не точно. возможно есть более простые\удобные решения)

@Contract?

ну и они тоже

(Джава потому что в котлине не работает ?)

и тут я понял, что не знаю как в скале зависимые типы реализованы в компиляторе/рантайме. может кто в пару слов объяснить? (да оффтоп, сорри)

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

Я сам не пробовал. Но быстрый гуглеж говорит что вроде можно и НЕ только для констант

и тут я понял, что не знаю как в скале зависимые типы реализованы в компиляторе/рантайме. может кто в пару слов объяснить? (да оффтоп, сорри)

Может лучше не надо? В ванильной скале такого и нет. Лучше уж (хотя это конечно тоже хреново) class UFloat private constructor(val value: Float) { companion object { fun create(x: Float): UFloat? = if (x >= 0) UFloat(x) else null } }

> В ванильной скале такого и нет они только в dotty их завезли?

(ладно, пошёл гуглить)

есть path dependnt типы никаких макросов не нужно ничего не нужно (в либах это есть чтоб компиляцию ускорить) система типов скалы вытягивает сама

есть path dependnt типы никаких макросов не нужно ничего не нужно (в либах это есть чтоб компиляцию ускорить) система типов скалы вытягивает сама

Ссылочку (желательно на похожий пример)

Ссылочку (желательно на похожий пример)

первый коммит шаплеза глянь там ни слуху ни духу о макросах

Ну имхо практический смысл сложных зависимых типов сильно падает. Например как вариант использования приводят перемножение матриц, мол там зная размерность каждой матрицы на выходе можно получить правильный тип (посчитать размерность производной матрицы) в общем виде. Но сложность написания растет быстрее чем польза. Мне нравится простые применения типо проверить что число будет больше 10 иначе не компиль

ну гетерогенный список тоже завсиимый тип - чем нет то?

первый коммит шаплеза глянь там ни слуху ни духу о макросах

Я не про макросы. А про ПРИМЕР на кейс “зависимые типы для не-негативных-float”. (про наличие в скале “какой-то реализации” зависимых типов и так все знали)

Я не про макросы. А про ПРИМЕР на кейс “зависимые типы для не-негативных-float”. (про наличие в скале “какой-то реализации” зависимых типов и так все знали)

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

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

Да вот есть теория - что это НЕ нужно (ибо вносит больше сложности, чем решает) (я том чатике уже есть)

я не понимаю к чему ты клонишь - какой был мессаг такой был мой ответ.

был оффтоп вопрос оффтоп ответ

я не понимаю к чему ты клонишь - какой был мессаг такой был мой ответ.

спасибо :)

есть path dependnt типы никаких макросов не нужно ничего не нужно (в либах это есть чтоб компиляцию ускорить) система типов скалы вытягивает сама

мне казалось, что там есть более "честные" типы. ближе к тому что в идрисе

неа

ну в принципе тоже честные - зависимые же)

просто 'с особенностями'

окей, "более сильные"

просто 'с особенностями'

мама говорит мне, что я особенный (с) :D

ну я понял о чем ты, ну да. вообще у меня нет под рукой паперов по типам в скале накидать тебе но они есть где-то в гуголе) если найдешь кстати кидани в личку я запощу их в скала чатике))

Коллеги, пооффтопить можно? Сегодня проходил собеседовние на позицию Android-разработчика и по традиции под конец разговора запросил feedback. Один из вопросов, на котором я «прогорел» оказался вопрос «Готов ли Kotlin к продакшену?». Я ответил, что да безусловно, 20% приложений на google play уже его используют — и это оказался неправильный ответ. 6 лет разработки языка от создателей лучшей IDE для Java, поддержка мастодонтов индустрии, тонны материалов — ан нет, у нас пишут на 6й джаве и баста! Когда же это закончится.

Коллеги, пооффтопить можно? Сегодня проходил собеседовние на позицию Android-разработчика и по традиции под конец разговора запросил feedback. Один из вопросов, на котором я «прогорел» оказался вопрос «Готов ли Kotlin к продакшену?». Я ответил, что да безусловно, 20% приложений на google play уже его используют — и это оказался неправильный ответ. 6 лет разработки языка от создателей лучшей IDE для Java, поддержка мастодонтов индустрии, тонны материалов — ан нет, у нас пишут на 6й джаве и баста! Когда же это закончится.

Клинический случай) Кого стоит обходить стороной?

ты походу к дебилам ходил

Коллеги, пооффтопить можно? Сегодня проходил собеседовние на позицию Android-разработчика и по традиции под конец разговора запросил feedback. Один из вопросов, на котором я «прогорел» оказался вопрос «Готов ли Kotlin к продакшену?». Я ответил, что да безусловно, 20% приложений на google play уже его используют — и это оказался неправильный ответ. 6 лет разработки языка от создателей лучшей IDE для Java, поддержка мастодонтов индустрии, тонны материалов — ан нет, у нас пишут на 6й джаве и баста! Когда же это закончится.

Ты радоваться должнен. Небось у них все проект это java-легаси или аутсорс.

ты походу к дебилам ходил

Похоже на это. На самом деле, рад, что это открылось до найма.

мне вообще слабо верится что этот ответ вообще учитывается в фидбеке

мне вообще слабо верится что этот ответ вообще учитывается в фидбеке

Я за язык никого не тянул.

это был аутсорс или продуктовая контора?

ты нда до собеса подписывал? если нет говори название

это был аутсорс или продуктовая контора?

Оутсорс. Распределенный.

а. ну тогда сразу в /dev/null

мне вообще слабо верится что этот ответ вообще учитывается в фидбеке

+1

ты нда до собеса подписывал? если нет говори название

Не, ребят. Может это дурь разраба, который меня собеседовал.

Ну кстати про #android вакансии, в @kotlin_jobs добавилась еще одна

Коллеги, пооффтопить можно? Сегодня проходил собеседовние на позицию Android-разработчика и по традиции под конец разговора запросил feedback. Один из вопросов, на котором я «прогорел» оказался вопрос «Готов ли Kotlin к продакшену?». Я ответил, что да безусловно, 20% приложений на google play уже его используют — и это оказался неправильный ответ. 6 лет разработки языка от создателей лучшей IDE для Java, поддержка мастодонтов индустрии, тонны материалов — ан нет, у нас пишут на 6й джаве и баста! Когда же это закончится.

так а почему не готов сказали хоть?

так а почему не готов сказали хоть?

Просто в большинстве случаев разрабы консервативны. Многие до сих пор не используют лямбда-выражения, не используют MVP, не используют негугловых библиотек.

Интересно, таких людей не смущает вся движуха вокруг языка за последний год и тот факт, что например новости в Android Weekly на 75% про котлин, а также дикое количество новых библиотек на котлине.

Интересно, таких людей не смущает вся движуха вокруг языка за последний год и тот факт, что например новости в Android Weekly на 75% про котлин, а также дикое количество новых библиотек на котлине.

потеряный рай, они не хотят выходить из зоны комфорта мб ?

RxJava для них также говно. Почему? Потому что и без всего этого вашего дерьма всё нормально программировалось раньше, и нам это не надо.

Просто в большинстве случаев разрабы консервативны. Многие до сих пор не используют лямбда-выражения, не используют MVP, не используют негугловых библиотек.

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

вот до релиза были вопросы

сейчас нету

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

Но это есть причина того, почему его до сих пор не котируют.

Интересно, таких людей не смущает вся движуха вокруг языка за последний год и тот факт, что например новости в Android Weekly на 75% про котлин, а также дикое количество новых библиотек на котлине.

Так это Хипстерство ж, хайп, мода -> не нужно.

Но это есть причина того, почему его до сих пор не котируют.

ну, короче говоря, вопрос дибилоидный изначально "готов ли для продакшена"

RxJava для них также говно. Почему? Потому что и без всего этого вашего дерьма всё нормально программировалось раньше, и нам это не надо.

Ну такое. Есть есть котлин-каналы и корутины

я бы ещё понял если бы вопрос был про корутины. готовы ли они к продашну :)

Ну такое. Есть есть котлин-каналы и корутины

Я говорю про людей, у которых котлин вообще как язык не рассматривается, где на Java программируют.

Ну и эт, разве корутины уже вышли из эксперементальной стадии?

я бы ещё понял если бы вопрос был про корутины. готовы ли они к продашну :)

Только не говори что нет, а то я уже все на них переписал)))

Ну и эт, разве корутины уже вышли из эксперементальной стадии?

Нет.

ERROR: S client not available

Ну и эт, разве корутины уже вышли из эксперементальной стадии?

о боги

Нет.

Ну вот, тут тоже ещё можно было бы докопаться, в отличие от rx*.

я бы ещё понял если бы вопрос был про корутины. готовы ли они к продашну :)

а кстати их кто-то в продакшене юзает уже?

по нашей(kotlin-team) информации — да

rx тащит , не надо ляля ?

есть ребята из Польши, у которых весь backend на корутинах (они вроде бы e-commerce пишут)

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

а на rx не удобно работать с асинхронностью, а можно подробее пжлст

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

Приведи конкретный пример, а не “абстрактную в ваккуме реактивную программу”

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

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

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

почему неудобно работать с асинхронкой?

может быть кто-то не знает достаточно операторов? ведь кроме map еще есть flatmap со своим шедулером ^_^

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

если честно, долго искать, а можно конкртетный асинхронный кейс

вот при таком кейсе rx не затащит и все тут

ну хотяб вкратце)

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

Я честно сказать пытался недавно придумать сложную задачку на rx, но у меня не особо вышло. Я все же не pro в rx-java, а тех знаний что у меня были не достаточно чтобы написать что-то архи-сложное.

есть ребята из Польши, у которых весь backend на корутинах (они вроде бы e-commerce пишут)

Я дажу знаю их, allegro.pl

У них спринг + корутины

а кстати их кто-то в продакшене юзает уже?

У меня есть в проде, но там не high load вот это все. Undertow, и совсем небольшая нагрузка.

Я могу примерно описать что такое рективная программа. Вот есть скажем текстовое поле, данные в котором зависят от результата вычисления функции на основе друх других полей, при обновлении любого поля изменяется результат. Это классическое описание реактивщины. Заметьте, что тут нет упоминания переходов в другой поток например.

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

шлепаем сабжект, эмитим по изменению в полях, в подписке обновляем то первое поле, что зависит от первых двух

ну это так, навскидку

Это решение на корутинах?

нене, я за rx топлю)

разве на каналах не выйдет сделать тоже что и в rx?

Я могу примерно описать что такое рективная программа. Вот есть скажем текстовое поле, данные в котором зависят от результата вычисления функции на основе друх других полей, при обновлении любого поля изменяется результат. Это классическое описание реактивщины. Заметьте, что тут нет упоминания переходов в другой поток например.

Чувак ну producer же из коррутин

нене, я за rx топлю)

топи за rx на корутинах)

воувоу) ладно, как только будет необходимость ) я еще топлевел функции не полностью осилил)