@haskellru
Yuriy10.05.2018
14:59:21
14:59:21
именно repl
Alexander10.05.2018
14:59:38
14:59:38
Хочу разобраться во фри монадах на примере алгебры высказываний (not, or, and, термы)
Типа считываем AST, после чего можно его 1) сразу вычислить 2) Перевести в КНФ/ДНФ 3) Как-то ещё оптимизировать
Стек монад наверное будет такой:
1) Free (для AST)
2) Writer (Для подсчёта статистики вычислений до и после оптимизаций)
3) Reader (в AST не только константы, но и переменные могут быть)
Как идея, стоит браться? Какие подводные? С фри монадами знаком только с этого чата + 1 статья с хабра. Ну сложилось впечатление, что это какой-то eval, только done right
free это возможность построить AST для выполнения задачи, который потом можно интерпретировать различными способами
Rustem10.05.2018
15:00:22
15:00:22
я щас здохну быстрее чем ghc установится
Alexander10.05.2018
15:00:38
15:00:38
маловероятно
Google
Дед Пегас10.05.2018
15:01:15
15:01:15
я щас здохну быстрее чем ghc установится
А прикинь, если бы ещё нужно было бы его компилять? И чтобы он был написан на Scala.Ilya10.05.2018
15:01:46
15:01:46
Ilya10.05.2018
15:03:46
15:03:46
Alexander10.05.2018
15:04:07
15:04:07
все видели новый пост FPComplete там где говорят, что для того чтобы узнать где вылетело исключение нужно ловить исключения?
Rustem10.05.2018
15:04:15
15:04:15
Alexander10.05.2018
15:04:42
15:04:42
https://markkarpov.com/post/free-monad-considered-harmful.html
@Masteroid ^
Leonid10.05.2018
15:07:48
15:07:48
встроенных не бывает
Google
Yuuri10.05.2018
15:08:16
15:08:16
(Уиии, лигатуры!)
А почему он должен подсвечивать "встроенные"? Они такие же функции, как и все остальные, это не какие-то зарезервированные слова.
Rustem10.05.2018
15:08:22
15:08:22
print например
(Уиии, лигатуры!)
А почему он должен подсвечивать "встроенные"? Они такие же функции, как и все остальные, это не какие-то зарезервированные слова.
ну в python подсвечиваетхотя
Yuuri10.05.2018
15:09:02
15:09:02
Rustem10.05.2018
15:09:03
15:09:03
там наверное он скобок придерживается
Yuuri10.05.2018
15:11:05
15:11:05
Но зачем их как-то специально выделять?
Yuriy10.05.2018
15:13:03
15:13:03
ну у тебя же модульный редактор — просто возьми пакет с грамматикой, различающей прелюдные символы
Yuuri10.05.2018
15:14:10
15:14:10
Ну как это не понятно, вон же разные цвета. Пурпурным ключевые слова, синим объявления, серым значения, жёлтым литералы.
Зачем значения из Prelude выделять как-то отдельно, что это даст?
(не говорю, что это нинужно, а правда пытаюсь понять)
Rustem10.05.2018
15:15:30
15:15:30
радугу
GoogleAlexander10.05.2018
15:15:48
15:15:48
были же где-то разноцветные переменные
for some definition of переменные
Yuuri10.05.2018
15:16:18
15:16:18
Можно ещё каждое имя в уникальный цвет красить
Aleksey10.05.2018
15:16:35
15:16:35
Об этом и речь
Alexander10.05.2018
15:16:37
15:16:37
вот это и было
Aleksey10.05.2018
15:17:15
15:17:15
"Семантическая подсветка" вроде называется
Aleksey10.05.2018
15:17:39
15:17:39
Еще когда питонил, делал себе такое в имаксе - помогало
Rustem10.05.2018
15:18:04
15:18:04
Ну как это не понятно, вон же разные цвета. Пурпурным ключевые слова, синим объявления, серым значения, жёлтым литералы.
не серым а чисто бклым
так и в плэин текстеЕще когда питонил, делал себе такое в имаксе - помогало
для Lisp-like языков там разноцветная подцветка скобок вродеAleksey10.05.2018
15:19:21
15:19:21
Это и в хаскеле полезно
Yuriy10.05.2018
15:19:29
15:19:29
Можно ещё каждое имя в уникальный цвет красить
semantic coloring (как противопоставление syntax coloring)для Атома есть пакет sematicolor, у Кода (пока) нет апи, чтобы сделать такой пакет
Rustem10.05.2018
15:30:05
15:30:05
для Атома есть пакет sematicolor, у Кода (пока) нет апи, чтобы сделать такой пакет
в Sublime что то похожее естьура, дождался, распаковка
Дед Пегас10.05.2018
15:33:00
15:33:00
Понатыкают одинаковых аватарок, потом сиди разбирай, что это не раздвоение личности и ники разные, а не быстро на авку позырь...
Rustem10.05.2018
15:33:53
15:33:53
ок, щас исправлю
GoogleRustem10.05.2018
15:36:07
15:36:07
Александр10.05.2018
15:37:44
15:37:44
Ну ладно тогда ?
Как-то много нафлудили. Читать лень
A64m10.05.2018
15:38:20
15:38:20
КАК ЭТО ЛЕНЬ? А ЕСЛИ ТАМ СПАМ?!
Александр10.05.2018
15:39:26
15:39:26
Если там спам, то зареплайте его сюда, я перейду и удалю
Rustem10.05.2018
15:40:04
15:40:04
там нет спама
Александр10.05.2018
15:40:27
15:40:27
Но вот здесь уже ^ прям много. Давайте ближе к телу?
Rustem10.05.2018
15:40:44
15:40:44
зачем он мне perl установил?
A64m10.05.2018
15:55:24
15:55:24
он для сплиттера нужен, в других местах вроде от него уже избавились
Rustem10.05.2018
15:56:45
15:56:45
A64m10.05.2018
15:58:04
15:58:04
ага
Leonid10.05.2018
16:35:24
16:35:24
что у ФП комплит за мания к исплючениям и дедлокам? Никто больше СТОЛЬКО про это не пишет
Может они как-то не так на хаскеле пишут
Антон10.05.2018
16:37:03
16:37:03
что у ФП комплит за мания к исплючениям и дедлокам? Никто больше СТОЛЬКО про это не пишет
А про остальное неинтересно писать просто. Сложностей никаких
Kirill10.05.2018
16:51:10
16:51:10
сори, мимо.
Alexander10.05.2018
16:53:29
16:53:29
что у ФП комплит за мания к исплючениям и дедлокам? Никто больше СТОЛЬКО про это не пишет
на самом деле сложная темаони сами там хорошо косячат
GoogleAlexander10.05.2018
16:55:06
16:55:06
но огромная статья сводящаяся к тому чтобы узнать где исключение - надо его словить и протегировать обработчик уникальной строкой вручную - это круто
Rustem10.05.2018
16:55:17
16:55:17
щёрт
hie не устанавливается
Alexander10.05.2018
16:55:28
16:55:28
welcome to linux
Alexander10.05.2018
16:55:38
16:55:38
ну эту Винду нафиг
Александр10.05.2018
16:56:25
16:56:25
И сейчас начнется виндосрач
Но у меня на линуксе не взлетел. Просто после некоторого количества возни с hie, я решил, что оно того не стоит
Rustem10.05.2018
16:57:41
16:57:41
и придётся писать код без автодополнения
Rustem10.05.2018
16:58:19
16:58:19
Alexander10.05.2018
17:00:11
17:00:11
полезность автодополнения в Haskell сравнительно низкая (околонулевая) если за 1 взять полезность автодополнения при программировании на java
особенно если не пишешь в гонзалесовом стиле
Pineapple10.05.2018
17:01:29
17:01:29
Гонзалевский это всё квалифицированно?
Alexander10.05.2018
17:01:31
17:01:31
нету базового объекта, и по типам (пока начинаешь писать код) тоже не сильно выведешь
Pineapple10.05.2018
17:01:49
17:01:49
Оно жж в строку влезать перестанет
Alexander10.05.2018
17:01:57
17:01:57
причем import qualified Control.Concurrent.STM.TVar
Открыть в Telegram