Тут есть любители ocaml?

Я любитель F#, это почти тоже самое. У нас и чатик есть.

Ну почти да не почти

А тебя не клинит если ты пытаешься переключаться со скалы на мл?

А тебя не клинит если ты пытаешься переключаться со скалы на мл?

Не больше чем ocaml после haskell

Хотя в этом чате странно относятся к тем к старается писать на одних функциях. Так что иногда кажется что я скалу использую не по назначению.

Говорят хаскель это язык про - в любой непонятной ситуации избегай успеха.

А f# про что?

Но они же не эквивалентны, макросы сделаны на рефлексии и там можно было творить любую жесть (что так не нравилось Одерски)

scalareflect экспозит кишки компилятора (и оно не имеет ничего общего с рефлексией в джавовском смысле) им можно сделать практически что угодно scalameta задизайнена с ограничениями кому надо творить треш — компайлер плагин в помощь

А f# про что?

Я не знаю откуда ты взял свое утверждение про haskell, но F# лучший function-first мультипарадигменный язык на .NET платформе ?. Это как если бы на haskell стало можно (без боли) писать real-world приложения.

Тут есть любители ocaml?

Кстати, а есть на JVM живой, развивающийся OCaml? Я какой-то находил, но он уже заброшен был. Хочу под android написать что-нибудь. Можно конечно на Xamarin F#, но сильный оверхед будет.

Кстати, а есть на JVM живой, развивающийся OCaml? Я какой-то находил, но он уже заброшен был. Хочу под android написать что-нибудь. Можно конечно на Xamarin F#, но сильный оверхед будет.

вот что-то мл-образное https://github.com/mth/yeti

а есть курс ТК на хаскеле хороший?

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

I do not use scalaz. First of all because i failed all math classes i took

Nick "А ты мерил" Pavlov

Nick "А ты мерил" Pavlov

Скорее просто неверующий

На скала Итали будет кто?

http://typelevel.org/blog/2017/05/02/io-monad-for-cats.html

На скала Итали будет кто?

http://2017.flatmap.no/ тут же еще флатмап совсем на носу

http://typelevel.org/blog/2017/05/02/io-monad-for-cats.html

лойс

Кстати, у скалалаз-подкаста появился свой твиттер https://twitter.com/ScalalazPodcast

@fomkin Did you see my message?

кто-то тут имел дело со scalameta?

Кто-то имел дело со scalameta, кто не писал об этом в чатике?

не постил свою мету в инсте

я никак понять не могу как мне отнаследоваться от Defn.Trait. типа cls Defn.Trait(_, name, _, _, _) => q"class Test extends ${Term.Name(name.value))} {}"

и он мне говорит мол Ctor.Call is expected

на месте терма

а в доках что-то подобный пример найти не могу

Ctor.Name если подставить, то получаю class Test extends this {}

что не совсем то, что мне нужно

где же все мета делки? :)

А в гиттере молачат?

я никак понять не могу как мне отнаследоваться от Defn.Trait. типа cls Defn.Trait(_, name, _, _, _) => q"class Test extends ${Term.Name(name.value))} {}"

ну правильно

у тебя в extends что должно стоять?

по сути тот трейт, который я заматчил

не подумал, про гиттер. спрошу там

спасибо

А есть какой-то способ оттрейсить, какой кусок кода тормозит компиляцию? Какие-то инструменты например. Или может у компилятора есть какие-то такие метрики.

А есть какой-то способ оттрейсить, какой кусок кода тормозит компиляцию? Какие-то инструменты например. Или может у компилятора есть какие-то такие метрики.

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

и по количеству понять, что это оно?

мне бы как-нибудь типа "этот файл/пекедж/вотевер занял столько-то времени для такой-то фазы компиляции"

предполагаю что что-то оттудаможно будет понять, при должном уровне понимания

но сам я не пробовал

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

хорошая идея, спасибо. Но в моем случае вряд ли в имплиситах дело, но как знать.

мне бы как-нибудь типа "этот файл/пекедж/вотевер занял столько-то времени для такой-то фазы компиляции"

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

но это муторно будет конечно

тоже вариант, но если кода много — оч долго

ну делить пополам :)

Я вот смотрю есть -Xgenerate-phase-graph

и -Xshow-phases

вот тут ребята искали что во время компиляции тормозит https://tech.zalando.com/blog/achieving-3.2x-faster-scala-compile-time/?gh_src=4n3gxh1

ага, и решили проблему притащив платный стартап Одерского)

Project Compilation Booster Three days in-depth analysis of your project to identify the reasons leading to long compile times. Contact us if you would like to work together.

норм план

We found that your compilation is mining bitcoins

непонятно мне как-то, то есть разработчики языка взяли прикольную фичу, и вместо того чтобы ее всем раздать как новую фичу, сделали стартап? так что ли?

Привет всем! Сейчас мучаю Scala и https://tumblr.github.io/colossus/ и натыкаюсь на крайне непонятную для себя ошибку. Я тупо не могу получить клиент для http. Судя по этой доке: http://tumblr.github.io/colossus/docs/clients/ всё должно быть просто т.е. val callbackClient: HttpClient[Callback] = Http.client("localhost", 8080) но на практике выдаётся ошибка (при этом IDE молчит): Error:(48, 52) not enough arguments for method apply: (implicit provider: colossus.service.ClientCodecProvider[colossus.protocols.http.Http], implicit env: colossus.core.WorkerRef)colossus.protocols.http.HttpClient[colossus.service.Callback] in trait ClientFactory. Unspecified value parameter env. val remoteHost:HttpClient[Callback] = Http.client("192.168.1.119", 9200) уже который час бьюсь...

