← All posts tagged ?

Macil
? Haskell sockets С ужасом осознал, что соврешенно не умею писать сетевые проги на Х-е. В общем, есть клиент что-то типа недоджсонрпц, который: а) может в произвольный момент послать сообщение серверу; б) в любое произвольное время может получить сообщение от сервера. С тем как увязывать запрос-ответ проблем нет, а вот как это выглядит с точки зрения сокетов и/или ИО-менеджера? Есть ли какой-то идиоматичный пример на Х-е?
Macil
? GCC Haskell А можно Х-й Cmm преобразовать в Гццшный TREE? Ну, и дальше «по команде»: GIMPLE, RTL, асм. Из главных плюшек — LTO, конечно. Ну, может быть и оптимизаицй каких-нибудь перепадёт.
Macil
? Haskell plsql Котаны! Встала тут задача статического анализа PL/SQL. Вернее даже не собственно PL/SQL, а адского «объектно-ориентированного» расширения на котором написана деби^W бизнес-логика одной «широко известной в узких кругах» системы. Так что проприетарные тулзы за сотни нефти малость бесполезны.
Хватился, а на Х-е даже парсера PL/SQL нету. Мож у кого-то возникала потребность? Мож у кого-то есть наработки (хоть какие-то!!!), похрен на кривость и законченность. Ну не с нуля же писать! Со своей сороны обещаю полный гихаб/опенсорс/паблик домейн...
И да, подкиньте плз книжек/бумажек уровня «Статический анализ (похрен чего) для чайников». Можно и не для чайников. На вырост, лол! А то теоретическую часть вопроса представляю себе слабовато...
Macil
? Haskell XML lexing Есть одна ебанутая спецификация, которая требует отдельные 0x0D заменять на 0x0A, а пары 0x0D 0x0A заменять на 0x0A. И пусть меня закидают ссаными тряпками, я вообще не вкуриваю как это сделать.
Не, ясен пень, нужно сварганить простейший конечный автомат (вернее, трансдюсер), который будет разбивать поступающие на вход байтстринги на более мелкие байтстринги (ленивые, без копирования). А вот как это сделать в реале?
Перейти на стринги, перейти на текст? Важна даже не столько вычислительная сложность. Важно чтобы реализация как можно меньше сношала сборщик мусора.
Обойти — не вариант. Во-первых, такое поведение — MUST. Во-вторых, без реализации такого поведения к чертям полетит вся кошер^W каноничность.
Macil
? Haskell zipper А прикрутить к зипперу continuation чтобы запилить Applicative, Alternative и Monad интерфейсы для перемещения по дереву, это как, нормально или всё-таки перебор?
Macil
? Haskell Есть пачка дататипов, нужно из них генерить из них некое представление — для определенности пусть будет JSON. Пачка — большая, руками делать это не вштыривает, тем более все еще 20 раз поменяется. В общем, есть два принципиальных пути: а) TH; б) GHC.Generics. Всё бы ничего, но через пять миунт изучения что одного что дургого у меня возникает желание заорать «Нет, нет! Только не мой МОЗГ, ебучие инопланетяне!!!» и куда-нибудь спрятаться.
Поэтому, в ближайшей временной перспективе изучить оба подхода и выбрать наиболее понравившийся мне будет сложно. Отсюда вопрос, а какой из двух этих подходов более интересный/перспективный?
Вопросы производительности меня волнуют мало, в смысле я в курся что GHC.Generics чуть-чуть сливают рукам/TH, но для меня это не критично. И ясен пень, я в курсе что с помощью TH можно не только data на составные части разбирать, но меня пока интересует только это направление.
Macil
? Haskell Может быть кто-то сталкивался с реализацией Tree Automata на хаскеле? Нужно не более, чем работа с регулярными «деревянными» языками.
Про П. Бара — знаю. Но мутно как-то у него... Мне даже unranked деревья не требуются, на самом деле... Вроде бы биоинформатики уважают TA, но неподготовленному лезть в их дебри...
Macil
Linux ? Debian Вчера весь вечер выгрызал evolution из дебьяна. Жуйк, зависимость gnome-panel DEPEND libedataserverui DEPEND evolution-data-server-common это баг или фича?