Товарищи, подскажите какие лимиты на длину типа? Тип насколько большой копродукт я смогу сделать?

Товарищи, подскажите какие лимиты на длину типа? Тип насколько большой копродукт я смогу сделать?

думаю покакомпилятор не брикнешь

думаю покакомпилятор не брикнешь

и тут можно вспомнить финч, там сейчас эндпоинты если собирать в копродукт, то можно и нащупать этот лимит

Товарищи, подскажите какие лимиты на длину типа? Тип насколько большой копродукт я смогу сделать?

мы однажды видели ошибку о том что наш копродукт превысил 64кб байт кода, и что жвм такое не любит и стартовать не будет

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

https://github.com/finagle/finch/issues/670 кстати, да, в финче такое есть, говорят о порядке 70 но там свои классы, а не шейплез

думаю что в шаплезе тоже ~100

думаю что в шаплезе тоже ~100

Печалька, ну да ладно

Печалька, ну да ладно

попробуй делать их поменьше длины

типа группировать

Да я подумывал о полностью типизированном html, но с такими ограничениями не прокатит

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

а

Типо описать всю приложуху через продукты/копродукты, но видимо не судьба

Да я подумывал о полностью типизированном html, но с такими ограничениями не прокатит

Так есть же левша!

Так есть же левша!

И где там типизация?)

И где там типизация?)

тс

А интересно, iota здесь не поможет? https://github.com/frees-io/iota

Всем доброе утро!

подскажите, Iteratee в Play 2.2 какой-то ну оч ограниченый апи, как там отслеживали закрытие вебсокета раньше? в далеком 2012 +-

вот сиотрю, есть eofAndEnd, но это клиенту, а от клиен а?

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

или это так и надо, прочитал сообщение от клиента и сразу закрыл сокет??

Печалька, ну да ладно

https://scastie.scala-lang.org/PdQ6HmtOR6uaAtSoFntajw

Не слушай их

Но лучше не пытайся расширять этот пример в scastie

подскажите, Iteratee в Play 2.2 какой-то ну оч ограниченый апи, как там отслеживали закрытие вебсокета раньше? в далеком 2012 +-

вроде в сторону enumerators надо смотреть в этом случае, именно у них соотв-е методы кажется были

пацаны, ваше мнение: предположим есть мониксовые таски, и есть примерно такой код: val sideEff1: Task[Resource] = ??? // side effect operation reading the resource val sideEff2: Task[Unit] = sideEff1.flatMap(resource => ...) // do something side-effect-ish with resource ??? // close resource no matter if sideEff2 was success or not как правильно закрыть ресурс (если он был успешно открыт) вне зависимости от того, был ли успешно выполнен sideEff2 или нет?

try finally?

Ну вопрос был как это сделать в рамках моникса и его тасок :)

во флэтмапе

ммм, как вариант

doOnFinish

Я думал, может быть можно как-то хитро сделать так, чтобы отделить закрытие от обработки, сходу придумал только мемоизировать sideEff1 и потом его использовать, но чёт це такое

еще как вариант

doOnFinish на чём? Вторая таска возвращает Unit

Я думал, может быть можно как-то хитро сделать так, чтобы отделить закрытие от обработки, сходу придумал только мемоизировать sideEff1 и потом его использовать, но чёт це такое

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

doOnFinish на чём? Вторая таска возвращает Unit

чем это мешает сделать doOnFinish?

def withResourse[Res, A](provide: () => Res, close: Res => Unit)(task: Res => Task[A]): Task[A] = for { res <- Task(provide()) closeTask = Task(close(res)) result <- task(res) .doOnFinish(_ => closeTask) .doOnCancel(closeTask) } yield result

.flatMap(resource => Task { /*do domething*/ }.doOnFinish(_ => Task{ /*free resource async*/ }))

open: Task[Res], close: Res => Task[Unit] ?

если уж быть чистым на все 100 )

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

спасибо )

если уж быть чистым на все 100 )

на все 100 воображаемых баллов за слив нечистот в канализацию Тасков

whatever

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

Once you go `F[_]`you never go back.

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

def mainTask(args: List[String]): Task[Unit], а дальше уже не много вариантов :))

даже так

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

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

ну если не связана не промазывай

Once you go `F[_]`you never go back.

Слишком много “go”

ну если не связана не промазывай

но как ты уйдешь от тасков если у тебя есть таски хотябы для получения данных - непонятно

даже если есть только один Task[Data] и функция pureLogic: Data => OtherData ты все равно получишь Task[OtherData]

