Ну и?

Ну и значит можно

Но в байткоде то она в классе

это уже не про язык, а про платформу

Это понятно. Но логически говоря - нельзя назвать функцию вне класса методом

хмм, а статический метод — это метод или функция? (спойлер: это процедура)

На SO обсосали ваш очень важный вопрос https://stackoverflow.com/questions/155609/difference-between-a-method-and-a-function

Вообще. Вы забыли про процедуры

Кто-нибудь использовал? https://github.com/diklimchuk/Kotlin-js-di

ну ясное дело что это спор из программы специальной олимпиады

поэтому ты счел нужным принять в нем участие?

Кто-нибудь использовал? https://github.com/diklimchuk/Kotlin-js-di

можно kodein попробовать для JS еще

У него там дока, все дела

поэтому ты счел нужным принять в нем участие?

да

можно kodein попробовать для JS еще

Спасибо, посмотрю

А в котлине ведь нет альтеpнатив такому скаловскому коду: trait Functor[F[_]] { // some useless stuff } Или я не нашел пpосто?

То есть сделать F<_> не выйдет (пока что)?

Higher-Kinded types нет в котлине

Обидно, спасибо.

А для чего это тебе на практике нужно?

(например)

Тайп классы

Из Слака, от @relizarov (PM - паттерн матчинг) Еще один anecdotal piece of evidence. На JPoint подошла пара ребят с вопросом про PM. Я спросил: — а в каком коде он вам помогает? — Ну когда “глубоко надо матчить“. — А где надо глубоко матчить? — Ну вот если у нас есть `Future<Optional<Data>>

В Either надо было ещё обернуть ?

опять с монадами и PM лезите в котлин

интересно в golang тоже в комьюнити требуют монады?

Вот пат мата на регулярках прям не хватает

с остальным можно жить

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

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

val regexp = Regexp("""(\d+) | (\d+)""") when(str) { regexp(firstGroup, secondGroup) -> ??? else -> println("shit happens") }

такие штуки на динамических языках удобно делать...

такие штуки в скалке активно пользуются

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

Парсинг же

опять с монадами и PM лезите в котлин

можно понять нежелание использовать монады: слово "страшное". а патмат то чем не угодил?

можно понять нежелание использовать монады: слово "страшное". а патмат то чем не угодил?

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

Кто будет считать редкость?

Кто будет считать редкость?

Разработчики языка же.

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

а с какой целью тогда в котлине есть sealed классы?

фича более редкая на порядок

и без патмата менее полезная тоже на порядок

а с какой целью тогда в котлине есть sealed классы?

Это достаточно маленькая фича с точки зрения языка.

ну вот кстате да, ADT есть, а пат мата, чтобы его обходить - нет

Это достаточно маленькая фича с точки зрения языка.

нахожу логику противоречивой

особенно когда зачатки патмата сделали в виде when, но не довели до конца

ну вот кстате да, ADT есть, а пат мата, чтобы его обходить - нет

К слову, внезапно, паpодию на тайп-классы сделать то можно.

интересно в golang тоже в комьюнити требуют монады?

в голанг даже без дженериков как-то обходятся, какие там монады

Сейчас скину пpуф.

ты про arrow?

особенно когда зачатки патмата сделали в виде when, но не довели до конца

when — это достаточно удобный гибрид switch и if. До того удобный, что можно было даже if не делать)

К слову, внезапно, паpодию на тайп-классы сделать то можно.

Да тайп классы то можно делать, для простых типов правда только без HKT, но вот удобно их пользовать - увы и ах

https://gist.github.com/komigor/eebbf98ee72a77016ba9c2ef91a151ba

when — это достаточно удобный гибрид switch и if. До того удобный, что можно было даже if не делать)

вот этого я и не понимаю. этот when будто не доделан

Да тайп классы то можно делать, для простых типов правда только без HKT, но вот удобно их пользовать - увы и ах

Да в целом почти также выходит, идет импоpт extension функций

вот этого я и не понимаю. этот when будто не доделан

ты ожидаешь от него паттерн-матчинга, а его там никто и не хотел делать)

ты ожидаешь от него паттерн-матчинга, а его там никто и не хотел делать)

но его так хочется

Да в целом почти также выходит, идет импоpт extension функций

Ну ты не можешь просто сказать функции тип, и она такая хоба и подставила тайп класс, как в хашкеле или скалке

Ну тут да. Увы.

ты ожидаешь от него паттерн-матчинга, а его там никто и не хотел делать)

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

Но вот сделать обеpтку над типом, чтобы потом extension функции к этой обеpтке имоpтились можно.

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

неудобные - потому что недоделанные

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

так зачем патмат с sealed, когда есть смарткасты?

так зачем патмат с sealed, когда есть смарткасты?

как-то не всегда они pаботают...

Особенно с java-интеpопом

так зачем патмат с sealed, когда есть смарткасты?

потому что патмат более общая и универсальная фича, и, помимо прочего, он дает еще больше читаемости коду

потому что патмат более общая и универсальная фича, и, помимо прочего, он дает еще больше читаемости коду

чёт мне кажется, что всё наоборот)

Щас бы субъективщину за истину выставлять

Вот если бы было какое голосование, где сказали бы вот вам удобнее так или так

чёт мне кажется, что всё наоборот)

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

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

Оба. Смарткасты универсальнее, when читаемые.

Оба. Смарткасты универсальнее, when читаемые.

ну тогда мне нечего сказать

Похоже на фанатичное следование какой то позиции

Типо, да нет тут никаких проблем

Это с вами что то не то

У пат мата есть свои проблемы, но и достоинства там тоже есть, причем зачастую перевешивающие эти проблемы

Похоже на фанатичное следование какой то позиции

Не похоже. Мне не всё в котлине нравится.

в котлине мне не нравится JVM)

и то что все вокруг блокирующее

Из блокирующего остался же только JDBC по сути

Из блокирующего остался же только JDBC по сути

и стопицот старых библиотек

а на андроиде — так вообще

Из блокирующего остался же только JDBC по сути

сам факт того что нужно учитывать всегда еще то что либа может быть блокирующей уже не радует

вот берешь ты какое-то SDK, типа AWS

и нужно проверять, не блокирующее ли оно

вот берешь ты какое-то SDK, типа AWS

AWS обещали сделать асинхронный API

вот например в го, им не нужно знать как компилируются их саспенденд функции, париться о блокировках и тд. у них если написано где-то "блокируюется" значит это просто саспендится. им не нужно париться о потоках, потому что там только одна модель канкаренси вот это все немного печалит, надеюсь kotlin/native в этом плане исправит огрехи JVM

и нужно проверять, не блокирующее ли оно

aws sdk v2 не блокирует

aws sdk v2 не блокирует

это к примеру было, помимо aws sdk есть еще тонны других разных sdk)

Ну это же просто детские болезни

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

вот например в го, им не нужно знать как компилируются их саспенденд функции, париться о блокировках и тд. у них если написано где-то "блокируюется" значит это просто саспендится. им не нужно париться о потоках, потому что там только одна модель канкаренси вот это все немного печалит, надеюсь kotlin/native в этом плане исправит огрехи JVM

в go lang какие-то файловые операции блокирующие

в go lang какие-то файловые операции блокирующие

разве? из блокирующего там только unsafe вызовы сишного кода, на сколько я помню

Я не большой спец, но https://golang.org/pkg/io/#PipeWriter.Write

в go "blocking" постоянно называют саспендед, так что хз

Ну вот тогда еще в догонку обсуждение на SO https://stackoverflow.com/a/36117724/1538877

Ну вот тогда еще в догонку обсуждение на SO https://stackoverflow.com/a/36117724/1538877

понял, тогда да, там отдельный поток открывает и эмулирует "неблокирующее" поведение

они по сути сделали то что мы делаем в корутинах или Rx с блокирующим API: завернули в тред пул

в прочем как это на и на котлине явно делаем

угу