1
ответ
Как создать маршрут, который будет запускаться на любом пути в Servant?
У меня есть функция уровня типа (семейство типов) в приложении Haskell Servant, которое берет Symbol и создает тип (маршрут), т.е. семейство типов AppRoute (x :: Symbol), где AppRoute x = x: > Получить '[...
вопрос задан: 15 March 2019 05:51
0
ответов
Существуют ли «комбинаторы на уровне типов»? Будут ли они существовать в будущем?
Многое из того, что делает haskell действительно удобным для использования, на мой взгляд, - это комбинаторы, такие как (.), Flip, $ <*> и т. Д. Похоже, я могу создать новый синтаксис, когда я нужно. Некоторое время назад я был ...
вопрос задан: 23 November 2011 20:24
0
ответов
Сигнатура числового типа
Можно ли создать тип с числовым аргументом? т.е. если я хочу создать тип целых чисел с фиксированной разрядностью: newtype FixedWidth w = FixedWidth Integer addFixedWidth :: FixedWidth w -...
вопрос задан: 4 June 2011 19:57
0
ответов
Пользовательский итератор не работает с BOOST_FOREACH?
У меня есть класс, содержащий некоторые данные, и я хотел бы добавить функции begin () и end (), которые предоставляют итераторы по идентификаторам данных. Я использую Boost counting_iterator: #include <...
вопрос задан: 5 May 2011 02:15