Iaroslav

Вопрос к Hibernate экспертам. Пытаюсь вытащить запись через criteria api по уникальному ключу. Кверя возвращает 0 результатов, хотя если смотреть в базу, то запись есть. Табли...

>>>И поймёшь что такое ест. преобразование полностью изоморфно трейту, который ты написал выше а можно где-то найти выведение того, что оно таки изоморфно? А то я в этот моме...

Когда перегружаешь метод с дженерик коллекцией в качестве аргумента типа Map[Int, String] vs Map[String, Int], там был какой-то трюк с имплисит параметром, который помогал обо...

народ, а кто подскажет плюсы минусы cats в сравнении с scalaz. Мне у cats немного доки больше нравятся, но вокруг scalaz вроде как комьюнити больше. Кто может подсказать, кака...

Ага. Но выполнение ж пойдет дальше по AST. Я не могу этого прервать. Только если выпущу исключение за пределы интерпретатора. А если не выпущу, то трансформация пойдет дальше,...

а может кто-то дать реал лайф пример (желательно код) использования фри монад? Никак не разберусь с этой магией.

ага, а если у тебя не дженерик метод? Или тот же принцип, только подсовываешь конкретный тип ? Как (implicit ct: ClassTag[String])

я тогда еще немного с другой стороны наброшу. Кто здесь у себя на проектах юзает Type level programming / Dependent types подходы?

используя DSL? entity(as[String]) { body => ... } да сандаль джексон на стринговый боди. Или пробовал уже такое?

это ж где в штатах получают 120к бачей в месяц? Пойду туда устроюсь

CompletableFuture - это то, как фьюча должна была выглядеть изначально? или еще нет?

ага, именно это я имел ввиду. Есть пример реализации?

круто. так прям до компайл-тайм пруфов дело дошло?

а тут у всех докер, в хадупе никто не поднимает?

и сразу вопрос - зачем? Ведь есть Idris

или из Бостона или NY ?