Телеграмм чат группы haskellru страница 12085

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

источник

10:48пожаловаться #6

Dmitry Zuikov in Haskell

и инклудить надо, отлавливая циклы

источник

10:48пожаловаться #7

Leonid 🦇 Onokhov in Haskell

Dmitry Zuikov

сейчас гляну. по тому, что я вижу, оно повменяемее. впрочем, там где мне советовали, ты тоже есть

Но там надо антиквоты и многострочные строки хотя-бы

источник

10:48пожаловаться #8

Dmitry Zuikov in Haskell

на сях у меня свой лисп для этого есть

источник

10:48пожаловаться #9

Kakadu in Haskell

А как красиво пишутся вот такие штуки?

data Sort a where
  C1 :: Sort A
  C2 :: Sort B
  C3 :: Sort C
  L :: [a] ->  Sort a

И теперь хочется функцию

foo :: (Sort A или Sort B) -> Int
foo C1 = 1
foo C2 = 2
foo (L _) = 3

Куда можно без синтаксического мусора передавать и A, и B

источник

13:07пожаловаться #10

кана in Haskell

не понятно, Either (Sort A) (Sort B)
?
или
foo :: Sort a -> Int
foo @A someSortA :: Int
?

источник

13:12пожаловаться #11

Maxim Koltsov in Haskell

(a == A || a == C) ~ 'True => Foo a -> Int

?

источник

13:13пожаловаться #12

Maxim Koltsov in Haskell

Data.Type.Equality и Data.Type.Bool

источник

13:13пожаловаться #13

Maxim Koltsov in Haskell

Я не уверен конечно что паттерн метч чекер поймёт что тут к чему

источник

13:13пожаловаться #14

Kakadu in Haskell

А какое расширение надо для a == A? Не получается нагуглить

источник

13:21пожаловаться #15

Kakadu in Haskell

получилось

источник

13:25пожаловаться #16

Maxim Koltsov in Haskell

Kakadu

А какое расширение надо для a == A? Не получается нагуглить

Тайп фемелис и тайп операторс
И импортировать то что я написал

источник

13:27пожаловаться #17

Maxim Koltsov in Haskell

А, фемелис наверное не надо раз у тебя гадты уже включены

источник

13:27пожаловаться #18

Maxim Koltsov in Haskell

(они оба включают ~)

источник

13:28пожаловаться #19

Maxim Koltsov in Haskell

Kakadu

получилось

так что, неужели так работает и можно писать только те паттерны, который подходят?

источник

16:43пожаловаться #20