даже если есть только один Task[Data] и функция pureLogic: Data => OtherData ты все равно получишь Task[OtherData]

Но это можно задвинуть в самый край. Но нужна нормальная композиция функций, а тут скала проходит мимо

https://joyofhaskell.com

Еще одна

Когда уж выпустят

@dveim у меня еще один аргумент для перехода на более новую идею. в 2017.3 пофиксили вывод типов для shapeless.Generic и shapeless.LabelledGeneric. то есть когда делаешь Generic[Foo].to(Foo(1, "hello")), вывод типа в идее покажет не Repr, как раньше, а Int :: String :: HNil

правда не в такой записи, а ::[Int , ::[String, HNil]]

хм, ну для шейплесологов это аргумент, да

ERROR: S client not available

хотя они небось в енсиме пишут, а не в идее

ну если не брать крайности, то немного shapeless кода тоже может быть в проекте

если circe используешь, какие-то вещи может быть полезно навелосипедить на шейплесе

@dveim у меня еще один аргумент для перехода на более новую идею. в 2017.3 пофиксили вывод типов для shapeless.Generic и shapeless.LabelledGeneric. то есть когда делаешь Generic[Foo].to(Foo(1, "hello")), вывод типа в идее покажет не Repr, как раньше, а Int :: String :: HNil

в моей 2017.3 не пофиксили и автоматический вывод типов для шейплеса работает тк, что потом не компиллируется. Коллега агитирует на VSCode переходить....

в моей 2017.3 не пофиксили и автоматический вывод типов для шейплеса работает тк, что потом не компиллируется. Коллега агитирует на VSCode переходить....

через идею компилишь?

в моей 2017.3 не пофиксили и автоматический вывод типов для шейплеса работает тк, что потом не компиллируется. Коллега агитирует на VSCode переходить....

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

в моей 2017.3 не пофиксили и автоматический вывод типов для шейплеса работает тк, что потом не компиллируется. Коллега агитирует на VSCode переходить....

> Коллега агитирует на VSCode переходить.... А ты сможешь жить без рефакторингов? Плюс тк VSCode написан на JS, то он просто не тянет большые фалы (скрол подвисает)

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

а по моим ощущениям что найтли что релиз - всегда пучок неожиданностей причем разных

в моей 2017.3 не пофиксили и автоматический вывод типов для шейплеса работает тк, что потом не компиллируется. Коллега агитирует на VSCode переходить....

можно же просто уйти с shapless

а по моим ощущениям что найтли что релиз - всегда пучок неожиданностей причем разных

но может это от скоупа зависит, да

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

можно же просто уйти с shapless

имхо - если используется шейплез, то авто вывод типов не нужен.

в моей 2017.3 не пофиксили и автоматический вывод типов для шейплеса работает тк, что потом не компиллируется. Коллега агитирует на VSCode переходить....

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

можно же просто уйти с shapless

Можно сделать что...?

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

Спрошу

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

Если не ошибаюсь, sbt 1.0.4 имплементирует LSP

а в VSCode для LSP есть что-то? @odomontois

а в VSCode для LSP есть что-то? @odomontois

эмм, это протокол для VsCode

они же его и разработали

точно, но не только для vscode

Но, конечно, нужен ещё плагин, который к нему цепляется и синтаксис подсвечивает

вот я про него спрашивал

Судя по всему там не то чтобы LSP http://eed3si9n.com/scala-language-server-using-sbt

https://marketplace.visualstudio.com/items?itemName=lightbend.vscode-sbt-scala вот еще что-то интересноe, требует правда sbt-1.1.0-RC1

https://marketplace.visualstudio.com/items?itemName=lightbend.vscode-sbt-scala вот еще что-то интересноe, требует правда sbt-1.1.0-RC1

аа точно 1.1

https://developer.lightbend.com/blog/2017-11-30-sbt-1-1-0-RC1-sbt-server/#sbt-server

судя по changelog sbt для 1.1.0-RC1 не зря sbt server feature was reworked to use Language Server Protocol 3.0 (LSP) as the wire protocol, a protocol created by Microsoft for Visual Studio Code.

ну и собсно https://developer.lightbend.com/blog/2017-11-30-sbt-1-1-0-RC1-sbt-server/#vs-code-extension от них же плагин

в енсайме скоро будет LSP https://github.com/ensime/ensime-server/pull/1888 уже вот к atom-у пробовали приделывать https://github.com/laughedelic/atom-ide-scala/pull/3

еще тут делают https://github.com/scalameta/language-server