я никак понять не могу как мне отнаследоваться от Defn.Trait. типа cls Defn.Trait(_, name, _, _, _) => q"class Test extends ${Term.Name(name.value))} {}"

скаламета при интерполяции следит за тем, чтобы в нужных местах были нужные типы. тобишь ей нельзя скормить val name:String = "dasdas"; "class A extends $name" - потому что нейм - это стринг, а ей нужен Ctor. но это в данном случае собирательный термин. Попробуй просто $name из матчинга указать, там тип должен подойти. Если нет, посмотрю в своих старых поделках как там)

непонятно мне как-то, то есть разработчики языка взяли прикольную фичу, и вместо того чтобы ее всем раздать как новую фичу, сделали стартап? так что ли?

ну не гениальная ли многоходовочка?

ERROR: S client not available

я чот не уверен, что это должно быть легально

Привет всем! Сейчас мучаю Scala и https://tumblr.github.io/colossus/ и натыкаюсь на крайне непонятную для себя ошибку. Я тупо не могу получить клиент для http. Судя по этой доке: http://tumblr.github.io/colossus/docs/clients/ всё должно быть просто т.е. val callbackClient: HttpClient[Callback] = Http.client("localhost", 8080) но на практике выдаётся ошибка (при этом IDE молчит): Error:(48, 52) not enough arguments for method apply: (implicit provider: colossus.service.ClientCodecProvider[colossus.protocols.http.Http], implicit env: colossus.core.WorkerRef)colossus.protocols.http.HttpClient[colossus.service.Callback] in trait ClientFactory. Unspecified value parameter env. val remoteHost:HttpClient[Callback] = Http.client("192.168.1.119", 9200) уже который час бьюсь...

"Sacala" - так называют скалу неосиляторы?

?

имплиситы нужны жи

непонятно мне как-то, то есть разработчики языка взяли прикольную фичу, и вместо того чтобы ее всем раздать как новую фичу, сделали стартап? так что ли?

разработчики языка предлагают подождать dotty для быстрой компиляции)

"Sacala" - так называют скалу неосиляторы?

у меня тут 3 раскладки и много глупостей когда японская выскакивает :(

имплиситы нужны жи

ткните хотя бы в раздел доки :) у меня счас просто не задача язык выучить а кое что проверить по быстрому...

разработчики языка предлагают подождать dotty для быстрой компиляции)

Угу, увлекательно. Но мне как-то непонятно почему эту идею с распараллеливанием сорцов не внедрили в scalac. Это прям оч странно. Давайте разобьем язык на кучу DLC. Имплиситы — 5 баксов тыща, макросы 10 баксов и так далее

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

ткните хотя бы в раздел доки :) у меня счас просто не задача язык выучить а кое что проверить по быстрому...

во всех примерах есть implicit val system = IOSystem() мож ты это забыл?

Угу, увлекательно. Но мне как-то непонятно почему эту идею с распараллеливанием сорцов не внедрили в scalac. Это прям оч странно. Давайте разобьем язык на кучу DLC. Имплиситы — 5 баксов тыща, макросы 10 баксов и так далее

ты потише такие бизнес проекты выдвигай. а то сделают

во всех примерах есть implicit val system = IOSystem() мож ты это забыл?

нет, счас скину эти пять строчек

сделают free limit на 100 имплиситов и будем микросервисы клепать

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

во всех примерах есть implicit val system = IOSystem() мож ты это забыл?

https://pastebin.com/50L99mcK

Тайп классы as a service

скаламета при интерполяции следит за тем, чтобы в нужных местах были нужные типы. тобишь ей нельзя скормить val name:String = "dasdas"; "class A extends $name" - потому что нейм - это стринг, а ей нужен Ctor. но это в данном случае собирательный термин. Попробуй просто $name из матчинга указать, там тип должен подойти. Если нет, посмотрю в своих старых поделках как там)

Спасибо. Но нет, не сработало

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

в апстор закинут "тап тап компилятор". быстрее тапаешь - быстрее компиляется

Хммм, в единственной презентации гидры пишут что можно сделать addSbtPlugin("com.triplequote" % "sbt-hydra" % "1.0"), то в каком резолвере оно не говорят. Никто не знает?

Платно же

нигде в целом это не написано что платно

consultancy платное

Спасибо. Но нет, не сработало

extends ${name.tpe} - так попробуй

Наверное эту строку можно написать только после общения с ними

https://speakerdeck.com/triplequote/triplequote-hydra-compiler-a-bigger-hammer ну тут такого вроде нету

extends ${name.tpe} - так попробуй

тоже самое: q"abstract class Decorator extends ${name.tpe} { }" только теперь actual: Type

expected все еще Ctor.Call

тоже самое: q"abstract class Decorator extends ${name.tpe} { }" только теперь actual: Type

покажи больше из своего примера. сам трейт который наследуешь и как скаламету применяешь - аннтоацией к нему?