Haskell

15 Sep 2023 21:44

Это тогда весь код переделывать

Haskell

15 Sep 2023 21:42

Я хочу добавить спаны в своё аст, но чтобы не пришлось переделывать половину кода и писать гору бойлерплейта

Haskell

15 Sep 2023 21:40

В общем, я вляпалась в нерешаемую expression problem

Haskell

15 Sep 2023 21:39

Да блин, неужели я многого хочу?

Haskell

15 Sep 2023 21:38

Ещё и по паттерну :(

Haskell

15 Sep 2023 21:36

Пойдёт, только надо свежую версию брать
https://learnyouahaskell.github.io/

Haskell

15 Sep 2023 21:36

она конечно тоже нудятина жоская

Haskell

15 Sep 2023 21:36

сейчас лучше вилла курта

Haskell

15 Sep 2023 21:33

да блин куда проще чем вот это?

Haskell

15 Sep 2023 21:32

едрить у вас капчи, господа

Haskell

15 Sep 2023 21:26

я пока не понял для чего, но такую штуку можно переделать под свои нужды будет

а хранить можно как просто пару из индекса тега и f Any от значения

data Variant f scheme = V Int (f Any)

ну и нагородить сюда сейвовой апихи

Haskell

15 Sep 2023 21:20

ну еще можно несложно нагородить просто открытую структуру аля окамловые варианты, и там вообще че угодно можно будет сделать, ток матчить придется вью-паттернами

Haskell

15 Sep 2023 21:19

и че с этим делать потом, лямбда это не value но expr, а замыкание это не expr но value

Haskell

15 Sep 2023 21:19

Блин, у нас в проекте так, мне мозг выворачивает

Haskell

15 Sep 2023 21:17

можно

type Expr = Located Expr'
data Expr' = App Expr Expr | If Expr Expr Expr

Haskell

15 Sep 2023 21:43

У нас есть JS дома (lens-aeson)

Haskell

15 Sep 2023 21:41

Она решаемая, но не в хаскелле(

Haskell

15 Sep 2023 21:40

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE OverloadedLabels #-}

import GHC.TypeLits
import GHC.Exts
import Data.Kind
import GHC.OverloadedLabels
import Unsafe.Coerce
import Data.Proxy

data Pair a b = a `Of` b

type Variant :: [Pair Symbol Type] -> Type
data Variant spec = V Int Any

data N = Z | S N

type KeyIndexN :: Symbol -> [Pair Symbol Type] -> N
type family KeyIndexN k spec where
  KeyIndexN k (k `Of` _ : _) = Z
  KeyIndexN k (_ : ts) = S (KeyIndexN k ts)

type KeyIndex :: N -> Symbol -> [Pair Symbol Type] -> Constraint
class KeyIndex i k spec where
  type KeyType i k spec :: Type
  index :: Int

instance KeyIndex Z k (k `Of` t : ts) where
  type KeyType Z k (k `Of` t : ts) = t
  index = 0

instance KeyIndex n k ts => KeyIndex (S n) k (k' `Of` t : ts) where
  type KeyType (S n) k (k' `Of` t : ts) = KeyType n k ts
  index = index @n @k @ts + 1

mk :: forall k spec. KeyIndex (KeyIndexN k spec) k spec => KeyType (KeyIndexN k spec) k spec -> Variant spec
mk x = V (index @(KeyIndexN k spec) @k @spec) (unsafeCoerce x)

instance (KeyIndex n k spec, n ~ KeyIndexN k spec, t ~ KeyType n k spec) => IsLabel k (t -> Variant spec) where
  fromLabel = mk @k @spec

instance Show (Variant '[]) where
  show = undefined

instance (Show (Variant spec), KnownSymbol k, Show t) => Show (Variant (k `Of` t : spec)) where
  show (V 0 x) = "#" ++ symbolVal (Proxy :: Proxy k) ++ " " ++ show (unsafeCoerce x :: t)
  show (V i x) = show (V (pred i) x :: Variant spec)

type Expr = Variant
  [ "Lit"  `Of` Int
  , "Plus" `Of` (Int, Int) ]

x, y :: Expr
x = #Lit 1
y = #Plus (1, 2)

main = do
  print x
  print y

Haskell

15 Sep 2023 21:38

лана извините, что мешаю ныть

Haskell

15 Sep 2023 21:37

ниче громоздкого не вижу блина ваще

Haskell

15 Sep 2023 21:36

паттерны себе сделай

Haskell

15 Sep 2023 21:36

Громоздко, по два типа на каждую штуку, матчить лишние конструкторы

Haskell

15 Sep 2023 21:35

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

Haskell

15 Sep 2023 21:32

Сложна всё как-то :( Хоть на окамл уходить

Haskell

15 Sep 2023 21:28

а блин, тут рекурсия в тайп-алиасе, а заворачивание в ньютайп руинит все плюсы подхода

Haskell

15 Sep 2023 21:23

ну сделать какой-нибудь

type Expr f =
Variant f ["Lit" := Int, "Plus" := (Expr f, Expr f)]

#Lit :: f Int -> Expr f
#Plus :: f (Expr f, Expr f) -> Expr f

и потом

x :: Expr (Location,)
x = #Plus (l, (#Lit (l, 42), #Lit (l, 0)))

Haskell

15 Sep 2023 21:20

или это шутка про бизнес-вэлью?

Haskell

15 Sep 2023 21:19

А как насчёт
type Expr = Value
и не ныть

Haskell

15 Sep 2023 21:17

ну это вот напрямую как в GHC

там

type LExpr = Localted Expr
data Expr
= Lit Int
| Plus LExpr LExpr

Haskell

15 Sep 2023 21:17

а еще я не очень понимаю (но я и не разбирался еще) как делать вложенный аст таким образом (выражения в стейтментах)