ΛВ
А мне норм заходит вариант со статическими ошибками в тофу. Хотя иногда можно и бифунктор взять
что ты имеешь в виду? Сегодня же Олег говорил, что Raise — динамика
Size: a a a
2020 April 28
λ
что ты имеешь в виду? Сегодня же Олег говорил, что Raise — динамика
Ну да, я путаю
λ
Сложно сказать, что там динамика, а что статика
D
Сложно сказать, что там динамика, а что статика
главное — что тебе заходит
λ
главное — что тебе заходит
ну да
Oℕ
главное — что тебе заходит
+
λ
Олег для этого и пишет тофу, чтоб мне заходило
D
Олег для этого и пишет тофу, чтоб мне заходило
-
Oℕ
Отдохнул, спасибо
D
Эм, я пытаюсь понять, что в тофу динамика, а что статика. Че вопросы то трете?
Oℕ
Тофу - это библиотека для построения приложения на процедурном/монадическом субъязыке, описываемом в стиле tagless final.
Единственная статическая информация в выражениях на этом субъязыке - это результирующий тип.
Таким образом, вся прочая информация о типах ошибок, контексте исполнения выражений, мутабельном состоянии, точках блокировок, использумых в выражениях и т.п. остаётся динамической, т.е. мы можем добавлять термы контролирующие эти аспекты, с помощью трейтов предоставляемых библиотекой, но не можем учитывать эту информацию внутри субъязыка.
Единственная статическая информация в выражениях на этом субъязыке - это результирующий тип.
Таким образом, вся прочая информация о типах ошибок, контексте исполнения выражений, мутабельном состоянии, точках блокировок, использумых в выражениях и т.п. остаётся динамической, т.е. мы можем добавлять термы контролирующие эти аспекты, с помощью трейтов предоставляемых библиотекой, но не можем учитывать эту информацию внутри субъязыка.
Oℕ
Эм, я пытаюсь понять, что в тофу динамика, а что статика. Че вопросы то трете?
Вы получили ответ?
D
Тофу - это библиотека для построения приложения на процедурном/монадическом субъязыке, описываемом в стиле tagless final.
Единственная статическая информация в выражениях на этом субъязыке - это результирующий тип.
Таким образом, вся прочая информация о типах ошибок, контексте исполнения выражений, мутабельном состоянии, точках блокировок, использумых в выражениях и т.п. остаётся динамической, т.е. мы можем добавлять термы контролирующие эти аспекты, с помощью трейтов предоставляемых библиотекой, но не можем учитывать эту информацию внутри субъязыка.
Единственная статическая информация в выражениях на этом субъязыке - это результирующий тип.
Таким образом, вся прочая информация о типах ошибок, контексте исполнения выражений, мутабельном состоянии, точках блокировок, использумых в выражениях и т.п. остаётся динамической, т.е. мы можем добавлять термы контролирующие эти аспекты, с помощью трейтов предоставляемых библиотекой, но не можем учитывать эту информацию внутри субъязыка.
@lol_dog тебе эта динамика статика зашла?
D
Вы получили ответ?
ща узнаем
AS
Конкретизируйте вопрос
Как мне в сервисе достать значение из энва?
Oℕ
Как мне в сервисе достать значение из энва?
Самый прямолинейный способ потребовать
WithContext[F, Znachenie]
WithContext[F, Znachenie]
Oℕ
Если ваше Znachenie - это SomeService[F], с помощью Embed вы можете писать просто
F[_] : SomeService
F[_] : SomeService
AS
Самый прямолинейный способ потребовать
WithContext[F, Znachenie]
WithContext[F, Znachenie]
Спасибо, полагаю, он есть для Env
Oℕ
Спасибо, полагаю, он есть для Env
Да
AS
Если ваше Znachenie - это SomeService[F], с помощью Embed вы можете писать просто
F[_] : SomeService
F[_] : SomeService
Не, у меня скорее прокинуть данные запроса, типа correlation id