Написать распознаватели для лексем

Написать следующие распознаватели
1) Слово end
2) Идентификатор
3) Число

Чтобы выдать значение лексемы, нужно воспользоваться оператором <@, с помощью этого оператора можно собрать результат трансляции.

В качестве результата будет значение типа token

Преподаватель на лекции дал вот эти функции:






У меня вопрос на счет функции maybe и just.
Я знаю, как определяется функция maybe:
Т.е. если пришел не 0, вернет нам это число, иначе ничего не вернет.
В фотографиях лекций есть, например, функция epsilon:
Как мы узнаем, как определена и работает функция maybe(a, String) для этого случая и как работает Just для некоего кортежа ((), xs)?
Помогите пожалуйста разобраться

1

Сообщение от danek130995 я не понял, как в cons попадает xs и что это в данном случае будет?

В функцию f, в (<@), в данном случае (строки 55 или 57), передаётся пара (Char,String) создаваемая в (<*>).
Для строки 57, к примеру, f - это (Id . cons).
ys - это остаток строки, ещё не разобранный, он в (Id . cons) и не передаётся.

1

KolodeznyDiver
В <@ , когда мы вызываем f, ее аргументами будут y и ys(остаток строки)? Просто в cons же на вход идет кортеж(x, xs). Значит, при вызове f мы должны передать кортеж, что и делаем так:f y, ys? Так можно передавать кортеж и скобки не нужны? Или я где-то ошибся?
А зачем вы используете слово read(55), а также слово const(59)?

0

Сообщение от danek130995 В <@ , когда мы вызываем f, ее аргументами будут y и ys(остаток строки)?

Нет. В строке передаётся символ распарсенный по digit и строка распарсенная по many digit.
Вто же самое, только letter.
а тут передаётся кортеж в ещё одном кортеже. В кортежах буквы, но их значения не нужны, т.к. у конструктора End нет параметра, кортеж в кортеже игнорируются с помощью ф-ии const.

Сообщение от danek130995 А зачем вы используете слово read

это функция преобразует из строки, в данном случае, в целое, которое передаётся конструктору Num.

Сообщение от danek130995 а также слово const(59)?

(const End) тоже, что (\_ -> End).

1

1)KolodeznyDiver, я это все понимаю, я наверное не так задал вопрос..
Я имел ввиду вот что. В этой строке:
левый аргумент <@-это Правый аргумент - это Смотрим на реализацию <@:
Видим, что левый аргумент - это p, правый -это f.
Т.е., если функция p- что-то вернет, вызываем Just(f y, ys), где вызываем функцию f -
от аргумента y, который в данном случае является символом, распарсенным по digit и строкой распарсенной по many digit, грубо говоря, y - это распознанный идентификатор, а точнее-это кортеж, если я не ошибаюсь, который состоит из распознанных символов, и строки, которая еще не распознана. Это я сужу по тому, что возвращает функция <*>: Just((y,z),zs). Так вот, получается вызываем функцию в итоге cons от y, но если посмотреть на ее реализацию, то видим:
Т.е. видим, что на вход она требует кортеж, который поступает в качестве y. И она начинает сцеплять распознанные символы с xs(нераспознанными?). Где ошибка в моих рассуждениях?
2) А что такое Что это за символ \_?
P.S.KolodeznyDiver, программу защитил сегодня благодаря Вам(спасибо Вам огромное!), на этом наш курс Хаскель закончился.. Это была последняя лабораторная.

0

Сообщение от danek130995 y - это распознанный идентификатор, а точнее-это кортеж, если я не ошибаюсь, который состоит из распознанных символов, и строки, которая еще не распознана.

Тут ошибка. Если, допустим, распознан идентификатор "abc", то y, это ('a',"bc").

Сообщение от danek130995 Что это за символ \_?

\ начало определения лямбда функции. У неё один аргумент, который не используется - _.

1

KolodeznyDiver, фух.. Разобрался с аргументом y. Вот только про лямбда функции не слышал, не представляю, что это. Сейчас посмотрел вики, это вроде как анонимная функция, т.е. можно в любом месте кода объявить. По виду функциимогу предположить, что какой бы ей аргумент не пришел, она вернет End.
Тогда почему нельзя просто написать End?
KolodeznyDiver, P.S. Из какого Вы города? Просто интересно

0

Сообщение от danek130995 Тогда почему нельзя просто написать End?

Потому что требовалась функция с аргументом, а не просто выражение.

1

KolodeznyDiver, оригинально-очень метко описали

0

danek130995, я бы советовал Вам разобраться самостоятельно, обратиться к литературе (возможно, англоязычной). Кроме того, можно обратиться к преподавателю. Иначе на хорошее окончание семестра можете не рассчитывать.

0

0

0

pycture, _Ivana, APGord, преподаватель ни о чем не узнал, преподавание Хаскель оставляет желать лучшего у нас. Другого выбора нет, как только обращаться на форум.
APGord, я разобрался, с помощью KolodeznyDiver, а на окончание семестра это не влияет, так как у нас зачет, и вообще, я отличник уже 4 семестра.

0

0

XRuZzz, спасибо) да уже все, курс хаскеля окончен��

0

0

0

0