кстати кому нужна либа с таким методом?

А что, fsync нету? В unix например?

да есть конечно

я могу мою книжку по unix-ам достать и посмотреть насколько раньше он выходит

Dmitry а какая у вас скорость реакции на отправленные доклады, а то я дня 2 назад отправил по мотивам разговоров по email, мне начинать волноваться, что форма не отправилась или что-то такое, или ещё не стоит. //CC @meilalina

а бросьте ссылочек по "конечным автоматам для программистов", если кому-то что-то зашло в свое время

а бросьте ссылочек по "конечным автоматам для программистов", если кому-то что-то зашло в свое время

Ахо Ульман?

классическая книга

Ахо Ульман у меня в печатном виде есть, но это не совсем то. вернее то, но еще плюс это и вот это, немного про это, это, ну и треть книги про это и это

не распарсил

отож )

в чём проблема, если в книге есть другой материал кроме конечных автоматов?

нужны конечные автоматы со страницы такой то-то по такую-то, а не в перемешку на весь том

посмотри ещё вот эту

http://trpl7.ru/t-books/_TRYAPBOOK_pdf.pdf

говорим "конечный автомат", подразумеваем шалыто!

зачем загонять себя в узкие рамки парсеров?

Прикольная книженция

не попадалась

зачем загонять себя в узкие рамки парсеров?

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

посидел пару ночей и понял что мат часть хромает

по оптимизации КА было много интересного в пейперах про Ragel

раньше встречалось в открытом доступе. не то, что бы прямо теория, но много теории в т.ч

собсвтенно я уперся в то что проект использует LR(2) грамматику, не LR(1) и некоторые проблемы я слабо себе представляю как пофиксить

а что за проблемы?

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

предположим есть jinja2 - язык шаблонизаторов у которого нет switch

{% switch username %} {% case "Jim" %} I want to say: {% case "Nik" %} Hello man! {% endcase %} {% case "Bob" %} Hi {% default %} Who are you? {% endswitch %}

не получилось за две ночи сделать {% case expr %} statement_list(T) без {% endcase %}

и {% default %}

я понимаю краем мозга что решаемо ,как и то, что мне нужно что-то почитаь, чтоб понимать как это делается правильно

это все не про jinja но проблема один в один

там тоже нет switch и если его там реализовывать придется попотеть. наверное по этому его там и нет до сих пор

но ведь проблема наверняка не специфичная для свича?

во да

я с утра подумал что хочу похожие решения поискать

@serghei_k А можете объяснить, как вы пришли к тому что это LR(2)?

это похоже на проблему неоднозначности if then elsif else если я правильно понимаю, но наверное у неё есть и более общее название.

Вот мы сейчас видим в превью один токен case — какие есть иные варианты кроме как начать парсить кейс?

т.е если, опять де, я правильно понимаю, проблема в том, что может быть неоднозначность во вложености

@serghei_k А можете объяснить, как вы пришли к тому что это LR(2)?

прошу прощения, наоброт

проект использует Lemon (тот который в SQLite) а он LR(1)

Вот мы сейчас видим в превью один токен case — какие есть иные варианты кроме как начать парсить кейс?

ну может я просто что-то не так понимаю, но у меня выходит так switch_statement(R) ::= '{%' SWITCH '%}' case_clauses(C) '{%' ENDSWITCH '%}' . { // ... } с этим проблем нет, но вот с case_clauses я просто пришелв тупик case_clauses(R) ::= case_clauses(C) case_clause(K) . { R = my_list(C, K); } case_clauses(R) ::= case_clause(K) . { R = my_list(NULL, K); } case_clause(R) ::= '{%' CASE expr(E) '%}' statement_list(T) '{%' ENDCASE '%}' . { R = case_clause(E, T, status->scanner_state); } похоже на правду ,и даже работает, а вот это нет case_clause(R) ::= '{%' CASE expr(E) '%}' statement_list(T) . { R = case_clause(E, T, status->scanner_state); } > This rule can not be reduced.

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

если не очевидно про самое первое определение про swith, statement_list(T) ::= switch_statement вот тут и приплыли

statement_list => switch_statement => case_clause + statement_list

вот у меня есть патч, который только меняет имена методов

до него тест выполняется за минуту, после него за бесконечность

и вот куда копать..

имена методов где?

в модулях моих

на самом деле там ещё всякие мелочи типа forM -> for

видимо там где-то проблема

причем там тест/логика кривая и можно сделать много лучше, но и ухудшение в бесконечность раз это тоже не радость

!!!!!!!!!!!!!!!!!!!!

отключил custom prelude, заработало

блин вот за это я ненавижу custom prelude

спецализации же уже не умеют принимать костомную реализацию, только rule?

понапишут слишком обобщенных функций, а другим потом баги ловить :/

понапишут слишком обобщенных функций, а другим потом баги ловить :/

А в чем была наколка с обобщенностью?

when :: Bool -> m a -> m ()

хз точно

я очень не хочу лезть в core

сейчас попробую правило написать, чтобы его в обычный превращать если там ()

видимо обламывается его упростить как-то или какое правило специализация для обычного when не срабатывает

void же не форсит значение?

тесты кстати на дефолтных настройках gc

наверное это и не нужно менять

чтобы такую хрень ловить

Очень интересно. Войд вроде как не должен

тогда наш общий when может быть неприятной для gc неожиданностью

в общем я правило написал, сейчас проверяю

А если этот when тупо выкинуть?

тоже вариант

И заменить на стандартный

ну мой код со стандартным when работает

с этим - нет

либо выкидывать его из prelude совсем

либо чинить

я решил попробовать починить правилом, если не получится - выкину к чертям