Добрый день! Не знаю в какой раздел обратиться, но поскольку я пока в Haskell полный чайник, задам вопрос здесь.
Пытаюсь следовать описанным quick start шагам, описанным здесь: http://haskell.vacationlabs.com/en/latest/docs/reflex/getting-started.html. Но получаю ошибку при компиляции пакета happy. Пытаюсь установить happy через stack install happy и получаю такое:
happy> Configuring happy-1.19.5...
happy> build
happy> Building happy-1.19.5...
happy> Preprocessing executable 'happy' for happy-1.19.5...
happy> setup: The program 'happy' is required but it could not be foundТо есть получается, что установить happy нельзя, потому что не установлен happy. Что я делаю не так?
stack --resolver=lts-14.20 install happy
resolver: lts-7.8
packages:
- .
extra-deps:
- ghcjs-dom-0.7.0.3
- ghcjs-dom-jsaddle-0.7.0.3
- jsaddle-0.7.0.0
- jsaddle-dom-0.7.0.3
- jsaddle-warp-0.7.0.0
- prim-uniq-0.1.0.1
- ref-tf-0.4.0.1
- zenc-0.1.1
- git: https://github.com/reflex-frp/reflex
commit: 91299fce0bb2caddfba35af6608df57dd31e3690
# Latest develop comment at the time of writing
- git: https://github.com/hamishmack/reflex-dom
commit: d9842742183a800cf1f98f89d42d849d52dd2d67
# Latest develop comment at the time of writing
flags: {}
extra-package-dbs: []- stack install lens-tutorial
- stack ghci
- import Control.Lens.Tutorial
Получаю:
В рассылке по такой проблеме нашёл рекомендацию запускать ghci так:<no location info>: error: Could not find module ‘Control.Lens.Tutorial’ It is not a module in the current program, or in any known package.
Попробовал - не помогло, ошибка та же.stack exec -- ghci
Подскажите, пожалуйста, как же все таки импортировать этот модуль?
stack ghci --package=lens-tutorial
stack exec -- ghci по сути от stack ghci не отличается
stack install не нужен
Не нужен, но вместо него нужен stack build. Иначе откуда ghci его возьмёт. package нужен только если пускаем без stack.yml, иначе stack вроде бы все пекеджи дописывает в --package, в этом и смысл stack repl
для библиотек установка не имеет смысла
Нуу, для динамических наверное имеет. Но они погнили и там вообще ад всегда был. Поэтому все, кроме особо упоротых типа Арча, линкуют статикой.
cabal install и stack install вообще ничего не делают с библиотеками, они только бинарники программ копируют
@deflexor_twitter функторы сохраняют форму, меняя содержимое, а вам надо наоборот, если я правильно понял, — поменять форму, оставить содержимое.
в общем случае форму надо менять руками, но если ваши типы по структуре совпадают, то можно отбросить конкретные имена конструкторов с помощью дженериков
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
import qualified Generics.SOP as SOP
import qualified GHC.Generics as GHC
data Elem
= Tag { tagChildren :: [Elem] }
| RootTag [Elem]
| Comment
deriving (Eq, GHC.Generic, SOP.Generic, Read, Show)
data Elem1
= Tag1 [Elem]
| Root1 [Elem]
| Comment1
deriving (Eq, GHC.Generic, SOP.Generic, Read, Show)
upgrade :: Elem -> Elem1
upgrade = SOP.to . SOP.from
example :: Elem
example = RootTag [Tag [], Comment]
-- $> upgrade example
-- Root1 [Tag {tagChildren = []},Comment]
ну те был например такой тип:
data Elem = Tag { tagChildren :: [Elem] }
| RootTag [Elem]
| Comment
deriving (Eq, Read, Show)а станет такой:
data Sel = True | False | NotSure
data Elem = Tag Sel { tagChildren :: [Elem] }
| RootTag Sel [Elem]
| Comment Sel
deriving (Eq, Read, Show)Tag Sel { tagChildren :: [Elem] } нельзя писать. можно Tag { tagSel :: Sel, tagChildren :: [Elem] }
Гуглите expression problem, всякие вопросы расширения и декорирования там решены
https://serokell.io/blog/introduction-tagless-final -- это один из примеров того что гуглится
Одна из идей это вынести рекурсивную структуру в функтор
data Elem a = Tag { tagChildren :: [a] }
| RootTag [a]
| CommentИ в таком виде легче декорировать. Общая идея что был Fix (\a -> Elem a) а станет Fix (\a -> Elem (Sel, a)). Но в лоб так сделать нельзя поскольку нет таких типовых лямбд и нужны приседания (которые уже придуманы в разных вариантах; у меня псевдокод, реально там Fix Elem конечно).
data Elem tagExtraField rootExtraField commentExtraField extraVariant
= Tag { tagChildren :: [Elem], tagExtra :: tagExtraField }
| RootTag [Elem] rootExtraField
| Comment commentExtraField
| ExtraVariant extraVariant
type ElemV1 = Elem () () () Void
data Sel = True | False | NotSure
type ElemV2 = Elem Sel Sel Sel Void