ну собсна в статье так и сделано

А imap не есть биекция ?

для изоморфизма ж надо тип равенства

Мне ж без доказательств, просто две стрелки.

Мне ж без доказательств, просто две стрелки.

https://github.com/twitter/bijection

https://github.com/twitter/bijection

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

А imap не есть биекция ?

Это про другое https://github.com/non/cats/blob/master/docs/src/main/tut/invariant.md

В котах\шейплесе есть что-нибудь вроде Iso[A,B]?

http://julien-truffaut.github.io/Monocle/optics/iso.html

http://julien-truffaut.github.io/Monocle/optics/iso.html

В Шейплесе же был Iso? Почему выпилили? Или я ошибаюсь?

В Шейплесе же был Iso? Почему выпилили? Или я ошибаюсь?

Там был имплиситный

Для специфических узких кейзов

Моноклевый - как надо с композицией и даунгрейдингом в низшие оптики

Мало того, моноклевый полиморфный

Можно сделать сделать чонибудь типа PIso[User, IO[User], DBUser, IO[DBUser]], если биекция проходит через эффект, к примеру

Короч, юзай монокль

А imap не есть биекция ?

это с обратной стороны, тип, который ты можешь мэппить через биекцию

инвариантный функтор

Можно сделать сделать чонибудь типа PIso[User, IO[User], DBUser, IO[DBUser]], если биекция проходит через эффект, к примеру

Здорово! Придётся целый Монокль из-за одного Iso тащить, хм.

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

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

зря что ль вырезал!

Здорово! Придётся целый Монокль из-за одного Iso тащить, хм.

Нормально, обычно их ради одного Lens тащат

Для линз и Шейплес хорош (по крайней мере я не нашёл чем Монокль может быть лучше).

Здорово! Придётся целый Монокль из-за одного Iso тащить, хм.

Монокль маст хев

для изоморфизма ж надо тип равенства

это в высшем обществе. У улиц свои законы, в левой руке A=>B, в правой B=>A а биективность храним в сердце

Не пойман - не unlawful

Это можно в CoC внести?

Это можно в CoC внести?

что?

что?

Ну вот это вот: "у улиц свои законы" - соответствует духу Скалы!

да и ваще, нет шенанды в 10ке, сидим на 8ке

g1 паралельный же зато будет, заживем

в red hat сборке уже в 9 обещали нормальную версию запилить, коль не путаю

полуночный вопрос: кто чем руководствуется при версионифицировании своих артефактов?

полуночный вопрос: кто чем руководствуется при версионифицировании своих артефактов?

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

Ну т.е. я уже выиграл у akka http

полуночный вопрос: кто чем руководствуется при версионифицировании своих артефактов?

У нас семвер

токсичный ли коллектив

Что это значит? Что тебя гнобят на работе? Отправляешь мерж реквест, а тебе "азазаза лалка, код говно". Я не понимаю

Serge request неплохо

Что это значит? Что тебя гнобят на работе? Отправляешь мерж реквест, а тебе "азазаза лалка, код говно". Я не понимаю

чувак не умеющий в фидбек для меня токсичен

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

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

Знатное место

А, ну примерно понял. У нас такого нет. Есть только джавист. Сидит такой тихонько но может РЕЗКО ЗАООАТЬ и стучать по клавиатуре. Но это он просто эксцентричный, на других никогда не гонит хотя по скилам выше всех на порядок

Знатное место

*места

мой любимый персонаж, groovy сеньер архитектор, выррсший из qa, который настолько был оскорблен мною, что в моих ветках менял код на ПРАВИЛЬНЫЙ после чего проект переставал собираться и фича разваливалась, и все это до открытия мердж реквеста привет БСС

Serge request неплохо

Это не я. Оно само

implicit в качестве аргумента ищёт в области видимости вызова объект подходящего типа?

implicit в качестве аргумента ищёт в области видимости вызова объект подходящего типа?

Не только в области вызова, но и там тоже

implicit в качестве аргумента ищёт в области видимости вызова объект подходящего типа?

https://stackoverflow.com/a/5598107

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

Рациональными наверное

О боги, как всём этом не запутаться?

Так можно и запутаться, а потом распутаться

О боги, как всём этом не запутаться?

почти всегда тебе придётся обходится только парочкой скоупов для имплиситов

типа локального + компаньон

остальные куда более редкие

плюс компилятор тебе подскажет, если что-то не так

типа локального + компаньон

компаньон - это тоже непростой скоуп Во-первых у сложных типов может быть несколько разных компаньонов. Например у Foo[Bar, Baz] - три штуки

Для каждого компаньона есть некоторый ещё приоритет. Сначала - собственные методы, потом прямо унаследованные. Если базовые типы компаньона сами имеют родителей - то там тоже упорядичивается

То же относится и к классу, в котором происходит поиск

Про несколько компаньонов можно поподробнее

Это же static класс с module

Мало того, если ты зашэдовишь имя

То потеряешь и имплисит

компаньон - это тоже непростой скоуп Во-первых у сложных типов может быть несколько разных компаньонов. Например у Foo[Bar, Baz] - три штуки

Вот здесь будет смотреть в трёх компаньонах. Foo, Bar и Baz

w00t, Bar и Baz будут считься компаньонами для Foo?

срыв покровов

Я как-то никогда не задумывался даже о таком

так,кто нибудь тут с scalaxb работал?

Работал, потом забил и написал через тонкую прослойку с jaxb

Уже с @pomadchin обсуждали, иногда странная генерация кода, иногда очень странная, читать - мало удовольствия

так,кто нибудь тут с scalaxb работал?

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

Работал, потом забил и написал через тонкую прослойку с jaxb

ок,понял.Этого достаточно =)

Работал, потом забил и написал через тонкую прослойку с jaxb

Ну вот когда огромный Xsd и ты ленивый, то само то)

да оно как бы работает, но и иногда не совсем верно генерирует, небольшие косяки бывают, зависит от мудрености и корреткности схемы. а если и заведешьто медленно

Оно ещё и медленное, т.к. scala-xml медленное

ну очень медленно прям

Ну вот когда огромный Xsd и ты ленивый, то само то)

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

Ну вот когда огромный Xsd и ты ленивый, то само то)

Да не, когда там какие-то извраты в xsd, а не тупо плоская структура, там адище в генеренном коде, тут лень уже не играет роли

у нас есть сраный оракл 11,который не могет с json работать :(

Для xml толкового ниче нет, инфа сотка, джексоновый модуль тоже шаг влево-вправо и расстрел

Ну если скорость не важна и xsd несложная, то можно и scalaxb или вообще ручками разобрать, если скорость важна, то лучше jaxb с аккуратной оберточкой, написать и больше туда никогда не смотреть

да ситуация конечно у меня не айс.Около 15 xsd разных будет

бедняга

А сложные?

попробуй scalaxb тогда, а потом поймешь что похалявить не получится

ну или устроит результат

я вчера с ним боролся

w00t, Bar и Baz будут считься компаньонами для Foo?

нет, у Foo один компаньон. Но поиск происходит в компаньонах тайп-конструкторов и тайп-параметров и т.д., смотря какой сложный тип

в жопу

попробуй scalaxb тогда, а потом поймешь что похалявить не получится

ну если они плоские, то может получиться

ну если они плоские, то может получиться

можно нагенеренный код править

там не сложно

не.Есть такие куски там,типа, <OPLATAPOPOCHTE></>

глаза режет

можно нагенеренный код править

и стрельнуть себе в ногу, ага ))

=(

и стрельнуть себе в ногу, ага ))

в колено стрелу, да