Телеграмм чат группы rust_offtopic страница 21956

Αλεχ Zhukovsky

есть типы параметров но нет названий

А какие названия тут нужны, всё же в типе сказано.

22:51пожаловаться #1

Может у меня уже какая-то профессиональная деформация, но я как-то не вижу что тут особо непонятного.

Определен тайпкласс для IO подобного типа, для которого можно для любого типа a, значение типа Snap a превратить в m a

22:53пожаловаться #2

И да, какой snap, когда есть сервант же

22:55пожаловаться #3

Doge Shibu

А что тут непонятного?

Всё

22:55пожаловаться #4

1. Нафига это нужно.
2. Что такое liftSnap

22:56пожаловаться #5

Emmanuel Goldstein

1. Нафига это нужно.
2. Что такое liftSnap

1. Чтобы переводить тип Snap a в m a
2. переводит тип Snap a в m a

22:57пожаловаться #6

Doge Shibu

1. Чтобы переводить тип Snap a в m a
2. переводит тип Snap a в m a

Зачем переводить тип Snap в m a?

22:57пожаловаться #7

Ни примеров использования, ничего подобного — нет

22:57пожаловаться #8

Да, я прочитал тип, что дальше-то?

22:57пожаловаться #9

Серван так сервант

22:58пожаловаться #10

Emmanuel Goldstein

Зачем переводить тип Snap в m a?

Смотришь что делает Snap, там ссылка аж на этот тип есть.

22:58пожаловаться #11

И там вполне себе есть документация: https://hackage.haskell.org/package/snap-core-1.0.4.2/docs/Snap-Core.html#t:Snap

22:58пожаловаться #12

Классно, правда?

22:58пожаловаться #13

«Есть оператор :<|>, который может эээ описывать несколько эндпоинтов»

22:58пожаловаться #14

И ещё оператор :>

22:59пожаловаться #15

Больше операторов богу операторов

22:59пожаловаться #16

Emmanuel Goldstein

Классно, правда?

А как бы ты хотел, чтобы на уровне типов это выглядело?

22:59пожаловаться #17

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

23:00пожаловаться #18

Doge Shibu

А как бы ты хотел, чтобы на уровне типов это выглядело?

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

23:00пожаловаться #19

О, пошёл хелловорлд