Вопросы по теме 'template-haskell'
Ошибка интерактивного связывания GHCi во время установки Happstack-сервера
Я пытаюсь создать проект в песочнице Кабала, который зависит от happstack-server , но этот пакет не удается собрать. Вот содержание .cabal-sandbox/logs/happstack-server-7.4.6.1.log :
Building happstack-server-7.4.6.1...
Preprocessing library...
153 просмотров
schedule
13.09.2021
Ошибка шаблона Haskell при использовании деривации
Немного смущен результатами, которые я получаю. Используя следующее:
GHCi, version 7.4.2: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package...
162 просмотров
schedule
10.03.2022
Шаблон Haskell с именем поля записи в качестве переменной?
У меня есть следующий фрагмент кода, реализующий монаду. Я пытаюсь использовать его для упрощения настройки полей с более сложной логикой в дальнейшем.
data Rec = Rec {
alpha :: Int,
beta :: Double,
} deriving (Show)
defaultRec = Rec 0...
809 просмотров
schedule
18.03.2022
Направленный граф в Haskell
Я сейчас борюсь с Haskell. Даже у меня есть некоторый опыт работы с императивными языками, с ООП, но Haskell, кажется, отличается от них. Я недооценил Haskell и думаю, что изучение нового языка для меня не проблема. Однако, проведя целую неделю со...
1135 просмотров
schedule
18.04.2022
Получите все функции/значения в области действия с помощью шаблона haskell
Есть ли способ с помощью шаблона haskell перечислить все функции в области видимости? Что-то типа
allVarsInScope :: Q [Name]
Что я пытаюсь сделать с этим, так это получить список всех импортированных функций, начинающихся с test_, и...
239 просмотров
schedule
21.06.2022
Language.Haskell.Exts.Syntax.Module to Template Структура данных Haskell
У меня есть модуль ( Language.Haskell.Exts.Syntax.Module ) и хотите превратить его в структуру данных шаблона haskell. Как я могу это сделать? Моя первая путаница заключается в том, что тип Module из Language.Haskell.TH.Syntax не выглядит...
42 просмотров
schedule
29.06.2022
Имя шаблона Haskell цитирует desugar 'x для NameG?
Могу ли я всегда ожидать, что синтаксис с одинарной одинарной кавычкой обессуглит конструктор NameG ? например делает
'x
всегда обессахаривать
(Name (OccName "x") (NameG VarName (PkgName "some-package") (ModName "SomeModule")))...
143 просмотров
schedule
27.07.2022
Конструктор данных в шаблоне haskell
Я пытаюсь создать кольцо Z/n (как обычная арифметика, но по модулю некоторого целого числа). Пример экземпляра Z4:
instance Additive.C Z4 where
zero = Z4 0
(Z4 x) + (Z4 y) = Z4 $ (x + y) `mod` 4
И так далее по кольцу. Я хотел бы иметь...
1948 просмотров
schedule
27.08.2022
Haskell, как использовать новый квазицитатор с 4 аргументами
Похоже, синтаксис квазикавычек изменился и теперь принимает 4 аргумента [ ссылка ]. Кто-нибудь уже использовал его? Спасибо. Я просто хочу создать что-то действительно очень простое, и примеры в Интернете сейчас не будут работать.
Заранее...
306 просмотров
schedule
25.05.2023
Как обойти ограничение стадии GHC?
Я пишу генератор кода, вывод которого зависит от описания полей типа данных, которое хранится в их экземплярах класса. Однако я не могу найти, как запустить функцию с аргументом, сгенерированным TH.
{-# LANGUAGE TemplateHaskell,...
1374 просмотров
schedule
11.07.2023
Генерация кода с помощью Scala
При использовании инструментальной цепочки SBT в Scala, возможно ли написать задачу, которая будет читать особую часть исходного кода проекта для генерации scala-кода во время компиляции.
Любые идеи или даже статьи / руководства по этому поводу? Я...
6699 просмотров
schedule
18.09.2023
Ошибка компиляции шаблона Haskell
Рассмотрим следующий код:
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
import Data.HList.GhcSyntax((.!.),(.=.),(.*.))
import Data.HList.Record(emptyRecord)
import Data.HList.TypeCastGeneric1
import...
229 просмотров
schedule
22.06.2023
Функция, работающая с конечным, но произвольным числом разнородных элементов
Я работаю над библиотекой для изучения теоретико-игрового обучения. В этой настройке N агенты объединяются и взаимодействуют со средой. Каждый агент выводит модель взаимодействия. Модель одного агента зависит от его N-1 противников. Я написал...
216 просмотров
schedule
18.07.2023
Вариант метапрограммирования шаблонов на Haskell
Я новичок в Хаскеле. Учитывая, что вся предпосылка Haskell заключается в том, что функция всегда будет возвращать одно и то же значение, я ожидаю, что будет какой-то способ, например. вычисление значений Фибоначчи констант во время компиляции, как я...
380 просмотров
schedule
13.01.2023
Есть ли хороший (r) способ написания этого кода Template Haskell с использованием одноэлементных типов данных?
Я только начал использовать Template Haskell (наконец-то у меня есть пример использования, ура!), и теперь я когнитивно застрял.
То, что я пытаюсь сделать, это создать одноэлементное объявление типа данных формы
data $V = $V deriving (Eq,Ord)...
424 просмотров
schedule
09.05.2023
Как сделать линзы из пластинки в GHCi
Я хочу немного поиграть с библиотекой Lens . Я загрузил его в GHCi и создал тип данных записи с соответствующими символами подчеркивания:
> data Foo a = Foo {_arg1 :: Int, _arg2 :: [a]}
Я хотел бы сделать линзы для Foo по шаблону...
1186 просмотров
schedule
29.12.2022
Спецификация формата ToJson по умолчанию, используемого Aeson
Кто-нибудь знает, где я могу найти документацию о том, как ADT переводятся в Json с помощью Aeson ToJSON? Я использую Haskell для внутреннего приложения и пытаюсь написать декодер JSON для другого функционального языка во внешнем интерфейсе, поэтому...
180 просмотров
schedule
05.05.2023
Есть ли ошибка в этом выражении квазикавычек?
Я пытаюсь скомпилировать пример кода из Network.JMacroRPC.Snap :
module Main where
import Network.JMacroRPC.Snap
import Snap.Http.Server
import Snap.Core
import Language.Javascript.JMacro
import Control.Concurrent
import Control.Monad.Trans...
142 просмотров
schedule
07.03.2023
Функции в качестве аргументов для использования в цитате шаблона haskell
Это частично продолжение Поднять экземпляр для функции? . Однако ответ заключается в том, чтобы либо глобально определить функцию, либо переписать ее внутри цитаты. Однако мы будем часто использовать foo с различными функциями для f из области...
694 просмотров
schedule
28.01.2023
Отсутствует импорт из библиотек Hamlet
Это фрагмент кода из O reilly - Yesod - Widgets ,
getRootR = defaultLayout $ do
setTitle "My Page Title"
toWidget [lucius| h1 { color: green; } |]
addScriptRemote "https://ajax.googleapis.com/ajax/libs/jquery/1.6.2/jquery.min.js"...
36 просмотров
schedule
08.12.2022