free monad for regex

[juan_gandhi]

Say, we have a regex, right? This is a regular language; so there must be a free monad with a pretty simple structure. May be related to State monad, I guess.

Comments

[sorhed.livejournal.com]

В хаскеле есть automaton arrow; наверное, если её слегка доработать напильником...

[norian.livejournal.com]

баг лечицца одной галочкой про "подтверждаю что достиг(ла) консент эйдж по местным законам" в форме регистрации

которую видно всем жаждущим большой чистой любви

и если галочка поставлена умышленно, то судить за лжесвидетельство, а не развращение

[pappadeux.livejournal.com]

?

[juan-gandhi.livejournal.com]

Это был ответ на другой пост.

[juan-gandhi.livejournal.com]

Кстати, хорошая идея была бы, если б...

[nivanych.livejournal.com]

> so there must be a free monad with a pretty simple structure

Можно обозначить сопряжение между регулярными языками и всеми языками над алфавитами.
Но эта монада не является свободной.

Можно ещё не так.
Прикинуть, для начала, какой это может быть функтор...
Регулярному выражению можно сопоставить некоторый полиномиальный функтор —
конкатенации соответствует произведение,
дизъюнкции соответствует сумма.
"Звёздочке" регулярного выражения можно сопоставить бесконечный список, это ещё один индуктивный тип.
Функтор можно построить и в форме, удобной для построения свободной монады.

Но кажется, что это всё не то, что ты хотел.

[yussouf.livejournal.com]

*patiently*

not monad
machine
State Machine

[juan-gandhi.livejournal.com]

Well, I'm kind of aware of that. But SM is pretty much a monad.