разве что опять же макрос зафигачить

есть кстати еще doobie. Он на scalaz и возможно умеет такие штуки

что в дуби, что в скалайке в гиттере достаточно быстро отвечают еще, если что =)

спасибо, повтыкаю

есть кстати еще doobie. Он на scalaz и возможно умеет такие штуки

там есть экспериментальная поддержка cats

я не курил его глубоко

увидел scalaz - закрыл :D

но он вроде как фичастый и активно развивается

да, да

мапперы и динамический запросы сейчас почти везде поддерживаются

в дуби и скалайке в том числе

ребят кто пользуется канйд проджектором с идеей; лямбда типы подсвечиваются?

я пользуюсь

да

вот только новый синтаксис для HK функций еще нет

а очень хочется

когда Free обмазываешься удобно

угу)

а я вот написал λ[α => M[α] => Functor[M, α]]

и все α красным

хотя вроде имплиситы верно

Скобки вокруг функции не пробовал?

Мало ли

Щас вернусь к идее проверю

Как у меня выглядит

А что такое Functor[M, α]?

там же Functor[F[_]]

эт наш

нее считай у меня ничего не подсвечивает даже банально λ[α => (α, α)]

вот как у меня выглядит

чорт, я в первый момент испугался, что телега научилась в маркап

можно поинтересоваться - а это реальный код на боевом проекте?

можно поинтересоваться - а это реальный код на боевом проекте?

кокретно этот нет ) просто пример, но есть похожее в интерпретаторах

а что с ним не так? ?

его не поймут 90% тех, кому посчастливится его поддерживать.

любой кто понимает higher kinded types врубится с пол пинка

просто особого смысла эта сигнатура не несет )

проблема в том, что думать, что понимаешь != понимаешь ?

не в этом случае

это же математика сплошная, typelevel фунции

просто разверни один раз и дальше понятно будет

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

интересно было бы на реальный пример посмотреть где это используется и как остальной код написан

*в каком стиле

ну я и говорю что этот пример синтетический

в этом примере символ ~ что означает?

и вообще расскажи в этом твоем синтетическом примере ты что во что превращаешь?

type ~>[F[_], G[_]] = cats.arrow.FunctionK[F, G]

это натуральная трансформация

да какая рзаница

все это хаки; мы используем лямбды чтобы не плодить кучу имплисит аргументов

не ясно что понятнее куча имплисит аргументов или лямбды ¯\_(ツ)_/¯

одно и тоже - сахар

хех, прикольно

scalike умеет же вынимать все из резалтсета с помощью макросов. def apply(rn: ResultName[WebhookInner])(rs: WrappedResultSet): Table = autoConstruct(rs, rn)

и давно там autoConstruct? не знал об этом

ну... для меня это было всегда, ибо я недавно им пользуюсь х)

ток там конечно же доп зависимость "org.scalikejdbc" %% "scalikejdbc-syntax-support-macro" % "2.4.1"

да, я нашел http://scalikejdbc.org/documentation/auto-macros.html, но до этого не знал. интересно!

только конечно дроч со всем этим, ибо без подсказок ide не привык писать =)

Зачем использовать фкнкторы, если компилятор не может доказать 2+2 =4 ?

А так бы рефакторишь код, а анализатор какой-нибудь говорит,что обе версии года гомо-морфны или какой там изоморфизм

Зачем использовать фкнкторы, если компилятор не может доказать 2+2 =4 ?

так кошки призывают до кучи тесты делать на всю эту порнографию (laws)

Похоже на культ карго, когда туземцы делали самолеты из соломы. Выглядит круто, по крайней мере.

(: да о чем спор; все по-разному код абстрагируют ведь бесспорно когда можно без всего этого обойтись то супер а если это сокращает код добавляет обшности то почему нет

ERROR: S client not available

не вижу ничего плохого

Да просто есть coq - типа настоящий самолет. И он там клрректность дотти- формализма доказывает.

галлина, да

ну есть f*, agda

ну разные цели у языков

на коке сильно не покодишь, ведь так?

ды кок эт пруф асистант жи; на галлине можно чтонить

но я думаю это для верификации кода исопльзуется

на сайте f* вроде были примеры где можно использовать кокоподобный язык

или не на сайте f* :D но пример с f* есть

// https://www.fstar-lang.org/ я про это

Idris же

есть

ах да точно!

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

Все-таки хаскель под ногами

Idris прекрасен

читаю книжу Эдвина кайфую

в чем его фишки?

читаю книжу Эдвина кайфую

+++

На стренджлупе был хороший доклад про Идрис

Лайв кодинг все такое

http://www.lihaoyi.com/post/BenchmarkingScalaCollections.html

Ага, классная статья

а когда у него плохие были? мне кажется он нанимает рабов из мфти и они ебашут ему код =)

Только зачем он для мемори лаяута пишет чтот своё, когда есть jol

Массив интов и лонгов в памяти одно место занимает пздц

На стренджлупе был хороший доклад про Идрис

Надо посмотреть.

Вообще тут читал пару статей про дифференциальное программирование. Типа есть в матане, например, дифференцируемые функции, которые замкнуты относительно всяких там композицй. И можно разработать систему типов, которая будет проверять эти(дифференцируемость) свойства в компайл-тайм.

Это, правда, все что я понял.

какую-то жесть говоришь, ничего не понял)

http://colah.github.io/posts/2015-09-NN-Types-FP/