169 похожих чатов

Вопрос. Почему функция serve принимает Proxy a? У нее же

Server a следующим параметром.

7 ответов

7 просмотров

https://youtu.be/FFZXWoqviBo

> У нее же Server a следующим параметром. Во-первых, это не поможет, ведь Server - это хитрое тайпфемели, там из значения нельзя восстановить тип Во-вторых, смысл серванта как раз в том, что вместо этого параметра можно подставить тайпхол и посмотреть, чё там должно быть, и начать писать реализацию

а разве Server a - не псевдоним над функцией?

Andrey
почти угадал

https://hackage.haskell.org/package/servant-server-0.19.1/docs/Servant-Server.html#t:Server

Andrey
https://hackage.haskell.org/package/servant-server...

https://hackage.haskell.org/package/servant-server-0.19.1/docs/Servant-Server.html#v:serve

Andrey
https://hackage.haskell.org/package/servant-server...

а, так вопрос был про serve а не Server

Похожие вопросы

Обсуждают сегодня

А как старый хаскел с новым стыковать ? потому как тут работает https://play.haskell.org/saved/C3xpMzcd, а вот тут https://stepik.org/lesson/7602/step/9?unit=1473 нет ошибка C...
Fedor
131
что насчет пагинга? на осдеве непонятно(
Vi Chapmann 🪙
26
Вопрос я правильно понимаю что в коде newtype ArrowMap k v = ArrowMap { getArrowMap :: k -> Maybe v } getArrowMap есть функция типа k -> Maybe v, если да, то не понимаю задач...
Fedor
64
Ребят, что лучше для реверса: гидра или ида?
En Vind Av Sorg
26
Делаю велосипед логгер. К сообщению хочу прикрутить некоторую информацию, типа, кем отправлено, какой уровень, и всякое такое. И тут подумалось мне, почему бы не хранить весь...
Serjone
24
Как Вы считаете нормально ли в двадцатых годах 21 века в ВУЗах Российской Федерации обучать студентов работе с TASM? Не слишком ли это "архаично"? (Если оффтоп или флейм для э...
Spiker01
52
Комрады, хотел уточнить. Проперть в OnDestroy юнита-хозяина по-прежнему доступна? И еще уточнение: finalization юнита наступает раньше или позже OnDestroy?
Ed Doc
48
если загрузчик efi? если сама PML4 PDPT PDT PT лежит в неудобном для меня месте?
Vi Chapmann 🪙
8
Продолжая диалог про свифт в проде – сейчас возник вопрос в активном наборе бекендеров. В основном в нашей компании мы фанаты Java Spring и полностью ей довольны. Однако найм ...
Guseyn
27
Читаю сейчас [нет, уже больше не читаю!] курсовую о Булгакове, написанную, похоже, с помощью ChatGPT. Это удивительный психоделический опыт. Текст в основном написан в стиле б...
✨ Uni [🌊 В отпуске]
1
Карта сайта