Гость
Войти | Профиль | Очистить
Целевая тема:
Создать новую тему:
Автор:
Действия ...
Форумы / Программирование [игнор отключен] [закрыт для гостей] / Haskell, вопрос по монадам / 3 сообщений из 3, страница 1 из 1
14.09.2011, 08:52
    #37439335
GrasQtR
GrasQtR
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Haskell, вопрос по монадам
Приветствую всех.

Разбираюсь с Parsec вот по этому туториалу. Возник вопрос в следующем куске кода:
Код: plaintext
1.
2.
3.
4.
5.
6.
spaces :: Parser ()
 spaces = skipMany1 space

readExpr input = case parse (spaces >> symbol) "lisp" input of
     Left err -> "No match: " ++ show err
     Right val -> "Found value"
Непонятен принцип работы конструкции (spaces >> symbol), как она работает? Т.е. парсер прогоняет текст, удаляя все пробелы, затем ищет другие символы, или как-то по другому?
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
14.09.2011, 13:23
    #37439892
ZyK_BotaN
ZyK_BotaN
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Haskell, вопрос по монадам
GrasQtRПриветствую всех.

Разбираюсь с Parsec вот по этому туториалу. Возник вопрос в следующем куске кода:
Код: plaintext
1.
2.
3.
4.
5.
6.
spaces :: Parser ()
 spaces = skipMany1 space

readExpr input = case parse (spaces >> symbol) "lisp" input of
     Left err -> "No match: " ++ show err
     Right val -> "Found value"
Непонятен принцип работы конструкции (spaces >> symbol), как она работает? Т.е. парсер прогоняет текст, удаляя все пробелы, затем ищет другие символы, или как-то по другому?

(>>) - биндит две монады в одну.

было две монады - пробелы и символ
получили новую монаду пробелы_символ.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
16.09.2011, 13:18
    #37443414
ZyK_BotaN
ZyK_BotaN
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Haskell, вопрос по монадам
ZyK_BotaNGrasQtRПриветствую всех.

Разбираюсь с Parsec вот по этому туториалу. Возник вопрос в следующем куске кода:
Код: plaintext
1.
2.
3.
4.
5.
6.
spaces :: Parser ()
 spaces = skipMany1 space

readExpr input = case parse (spaces >> symbol) "lisp" input of
     Left err -> "No match: " ++ show err
     Right val -> "Found value"
Непонятен принцип работы конструкции (spaces >> symbol), как она работает? Т.е. парсер прогоняет текст, удаляя все пробелы, затем ищет другие символы, или как-то по другому?

(>>) - биндит две монады в одну.

было две монады - пробелы и символ
получили новую монаду пробелы_символ.
соврал я. вот сейчас читал про это, результат первой монады игнорируется, а возвращается результат второй.

получается, что распарешнные пробелы игнорируем, а возвращаем распаршенный symbol.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
Форумы / Программирование [игнор отключен] [закрыт для гостей] / Haskell, вопрос по монадам / 3 сообщений из 3, страница 1 из 1
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение  
Полит. конфиден.  
созд. / загр.: 438ms
Закрыть
start [/forum/topic.php?fid=16&tablet=1&tid=1342731]:
 0ms
get settings:
 8ms
get forum list:
 15ms
check forum access:
 3ms
check topic access:
 3ms
track hit:
 162ms
get topic data:
 8ms
get forum data:
 2ms
get page messages:
 30ms
get tp. blocked users:
 1ms
others: 206ms
total:  438ms
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]