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

Подскажите пожалуйста есть ли способ тут избавиться от Proxy ?

(чтобы было просто Plus, а не Plus Proxy)

data BinOp
= Plus (Proxy "+")
| Sub (Proxy "-")
| Mul (Proxy "*")
| Div (Proxy "/")

11 ответов

13 просмотров

я так и не понял по сообщениям, вопрос решился? Зачем тут эти прокси?

Сергей- Автор вопроса
кана
я так и не понял по сообщениям, вопрос решился? За...

решился, просто чтобы крепить строки к конструкторам данных

ну на генериках можно достать название конструктора (ну или просто спромоутить если нужно)

Сергей- Автор вопроса
adam Белоочий
ну на генериках можно достать название конструктор...

мне надо было вместо названий предоставлять знаки, ну то есть вместо Plus ставить +

Сергей
решился, просто чтобы крепить строки к конструктор...

data BinOp = Plus | Sub | Mul | Div просто_крепить_строки :: BinOp -> String просто_крепить_строки = \case Plus -> "+" Sub -> "-" Mul -> "*" Div -> "/"

Сергей- Автор вопроса
Cheese Syrowiecki
data BinOp = Plus | Sub | Mul | Di...

да, именно так вопрос и решился

Сергей
да, именно так вопрос и решился

совершенно непонятно, зачем начинать с типомагии

Сергей- Автор вопроса
Cheese Syrowiecki
совершенно непонятно, зачем начинать с типомагии

практикую типомагию просто, вот и начал с нее

Сергей
практикую типомагию просто, вот и начал с нее

это очень важный скил в магии - не тратить ману по-напрасну

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

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

А как старый хаскел с новым стыковать ? потому как тут работает https://play.haskell.org/saved/C3xpMzcd, а вот тут https://stepik.org/lesson/7602/step/9?unit=1473 нет ошибка C...
Fedor
131
Ребят, что лучше для реверса: гидра или ида?
En Vind Av Sorg
26
Вопрос я правильно понимаю что в коде newtype ArrowMap k v = ArrowMap { getArrowMap :: k -> Maybe v } getArrowMap есть функция типа k -> Maybe v, если да, то не понимаю задач...
Fedor
64
Делаю велосипед логгер. К сообщению хочу прикрутить некоторую информацию, типа, кем отправлено, какой уровень, и всякое такое. И тут подумалось мне, почему бы не хранить весь...
Serjone
24
Как Вы считаете нормально ли в двадцатых годах 21 века в ВУЗах Российской Федерации обучать студентов работе с TASM? Не слишком ли это "архаично"? (Если оффтоп или флейм для э...
Spiker01
52
а не подскажете вот это скрин из какой IDE ?
Iluha Companets
14
Комрады, хотел уточнить. Проперть в OnDestroy юнита-хозяина по-прежнему доступна? И еще уточнение: finalization юнита наступает раньше или позже OnDestroy?
Ed Doc
48
Продолжая диалог про свифт в проде – сейчас возник вопрос в активном наборе бекендеров. В основном в нашей компании мы фанаты Java Spring и полностью ей довольны. Однако найм ...
Guseyn
27
Народ всем привет Подскажите, как включить самописные dll библиотеки в итоговую сборку Сейчас при запуске dev сервера локально формируется папка build, из которой запускается...
Андрей
4
Комрады, подскажите, в дельфях есть компоненты а-ля TDirectorySelect?
Ed Doc
15
Карта сайта