menhir няшка ``` $ rlwrap menhir --interpret --interpret-show-cst lib/sql_parser.mly Warning: 13 states have shift/reduce conflicts. Warning: 91 shift/reduce conflicts were arbitrarily resolved. Ready! SELECT TEXT LIKE TEXT OR TEXT LIKE TEXT ACCEPT [input: [statement: [select_stmt: [select_core: SELECT [option(select_type):] [separated_nonempty_list(COMMA,column1): [column1: [expr: [expr: [literal_value: TEXT]] [mnot(like): [like: LIKE]] [expr: [expr: [literal_value: TEXT]] [boolean_bin_op: OR] [expr: [expr: [literal_value: TEXT]] [mnot(like): [like: LIKE]] [expr: [literal_value: TEXT]] [option(escape):] ] ] [option(escape):] ] [maybe_as:] ] ] [option(from):] [option(where):] [loption(group):] [option(having):] ] [list(preceded(compound_op,select_core)):] [loption(order):] [option(limit_t):] [option(select_row_locking):] ] ] EOF ] ```

После нескольких месяцев унылых ковыряний до кое-кого дошло что `filter_map` просто "нинужен" в strymonas, т.к. `filter |> map` (самое лобовое решение) метакомпилируется просто всегда лучше. Т.е. как это часто бывает - вопрос изначально поставлен был неправильно и нужно было таки выйти из системы, чтобы увидеть очевидное решение к несуществующей проблеме. Небесполезный экспириенс, каждый раз..

Нативный OCaml в телефоне - http://ygrek.org.ua/p/ocaml-termux.html Вообще termux очень удобная штука оказалось, легко устанавливается, куча пакетов с привычным софтом - ssh, git, rsync, итд. Даже gdb работает!

TEHDRAMA в https://github.com/ocaml/ocaml/pull/151 закончилась добровольным признанием автора в бесплодности попыток изменить божественный калемвский stdlib. Но революционно настроенные массы не теряют надежды в https://github.com/ocaml/ocaml/pull/166

Advanced Functional Programming http://www.cl.cam.ac.uk/teaching/1415/L28/materials.html лекции по системе типов камля с уклоном в матан, свежатинка, с гадтами и staging'ом

Пришло время обновить камло. Перечень вкусняшек - https://github.com/ygrek/talks/raw/master/2014-ocaml-status/slides_20141125.pdf