Телеграмм чат группы haskellru страница 14811

20:17пожаловаться #1

У меня есть парсер (на мегапарсеке) некоторых штук, построчно считываемых из файла. В парсере нужно определять тип токена по словарю, причём половина этого словаря захардкожена, а другая перед этим загружается из другого файла. Как её пробросить в парсер? Засунуть в ParsecT Reader TypeMap? Как гарантировать, чтобы словарь создавался только один раз?

21:37пожаловаться #2

или
ReaderT TypeMap Parsec

тут вроде без разницы

создаваться он будет один раз, потому что это будет явное создание при пробросе в runReaderT

21:40пожаловаться #3

> ReaderT TypeMap Parsec
Так все парсерные штуки лифтить придётся

21:41пожаловаться #4

не придется

21:41пожаловаться #5

в мегапарсере почти все парсерные штуки над MonadParser

21:41пожаловаться #6

Ну у меня первая попытка такой была, компилятор ругался

21:42пожаловаться #7

Сейчас ещё раз попробую

21:43пожаловаться #8

если инстанса нет, можно написать

instance MonadParsec e s m => MonadParsec e s (ReaderT env m) where
-- и тут все лифтануть

21:44пожаловаться #9

но а можно конечно и ParsecT e s (ReaderT env), такой инстанс точно есть

21:44пожаловаться #10

но инстанс такой точно есть

21:45пожаловаться #11

Couldn't match type ‘ParsecT Void Text Identity’
                 with ‘ReaderT TypeMap Parser’

21:46пожаловаться #12

у тебя наверное указан конкретный тип ParsecT во всех парсерах

21:46пожаловаться #13

Да

21:46пожаловаться #14

в туторе сказано так не делать)

21:47пожаловаться #15

так что

newtype Parser a = Parser (ReaderT TypeMap (Parsec Void Text) a)
  deriving newtype (Functor, Applicative, Alternative, Monad)
  deriving newtype (MonadParser Void Text, MonadReader TypeMap)

f :: TypeMap -> Char

x :: Parser Char
x = do
  x <- ask
  char x

21:48пожаловаться #16

будет работать прекрасно

21:48пожаловаться #17

кана

в туторе сказано так не делать)

Где? Вроде наоборот:
> Speaking of type synonyms, the best way to start writing parser with megaparsec is to define a custom type synonym for your parser. This is a good idea for two reasons:

21:49пожаловаться #18

а где наоборот

21:49пожаловаться #19

he best way to start writing parser with megaparsec is to define a custom type synonym