-_______-

выпей +1, будешь примерно так же как сейчас пьян. Ну может чуть больше %)

Ну так-то вроде бы все ок?: A > B B + 1 <= A A >= B + 1

Или нет.

Помогите, я совсем запутался.

всё так

Значит и здесь все должно быть ок: def add[S <: Nat : ToInt](sentence: Sized[Vector[T], S])(implicit ev: S > Order) = { sentence.sliding[Succ[Order]] map { xs => // could not find implicit value for parameter ev: S >= shapeless.Succ[Order] ... } } implicit final class SizedVectorOps[L <: Nat : ToInt, T](xs: Sized[Vector[T], L]) { def sliding[M <: Nat : ToInt](implicit ev: L >= M): Iterator[Sized[Vector[T], M]] = { xs.unsized.sliding(toInt[M]).map(_.ensureSized[M]) } }

а можешь молный пример запилить?

и чего хочешь от функций

вытащи констрейнты из sliding в отдельную функцию

и уже там проверь

а можешь молный пример запилить?

https://gist.github.com/fomkin/0f14d58e093f0026203728cb275bd1fd

использую, имеется)

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

странно

он хочет S >= shapeless.Succ[Order]

а

слушай все логично

ты сам хочешь уметь с саком сравнивать

import shapeless._ import shapeless.nat._ import shapeless.ops.nat.LT._ import shapeless.ops.nat.LTEq._ import shapeless.ops.nat._ def foo[A <: Nat, B <: Nat](implicit ev: A < B) = { implicitly[A < Succ[B]] // could not find implicit value for parameter e: A < shapeless.Succ[B] }

def add[S <: Nat : ToInt](sentence: Sized[Vector[T], S]) (implicit ev: S >= shapeless.Succ[Order], diff: Diff[shapeless.Succ[Order], Order]): this.type

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

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

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

Ок. Я в самом начале это спрашивал :)

не читал :))

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

или просто лифтофункцию сунуть в контекст

А я видел

ну повтори, интересно же

>> @notxcain набросил (старенькая штучка // я не про Дениса) http://discuss.joelonsoftware.com/default.asp?joel.3.219431

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

а где было оринальное сообщение?)

тут

а как вы паблишите в maven central библиотеки?

а как вы паблишите в maven central библиотеки?

Через Sonatype OSSRH. http://central.sonatype.org/pages/ossrh-guide.html

то есть можо настроить только это и никакие бинтрэи не нужны?

Говорят можно как-то через биттрэй но я как себе лет пять назад OSSRH настроил, так и паблишу.

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

тикет только один раз создается

наверное про это речь https://blog.bintray.com/2014/02/11/bintray-as-pain-free-gateway-to-maven-central/

один раз, но ждать его неделю можно

ну это да

и доступно после публикации тоже не по взмаху руки

и доступно после публикации тоже не по взмаху руки

Ну вообще не очень удобно. Надо идти в oss.sonatype.org, кликать Close -> Release. Было бы круто если бы был API который можно было бы дернуть курлом и все дела.

я в первый раз долго ждал, так как не знал еще про эти close release))

Ну вообще не очень удобно. Надо идти в oss.sonatype.org, кликать Close -> Release. Было бы круто если бы был API который можно было бы дернуть курлом и все дела.

это шутка?

Если бы так было можно, я бы настроил авторелизы по тэгу. Типа запушил тэг. Травис все потестил, собрал, и сразу же релиз в централ запаблишил.

это шутка?

Нет

есть же sbt release и sbt sonatype

Думаю пощупать как-нибудь бинтрей, может быть у них лучше сделано.

есть же sbt release и sbt sonatype

Я не в курсе.

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

> Done. Your project will be synchronized to the Maven central within tens of minutes. No longer need to enter the web interface of Sonatype Nexus repository. Круто. Я не знал.

ну, sbt release позволяет описать шаги для релиза, а sbt sonatype как раз пуш в staging и закрытие реализует

bintray это опять же Барухово, можно его спросить

можно дать credentials на CI и паблишинг настроить

вот тот самый, автоматический

}else {

}

один раз, но ждать его неделю можно

быстро отвечают) провокация

у нас дня 4 ушло было относительно недавно

мне за вечер сделали

мне за вечер сделали

что паблишишь?

плагин для паблишинга))

Ну и денек.

плагин для паблишинга))

это специфичный какой-то? ты же релиз и сонатайп плагины рекомендовал выше

для cbt делал паблишилку в sonatype)

как раз хороший повод чтобы разобраться

один раз, но ждать его неделю можно

Мне в тот же день ответили, и вообще там всё довольно быстро

Страсти продолжаются https://twitter.com/travisbrown/status/864480098623344643

А кто-нибудь может в двух словах объяснить, что там опять за драма? А то там многабукав

TLDR; Джон хочет понять приветствуются ли проекты которые работают по FCOP как часть Typelevel экосистемы. Но FCOP не предотвратил выступление расиста на Lambda Conf (из-за этого отменили Typelevel Summit в Болдере) и теперь у всех бомбит

А fcop это?

https://github.com/fantasylandinst/fcop/blob/master/COC.md

Плюс история с между Хупелем и Моррисом

cats | scalaz

Моррис выступает на Lambda Conf тоже

какого еще расиста

так что там куча личных интересов и сраная политика

вот эта фраза про расизм и есть политика

какого еще расиста

лысого)

Кстати

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

Это не Брейвик часом?

Замаскированный

мы не будем заниматься скалой, тк ты расист — ну ауе

какого еще расиста

http://typelevel.org/blog/2016/03/24/typelevel-boulder.html

Вот история

http://degoes.net/articles/lambdaconf-inclusion

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

не про него

лол а завтра что? отменят релиз из-за веганства/феминизма?

Чет какие-то эмо

Боже, какой же бред