Я просто начал въезжать зачем-то в эндофункторы, но понимание всё же ускользает. Вот у нас есть стрелка - это гомоморфизм, который переводит одно множество в другое(насколько корректно упрощать категорию до множества?) И я так понял - это и есть функтор. Эндофунктор - это функтор который остаётся после преобразования в том же множестве. И типа монада - это эндофунктор, но в чём разница монады и этого эндофунктора?

Нет, функтор мапит одну категорию на другую, при этом категорию определяют не объекты, а как раз морфизмы

Рекомендую почитать Милевского "Category theory for programmers"

Ок, учту эту книжку

Вот тут можно такие вопросы задавать @ru_catheory

Вобщем тут можно без цензуры за категории тереть https://t.me/scala_ponv

Всем привет! Никто не в курсе. Есть либа, написанная на котлине и соотвественно скомпилированная котлином, собрана в jar. Хочется её использовать в другом проекте котлиновском, можно ли использовать свойства классов, без геттеров и сеттеров из этой скомпилённой либы, а нативно по-котлиновски? Типа user.id = 123, а не user.setId(123)

@HeapyHop а чего ты такой злой? это не оффтоп, сабж уже активно юзается везде, в тч в джаве и котлине

Ну да, интероп котлина с котлином 146-процентный.

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

А это нужно как-то специально настраивать? У меня просто сходу это не завелось, Idea просто не вижет свойств этих...

А это нужно как-то специально настраивать? У меня просто сходу это не завелось, Idea просто не вижет свойств этих...

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

а поля паблик?

потому что один из админов такого не одобряет! не аргумент разве?

нет, это просто работает, я даже этому вопросу удивился

Ну вот примерно все кому интересно было заджойнились в @ru_catheory. Я только рад, тут кажется эта тема находит отклик у пары человек, причем которые не пишут на котлине

наверное глюк какой-то...(

наверное глюк какой-то...(

Какая идея, какой котлин? Какой проект?

Ivalidate caches and restart

Ivalidate caches and restart

idea 2017.3.5, котлин 1.2.30, проект ничего специфического в доменном классе User который потом переиспользуется скомпилированныйм обнаружил, что ide подчеркнула прямой доступ к свойству, как буд-то он отстуствует, только get-ы и set-ы..

Надо плагин с хоткеем бахнуть)

Может ты в джава файле пытаешься писать?

Может ты в джава файле пытаешься писать?

Вобщем тут можно без цензуры за категории тереть https://t.me/scala_ponv

Вот кстати, создаю классы через контекстное меню New в дереве. А там, зараза, первым пунктом Java Class, который я и щёлкаю по привычке, только через некоторое время понимая, что это немного не тот язык.

злой ты)

Вот кстати, создаю классы через контекстное меню New в дереве. А там, зараза, первым пунктом Java Class, который я и щёлкаю по привычке, только через некоторое время понимая, что это немного не тот язык.

Да, между гулянками с чужими мамками там и правда бывает про ТК)

Вот кстати, создаю классы через контекстное меню New в дереве. А там, зараза, первым пунктом Java Class, который я и щёлкаю по привычке, только через некоторое время понимая, что это немного не тот язык.

Дык <Alt> + <Ins>; ko <Enter>

Дык <Alt> + <Ins>; ko <Enter>

еще б почистили это меню от не работающих команд и было бы вообще зашибись, достойная альтернатива этим вашим command pallete в саблаймах атомах и вскодах

еще б почистили это меню от не работающих команд и было бы вообще зашибись, достойная альтернатива этим вашим command pallete в саблаймах атомах и вскодах

> еще б почистили это меню от не работающих команд о каких командах ты говоришь? о тех, которые не работают в твоём текущем проекте?

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

Простите но тупой вопрос. Java метод выбрасывает исключение (IoException). Метод вызывается в котлин коде и idea не предлагает обернуть его в try catch. Соответственно крэш в рантайме. Как настроить kotlin plugin, или так и должно быть ?

И как жить?

В голове держать всё это?

И как жить?

Так же как живут в куче других языков - думать головой где имеет смысл ловить exception. Потому что сама идея checked exception - зафорсить тебя написать какой-то код который в случае exception может сделать какой-то recover. Но на практике оказывается что ты не хочешь(и чаще всего не можешь) делать какой-то рековер, ты хочешь просто отдать клиенту красивый html/json с описанием ошибки.

java вроде единственный язык с checked exceptions и несмотря на то, что эксперимент считается провалившимся, много раз слышал от программистов на C# и C++: а вот у вас в java клево тем, что у вас есть checked exceptions

java вроде единственный язык с checked exceptions и несмотря на то, что эксперимент считается провалившимся, много раз слышал от программистов на C# и C++: а вот у вас в java клево тем, что у вас есть checked exceptions

Есть еще Go Lang, где возвели checked exception в абсолют и им вроде как нравится.