ReSQL.ru
     
powered by simpleCommunicator - 2.0.61     © 2026 Programmizd 02
Мобильная версия    Контакт    Правила    FAQ    Помощь
Целевая тема:
Создать новую тему:
Автор:
Закрыть
Цитировать
Доб. в избранное | Игнор. тему | Прикреп. тему | Пометить прочит. / непрочит. | Фильтр
Форумы / Программирование [игнор отключен] [закрыт для гостей] / Haskell, вопрос по монадам
3 сообщений из 3, страница 1 из 1
Haskell, вопрос по монадам
    #37439335
GrasQtR
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
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
14.09.2011, 08:52:16
| Ответить | Цитировать | Написать  
Haskell, вопрос по монадам
    #37439892
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
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
14.09.2011, 13:23:23
| Ответить | Цитировать | Написать  
Haskell, вопрос по монадам
    #37443414
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
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
16.09.2011, 13:18:03
| Ответить | Цитировать | Написать  
3 сообщений из 3, страница 1 из 1
Форумы / Программирование [игнор отключен] [закрыт для гостей] / Haskell, вопрос по монадам
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение   Полит. конфиден.  
NoSQL.ru       Кролег: Проекты, Новости, Чат       РЕД ФОРУМ       Фотоальбом: Участники, Встречи
Закрыть
start [/forum/topic.php?fid=16&fpage=79&tid=1342731]:
 0ms
get settings:
 8ms
get forum list:
 15ms
check forum access:
 3ms
check topic access:
 3ms
track hit:
 37ms
get topic data:
 8ms
get forum data:
 2ms
get page messages:
 30ms
get tp. blocked users:
 1ms
others: 201ms
total:  308ms
созд. / загр.: 308ms
x
x
Закрыть


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