Haskell

15 Sep 2023 21:14

вместо

data Expr
= Lit Int
| Plus Expr Expr
| If Expr Expr Expr

делать

data ExprF expr
= Lit Int
| Plus expr expr
| If expr expr expr

type Expr = Cofree ExprF Location

но это сразу жопа при всяких матчах, рекурсивные функции, короче все как в ghc c Located постоянным, ток не нужно будет поле добавлять явно

Haskell

15 Sep 2023 20:57

Haskell has no boilerplate :(

Haskell

15 Sep 2023 20:46

Блин, костыльно как-то с этим а

Haskell

15 Sep 2023 19:57

можно🤡 налепить🤡 экзистенциальный🤡 констреинт🤡 в виде🤡 имплисита🤡 формы🤡 data Var = (?varPos :: SrcSpan) => MkVar {...}🤡
Придётся обновить все конструкирования🤡 Var, добавив туда let ?varPos = ... in ..., но реконструкция Var будет работать без лишней бюрократии до тех пор пока сохраняется лексический скоуп деконструкции

Haskell

15 Sep 2023 19:47

Или не базовый, но где-то да

Haskell

15 Sep 2023 19:45

Каким образом втыкание предполагается?

Haskell

15 Sep 2023 19:43

Были бы рекорды как в окамле (или, прости господи, объекты), просто бы в каждый ещё одно поле воткнула

Haskell

09 Jul 2023 22:40

Если убрать фильтрацию, то все выглядит так, как будто работает правильно (во всяком случае в простых сценариях, которые к меня были)

Haskell

09 Jul 2023 20:08

Работает, в принципе ок либа. У них правда там свой AST упрощённый, это не тот что в ghc-lib-psrser

Haskell

09 Jul 2023 19:49

Там был скамер, ему.

Не тебе, но если хочешь 👉🏻👈🏻☺️

Haskell

08 Jul 2023 14:33

Из хаскельных тем для вскода есть hackage-theme и groovy lambda.

Haskell

08 Jul 2023 00:25

Спасибо за ответы! Да, с id явно промашка вышла, с другой функцией работает:

ghci> x = [("HELLO", 123)] :: Map Text Int
ghci> x & at "WORLD" . non 321 %~ (+1)
fromList [("HELLO",123),("WORLD",322)]

Haskell

08 Jul 2023 00:10

для любой оптики кажется должен соблюдаться закон что over o id = id

Haskell

07 Jul 2023 23:24

Добрый день! Есть ли идеи почему два выражения работают по-разному? Для кейса когда ключа нет вроде как поведение должно быть одинаковое

ghci> x = [("HELLO", 123)] :: Map Text Int
ghci> x & at "WORLD" . non 321 %~ id
fromList [("HELLO",123)]
ghci> x & at "WORLD" ?~ 321
fromList [("HELLO",123),("WORLD",321)]

Haskell

07 Jul 2023 21:57

это всё обычные имена

Haskell

15 Sep 2023 21:12

самый оптимальный (но мною нелюбимый) вариант это Cofree

Haskell

15 Sep 2023 20:47

А это вообще трэш какой-то. Короче, нет нормального способа проаннотировать ADT AST, походу

Haskell

15 Sep 2023 19:58

Про парсинг со спанами у серокеля есть https://serokell.io/blog/parsing-with-happy

Haskell

15 Sep 2023 19:57

Есть интерпретатор https://github.com/Gabriella439/grace

Haskell

15 Sep 2023 19:46

Типа базовый класс с срц спаном?

Haskell

15 Sep 2023 19:44

Язык не тот, не втыкается

Haskell

15 Sep 2023 19:43

Можно кстати ограниченную форму ттг сделать в виде индекса который только на айденты влияет, населяя их дополнительной инфоомацией

Haskell

09 Jul 2023 22:39

Кто-нибудь знает почему пандок вырезает из docx все стили для параграфов кроме definition и а из in-line элементов вообще все? Спрашивать в трекере не охота там и так 900+ репортов и с 2022 как-то все почти не движешься

Haskell

09 Jul 2023 19:57

не разговаривайте с мусором, пожалуйста

Haskell

09 Jul 2023 18:16

кто-нибудь пользуется https://github.com/google/ghc-source-gen/ ?

оно живое или все забили?

Haskell

08 Jul 2023 09:36

Начал работу над этим. Надеюсь, что repo owners меня поддержат. Если у вас есть какие-то идеи на этот счёт/просто интересно — вот issue с ссылками на WIP документацию (в том числа и в отрендеренном html формате).

Haskell

08 Jul 2023 00:11

так что non ну никак не может добавить поле если там id

Haskell

08 Jul 2023 00:01

из Optics by Example

Haskell

07 Jul 2023 21:59

расширение Haskell есть, и хорошо.

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

Haskell

07 Jul 2023 19:06

Она есть, литералы другим цветом