первая строчка )

токсоплазмоз

> На основании последних научных изысканий считается, что Toxoplasma gondii способна провоцировать развитие шизофрении Сначала втаскиваешь в проект cats, а потом голоса в голове требуют втащить в проект shapeless и всякие фримонады

вот она и есть шизофрения одна половина говорит юзай шаплез везде а вторая нигде

фриманатки есть в самих котах

Наткнулся тут на гист интересный https://gist.github.com/folone/4945168 Кто в курсе этой фичи?

похоже на https://github.com/milessabin/shapeless/wiki/Feature-overview:-shapeless-2.0.0#singleton-typed-literals

@fomkin https://github.com/fthomas/singleton-ops

@fomkin https://github.com/fthomas/singleton-ops

Что то там в ридми нет ничего про эту волшебную крышечку

это прям какой-то идрис уже

ага

очень круто

Что то там в ридми нет ничего про эту волшебную крышечку

Удивительно что ни где не написано про @@.

карри ховард изоморфизм во все поля

очень круто

Я попробовал, не работает.

По этому и спросил, мол кто что знает.

Я попробовал, не работает.

у тебя TLS?

у тебя TLS?

Нет, обычная

у тебя TLS?

Но это не важно. Эта волшебная крышечка ни где не определна.

ну там же нужно TLS с "-Yliteral-types"

я не уверен что крышечка оттуда

крышечка очень жирная

функции на тайплевел поднимает

scala> def factorial(n: Int):Int = if(n <= 1) 1 else n * factorial(n-1) factorial: (n: Int)Int scala> val test: ^(factorial(5)) = 102 <console>:14: error: type mismatch; found : Int(102) required: Int(120) val test: ^(factorial(5)) = 102 ^

офигеть же

вот вот

может это ветка какая в шейплесе

очень похоже на какой-то пул-реквест в шейплесс, который ещё не в основной репе

хотя это 2013 год

может это ветка какая в шейплесе

sync

Welcome to Scala version 2.11.0

Написал в гист, может ответит

Я к чему это вообще. Подумалось, что было бы офигенно круто иметь что-то вроде классического движка бизнес-правил но на тайплевеле. Можно ведь считать мэтчигн имплистов констрейнт-солвером, да?

Я к чему это вообще. Подумалось, что было бы офигенно круто иметь что-то вроде классического движка бизнес-правил но на тайплевеле. Можно ведь считать мэтчигн имплистов констрейнт-солвером, да?

частично это реализуется в https://github.com/fthomas/refined

ой.... та же морда

меж тем это либа - порт хаскелевской либы Никиты Волкова, автора strelka, аналога vodka Заметили, что у Фомкина и Волкова одинаковые мысли в голову приходят?

Я к чему это вообще. Подумалось, что было бы офигенно круто иметь что-то вроде классического движка бизнес-правил но на тайплевеле. Можно ведь считать мэтчигн имплистов констрейнт-солвером, да?

грубо говоря, благодаря shapeless.Witness.Lub уже можно делать приблизительно такой DSL

но без крышечки

все сложные операции по обработке синглтон строк, чисел и т.п. нужно будет либо делать с помощью макроса

либо конвертировать в гигантские тайплевел структуры типа Nat ов и HList ов и делать очень долго

полцарства за крышечку

есть вопрос. А как хендлить ошибки в интерпретаторе для фримонады? Или просто трансформировать в что-то типа MonadError? А если надо бы прервать интерпретацию, например? И не идти дальше по иерархии.

Есть вариант сделать отдельную алгебру для ошибок

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

Всем доброго времени суток, может у кого-то есть опыт использования jwt с akka-http, если да, подскажите библиотеки или литературу. Спрашиваю тут т.к. в том числе интересует субъективный опыт.

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

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

не пойдет, free паразитирует на семантике flatMap финальной монады

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

смотря на каком уровне у тебя твой Error

если она не пойдет после ошибки то и фри не пойдет

а если только free вокруг, то точно не пойдёт

Точно же. Спасибо

https://gist.github.com/Tvaroh/a2fd772f7a66aaafc2ea48ce1fc3646d как думаете - будет тут extends AnyVal работать?

гайс, есть варинты рефакторинга без количества больше количества if ? https://gist.github.com/anonymous/4894121e1cda018916bd896586159565

https://gist.github.com/Tvaroh/a2fd772f7a66aaafc2ea48ce1fc3646d как думаете - будет тут extends AnyVal работать?

ну компилится

а зачем?

чтобы не аллоцировался имплиситный класс при таггинге?

в пулл реквесте на проекте комент есть от индуса ревьюера: Refactor the code and avoid multiple if checks

вот и думаю варианты, но чет не могу придумать

Ад какой

беги оттуда

чтобы не аллоцировался имплиситный класс при таггинге?

ClassCastException. нужно расставить параметры типа у asInstanceOf

вот и думаю варианты, но чет не могу придумать

сделай ADT прям в функции и pattern matching, а потом беги

ERROR: S client not available

хм, а тайп инференс куда делся, ща проверю

http://stackoverflow.com/questions/14929422/should-implicit-classes-always-extend-anyval

хм, а тайп инференс куда делся, ща проверю

Такая фигня постоянно, нужно явно ставить

но вопрос был - зачем методы

поправил gist

не понял вопрос

ну в shapeless обычно просто x: A @@ X = tag(a)

не пойму профит от метода

что такое tag у тебя в примере?

какой профит от явного указания типа?

val login = "foo".@@[Login]

что такое tag у тебя в примере?

shapeless.tag

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

т.е. это - копипаста второго порядка у Сабина

в шейплесе сначала функция, здесь можно в ооп стиле

в шейплесе сначала функция, здесь можно в ооп стиле

pls

чё?

не хотелось спорить о терминах, но dot notation - это не более ООП, чем ФП стиль в скале

короче, удобнее так, разница вроде очевидна

короче, удобнее так, разница вроде очевидна

не соглашусь

этого и не требуется :)

вопрос-то о другом

яркий пример

мне не интересно продолжать это сравнение object tag { def apply[U] = new Tagger[U] trait Tagged[U] type @@[+T, U] = T with Tagged[U] class Tagger[U] { def apply[T](t : T) : T @@ U = t.asInstanceOf[T @@ U] } } Здесь для каждого тага создаётся объект Tagger

case class Foo ( db: Database @@ LongBusinessIdentityName ) implicit val foo1 = Foo( tag ( mkDatabase ("longBusinessIdentity") )) implicit val foo2 = Foo( mkDatabase ("longBusinessIdentity").@@[LongBusinessIdentityName]) implicit val fooBad = Foo (mkDatabase ("longBusinessIdentity").@@) // - throws java.lang.ClassCastException: Database cannot be cast to scala.runtime.Nothing$

не вижу копипасты из шейплеса, по-моему это адаптировалось скорее из Scalaz

не вижу копипасты из шейплеса, по-моему это адаптировалось скорее из Scalaz

в scalaz другие теги

по крайней мере были, пока Майлз не придумал эти в своём блоге

что мы сейчас обсуждаем, и что иллюстрирует код выше? extends AnyVal должен работать в моём случае

что мы сейчас обсуждаем, и что иллюстрирует код выше? extends AnyVal должен работать в моём случае

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