← пред | след →
implicit_user 2022-07-01 19:18:49
Есть ссылка на тред в твиттере?)
Andrey1981spb 2022-07-01 20:16:32
Есть какой-нибудь будь онлайн-ресурс (наподобие литкода) , в котором можно поднатаскаться с операциями Future? Чтобы секвенсы, траверсы и флаттены на #@#& вертеть
funfunfine 2022-07-01 20:25:15
Andrey1981spb 2022-07-01 20:16:32
Есть какой-нибудь будь онлайн-ресурс (наподобие литкода) , в котором можно поднатаскаться с операциями Future? Чтобы секвенсы, траверсы и флаттены на #@#& вертеть
Scala-exercises.org
funfunfine 2022-07-01 20:25:28
Там вроде был блок про фьючи
sergey_alaev 2022-07-01 20:26:08
skucherenko 2022-07-01 14:54:34
не понимаю, как можно ругать TF, одно из лучших изобретений человечества
Речь о TF как его понимают в скале для абстрагирования свойств эффекта или об исходном пейпере про построение AST кодом?
skucherenko 2022-07-01 20:26:57
sergey_alaev 2022-07-01 20:26:08
Речь о TF как его понимают в скале для абстрагирования свойств эффекта или об исходном пейпере про построение AST кодом?
об исходной папере, хотя она, по-моему, шире чем только работа с AST
skucherenko 2022-07-01 20:27:08
хотя для таких вот задач особенно хорошо подходит
odomontois 2022-07-01 20:28:01
sergey_alaev 2022-07-01 20:26:08
Речь о TF как его понимают в скале для абстрагирования свойств эффекта или об исходном пейпере про построение AST кодом?
какой пейпер вы считаете исходным
sergey_alaev 2022-07-01 20:28:59
skucherenko 2022-07-01 20:27:08
хотя для таких вот задач особенно хорошо подходит
Если честно, я не смог приложить эту идею к практической реализации. Кодировка интересная, но дефайнить все операции самостоятельно, без доступа к value, плюс невозможность описывать циклы…
odomontois 2022-07-01 20:29:21
в TF возможно описывать циклы
sergey_alaev 2022-07-01 20:30:11
odomontois 2022-07-01 20:29:21
в TF возможно описывать циклы
Пейпер тот самый, который вы мне скинули, когда я спросил, что такое TF. Ну не знаю, я вот не смог.
odomontois 2022-07-01 20:30:31
sergey_alaev 2022-07-01 20:30:11
Пейпер тот самый, который вы мне скинули, когда я спросил, что такое TF. Ну не знаю, я вот не смог.
Лекцию с кодом на хаскеле?
sergey_alaev 2022-07-01 20:33:47
odomontois 2022-07-01 20:30:31
Лекцию с кодом на хаскеле?
код на хаскеле там был, но оформлено было как пейпер. Ссылку найти не могу, сейчас много людей понаписали статей про TF
odomontois 2022-07-01 20:34:35
http://okmij.org/ftp/tagless-final/course/lecture.pdf
odomontois 2022-07-01 20:34:49
это не исходный и не конечный
sergey_alaev 2022-07-01 20:34:52
оно
odomontois 2022-07-01 20:34:57
это просто лекция с кодом на хаскеле
odomontois 2022-07-01 20:35:10
odomontois 2022-07-01 20:34:49
это не исходный и не конечный
евпочя
volcanic_machinery 2022-07-02 21:27:47
ребят, нубовский вопрос, экспериментирую тут с Visual Studio Code с плагином Metals, и вот что получается:
Java home: C:\Program Files\Java\jdk-11.0.5 <— JAVA_HOME правильный!
Metals version: 0.11.6
…
ERROR error: The command bsp —protocol tcp —port 35078 returned with an error
ERROR > java.io.IOException: Cannot run program «C:\Program Files\Java\jdk-11.0.5\bin\bin\java» … <— Откуда оно берет bin\bin??
Как так? o_O
volcanic_machinery 2022-07-02 21:30:42
volcanic_machinery 2022-07-02 21:27:47
ребят, нубовский вопрос, экспериментирую тут с Visual Studio Code с плагином Metals, и вот что получается:
Java home: C:\Program Files\Java\jdk-11.0.5 <— JAVA_HOME правильный!
Metals version: 0.11.6
…
ERROR error: The command bsp —protocol tcp —port 35078 returned with an error
ERROR > java.io.IOException: Cannot run program «C:\Program Files\Java\jdk-11.0.5\bin\bin\java» … <— Откуда оно берет bin\bin??
Как так? o_O
cmd:
C:\Users\username>»%JAVA_HOME%\bin\java» -version
java version «11.0.5» 2019-10-15 LTS <— Все там хорошо в JAVA_HOME
← пред | след →