@haskellru
Denis09.02.2018
15:36:01
15:36:01
чего-то я уже хреново помню как делал
Dmitry09.02.2018
15:36:07
15:36:07
а потом искать common prefix ?
Denis09.02.2018
15:36:20
15:36:20
по-моему конечные автоматы строил
Dmitry09.02.2018
15:36:21
15:36:21
ну короч, проблема кажется скорее cs, чем относящаяся к конкретному инструменту
GoogleDmitry09.02.2018
15:36:45
15:36:45
но тебе же надо наоборот - по КА который у тебя и так есть - сгенерировать грамматику, которую он разбирает
т.е инвертировать
это ж тянет на какой-нибудь пейпер или же вообще что-то фундаментальное из их теории?
Denis09.02.2018
15:37:13
15:37:13
ну короч, проблема кажется скорее cs, чем относящаяся к конкретному инструменту
а, ну безусловно. Я, впрочем, тогда очень убого сделал.да не, даже либ таких больше одной
Dmitry09.02.2018
15:37:46
15:37:46
ну мне приходит в голову только ограниченный перебор, хотя как тут перебирать, если у нас '*' например
ну или например
ну короч, тут надо пописать код и подумать, и скорее всего есть пейперы как это вообще делается
Denis09.02.2018
15:39:20
15:39:20
Сейчас могу врать, но для не очень фичастых регулярок пересечения можно найти вполне, а для сложных сводится к преобразованию в простые и прогону первого.
я тогда где-то идею украл и заимплементил
может даже код остался
Dmitry09.02.2018
15:39:47
15:39:47
проблема выглядит как что-то такое, что есть или в учебникак или пейперах
GoogleDmitry09.02.2018
15:40:02
15:40:02
@catamorphism да, это то, что в голову приходит
т.е какой-то минимальный алфавит регулярок, а потом сложные разложить на простые и уже их сравнить
Denis09.02.2018
15:42:38
15:42:38
https://www.google.ru/search?client=safari&rls=en&dcr=0&q=paper+regular+expressions+intersection&spell=1&sa=X&ved=0ahUKEwiYytf6lZnZAhUEjiwKHcb1DJkQkeECCCYoAA
довольно много всякого гуглится
Dmitry09.02.2018
15:44:29
15:44:29
ну и самое тупое все же - взять минимальный алфавит и набор эвристик - т.е если регулярка матчит диапазон - то генерировать наименьший символ для этого диапазона и тп. сгенерить тексты и сравнить их. сходу все равно не выдумать лучше. чем у авторов пейперов, которые на этом защищались
https://qntm.org/greenery
A64m09.02.2018
16:05:50
16:05:50
скачал весь хекедж, 15MLOC всего
Alister09.02.2018
16:06:35
16:06:35
а в мегабайтах?
A64m09.02.2018
16:07:08
16:07:08
гига три, но это всего вместе, не только хаскельные файлы
ну, т.е. не весь, последние версии всех пакетов
в агде оказывается имплициты применяются
Leonid09.02.2018
16:19:39
16:19:39
Александр09.02.2018
16:25:54
16:25:54
Ну мы же уже выяснили, что можно разными способами решать.
Полагаю, на этом тема уже исчерпана
Александр09.02.2018
16:27:58
16:27:58
? Я сегодня добрый, разрешаю
Leonid09.02.2018
16:32:10
16:32:10
по итогу дня - 29 ретвитов и 96 лайков. Great success!
GoogleLeonid09.02.2018
16:32:58
16:32:58
newtype deriving + instance
Dmitry09.02.2018
16:38:53
16:38:53
ну т.е
это всё тоже самое, о чем говорит чувак тут https://markkarpov.com/post/free-monad-considered-harmful.html плюс newtype deriving ?
тупо тайпклассы?
Leonid09.02.2018
16:39:24
16:39:24
ну таки да
Dmitry09.02.2018
16:39:41
16:39:41
а для интроспекции можно написать тайпкласс, который вернет фри
если очень хочется.
Александр09.02.2018
16:40:52
16:40:52
Я не успел картинку посмотреть
Dmitry09.02.2018
16:41:03
16:41:03
google: чебуречная дружба
Leonid09.02.2018
16:41:44
16:41:44
и мусора не больше, что TerminalM a, что Terminal m => m a
Dmitry09.02.2018
16:42:08
16:42:08
ну мне этот подход кажется более понятным и простым
т.е я вообще не знал, что это, оказывается, какой-то подход
для которого есть специальное название, и он является альтернативой чему-то.
возможно потому, что mtl добавляется в проекты сразу после base,containers и text
я думал, это просто программирование на хаскелле.
Александр09.02.2018
16:45:49
16:45:49
Чатик полезен!
Dmitry09.02.2018
16:46:06
16:46:06
ну да, я пойду почитаю статей
Denis09.02.2018
16:46:13
16:46:13
ну мне этот подход кажется более понятным и простым
ну примерно такой подход будет http://chrispenner.ca/posts/monadio-considered-harmfulGoogleDmitry09.02.2018
16:46:36
16:46:36
заведомо слишком умный, что бы я его понял
Denis09.02.2018
16:47:10
16:47:10
заведомо слишком умный, что бы я его понял
я вот когда читаю категорщину Кметта тоже не во все сразу въезжал и в некоторое до сих пор не въезжаюA64m09.02.2018
16:47:21
16:47:21
это не просто какой-то подход, это изобретение одного из самых известных изобретений Олега Киселева независимо от Киселева, являющееся альтернативой одного из самых известных изобретений Киселева
Александр09.02.2018
16:48:05
16:48:05
А Киселев - сон бабочки?
Denis09.02.2018
16:48:24
16:48:24
A64m09.02.2018
16:48:59
16:48:59
про таглесс файнл
Denis09.02.2018
16:49:41
16:49:41
и статья у него классная про тайпклассы
A64m09.02.2018
16:50:05
16:50:05
ну это которому альтернатива
A64m09.02.2018
16:50:30
16:50:30
да
Alexander09.02.2018
16:52:36
16:52:36
для которого есть специальное название, и он является альтернативой чему-то.
учитывая что он более старый чем фриDmitry09.02.2018
16:53:05
16:53:05
а еще про него рассказывал чувак на фпконфе, и не называл это такими словами
т.е его видимо изобретают все, просто не у всех есть для этого специальные названия
но это ладно. наверняка ведь в интернетах были и другие срачи free vs tagless ?
GoogleDenis09.02.2018
16:55:31
16:55:31
но это ладно. наверняка ведь в интернетах были и другие срачи free vs tagless ?
ну вот у пурсы их фри написан и как фри и реморс одновременно для оптимизашекA64m09.02.2018
16:55:47
16:55:47
его даже как ООПе паттерн независимо изобрели
Leonid09.02.2018
16:56:00
16:56:00
у пурсы это всё от бедности рантайма
Denis09.02.2018
16:56:08
16:56:08
они даже сами это описали
https://github.com/purescript/purescript-free#purescript-free
Leonid09.02.2018
16:57:02
16:57:02
Можете удивлятся https://github.com/slamdata/purescript-aff/blob/master/src/Control/Monad/Aff.js
Oleg09.02.2018
16:57:21
16:57:21
опять про своё старьё трёте
Могли бы typelevel DSLи писать
Александр09.02.2018
16:59:04
16:59:04
Можете удивлятся https://github.com/slamdata/purescript-aff/blob/master/src/Control/Monad/Aff.js
Ох, я туда ни разу не заглядывал, а там веселенький код.Чтобы typelevel DSLи писать, - это надо, чтобы у твоего работодателя были стальные, ну или ты сам им был
Denis09.02.2018
16:59:54
16:59:54
Можете удивлятся https://github.com/slamdata/purescript-aff/blob/master/src/Control/Monad/Aff.js
ну а как еще делать всякие микротаски? только всякие setTimeout, setImmediate и тдDmitry09.02.2018
17:00:18
17:00:18
Александр сервант же.
Александр09.02.2018
17:00:52
17:00:52
Denis09.02.2018
17:00:58
17:00:58
или хайпер https://github.com/owickstrom/hyper
Oleg09.02.2018
17:01:00
17:01:00
Александр09.02.2018
17:01:18
17:01:18
Нервы
Oleg09.02.2018
17:01:47
17:01:47
Буду знать, что у моего стальные
Александр09.02.2018
17:02:35
17:02:35
Вот и рассказали бы свой опыт, поделились знаниями. Как писать, что использовать
Открыть в Telegram