
folex
16.05.2017
09:44:15
-_______-
выпей +1, будешь примерно так же как сейчас пьян. Ну может чуть больше %)

Aleksey
16.05.2017
09:48:48
Ну так-то вроде бы все ок?:
A > B
B + 1 <= A
A >= B + 1
Или нет.

Google

Aleksey
16.05.2017
09:48:59
Помогите, я совсем запутался.

folex
16.05.2017
09:49:20
всё так

Aleksey
16.05.2017
09:50:25
Значит и здесь все должно быть ок:
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])
}
}

Grigory
16.05.2017
09:50:38
а можешь молный пример запилить?
и чего хочешь от функций

Denis
16.05.2017
09:52:26
вытащи констрейнты из sliding в отдельную функцию
и уже там проверь

Aleksey
16.05.2017
09:52:43

anton
16.05.2017
09:53:38
использую, имеется)
а с чем негатив связан? если бы была возможность отказаться - отказался бы? вот думаю тащить его или нет...

Grigory
16.05.2017
10:09:45
странно
он хочет
S >= shapeless.Succ[Order]
а
слушай все логично

Google

Grigory
16.05.2017
10:10:16
ты сам хочешь уметь с саком сравнивать

Aleksey
16.05.2017
10:10:29
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]
}

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

Diemust
16.05.2017
10:11:02
наконец-то серьезные разгворы с кусками кода пошли

Grigory
16.05.2017
10:11:04
надо явно сакк имплиситовранение сунуть
он не умеет автоматом лифтить до сака нат

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

Grigory
16.05.2017
10:11:49
не читал :))
думаю ты можешь сделать тайпкласс, который будешь передавать, и он будет лифтить
или просто лифтофункцию сунуть в контекст
А я видел

Diemust
16.05.2017
10:14:37
ну повтори, интересно же

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

Denis
16.05.2017
10:16:53
я тут локально набрасывал и не туда набросил )

Vadim
16.05.2017
10:17:50
а где было оринальное сообщение?)

Denis
16.05.2017
10:18:50
тут

Alexander
16.05.2017
12:42:49
а как вы паблишите в maven central библиотеки?

Aleksey
16.05.2017
12:43:46

Alexander
16.05.2017
12:44:19
то есть можо настроить только это и никакие бинтрэи не нужны?

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

Google

Alexander
16.05.2017
12:44:34
а блин, до сих порт нужно тикет создавать

Daniel
16.05.2017
12:45:40
тикет только один раз создается

Alexander
16.05.2017
12:45:41
наверное про это речь https://blog.bintray.com/2014/02/11/bintray-as-pain-free-gateway-to-maven-central/
один раз, но ждать его неделю можно

Daniel
16.05.2017
12:45:55
ну это да
и доступно после публикации тоже не по взмаху руки

Aleksey
16.05.2017
12:47:27

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

Nikolay
16.05.2017
12:48:37

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

Nikolay
16.05.2017
12:49:32
есть же sbt release и sbt sonatype

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

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

Aleksey
16.05.2017
12:50:19
> 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.
Круто. Я не знал.

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

Daniel
16.05.2017
12:51:13
bintray это опять же Барухово, можно его спросить

Nikolay
16.05.2017
12:51:20
можно дать credentials на CI и паблишинг настроить
вот тот самый, автоматический

Google

Alexandr
16.05.2017
12:59:40
}else
{

folex
16.05.2017
13:03:32
}

Grigory
16.05.2017
13:12:31

Daniel
16.05.2017
13:13:23
у нас дня 4 ушло
было относительно недавно

Nikolay
16.05.2017
13:20:31
мне за вечер сделали

Aleksey
16.05.2017
14:04:29

Nikolay
16.05.2017
14:10:42
плагин для паблишинга))

Aleksey
16.05.2017
14:13:50
Ну и денек.

Daniel
16.05.2017
14:14:49

Nikolay
16.05.2017
14:16:01
для cbt делал паблишилку в sonatype)
как раз хороший повод чтобы разобраться

Юрий
16.05.2017
14:32:01
Страсти продолжаются https://twitter.com/travisbrown/status/864480098623344643
А кто-нибудь может в двух словах объяснить, что там опять за драма? А то там многабукав

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

Юрий
16.05.2017
15:34:37
А fcop это?

Denis
16.05.2017
15:34:46
https://github.com/fantasylandinst/fcop/blob/master/COC.md
Плюс история с между Хупелем и Моррисом
cats | scalaz
Моррис выступает на Lambda Conf тоже

Google

Ilya
16.05.2017
15:35:37
какого еще расиста

Denis
16.05.2017
15:35:48
так что там куча личных интересов и сраная политика

Ilya
16.05.2017
15:35:50
вот эта фраза про расизм и есть политика

Nick
16.05.2017
15:35:52

Vasily
16.05.2017
15:36:05
Кстати

Wystan
16.05.2017
15:36:06
про брайна де гоза речь? почему он расист?

Vasily
16.05.2017
15:36:11
Это не Брейвик часом?
Замаскированный

Ilya
16.05.2017
15:36:22
мы не будем заниматься скалой, тк ты расист — ну ауе

Denis
16.05.2017
15:36:26
Вот история
http://degoes.net/articles/lambdaconf-inclusion

Ilya
16.05.2017
15:37:27
лол а завтра что? отменят релиз из-за веганства/феминизма?

Vasily
16.05.2017
15:38:03
Чет какие-то эмо

Юрий
16.05.2017
15:38:10
Боже, какой же бред