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

в хаскеле-то понятно нет

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

Jerzy Syrowiecki in Haskell

a -> Pattern a -> Bool

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

слишком просто

Jerzy Syrowiecki in Haskell

в Хаскеле можно работать с объектами, кодирующими образцы, они только не интегрированы в язык

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

Jerzy Syrowiecki in Haskell

изучайте линзы, если хотите сложнее

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

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

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

[

[BRM]White Rabbit in Haskell

Значит, надо сделать!

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

Привет. Возможно ли сделать тайп алиас, к которому потом можно применять типы?

type Bool = forall m a. SimplyTyped m => m (a -> a -> a)
... :: Bool @m

Компиль на вот это пишет ошибку Cannot apply function of kind ‘*’ to visible kind argument ‘m’

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

Maxim Koltsov in Haskell

а type Bool m a = SimplyTyped m => ... не катит?

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

Хочу с дефолтным "любым" агрументом)

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

тут forall это аргумент не типа, а значения типа

x :: Bool
y = x @m @a

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

а то что хочется это именно

type Bool m a = ...

потому что лямбд на типах еще не завезли, чтобы можно было писать

typ Bool = \m a -> ...

а что за дефолтный любой аргумент я не понял

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

Bool ~ forall m a. C m => m a
Bool @m ~ forall a. C m => m a
Bool @m @a ~ C m => m a

Вот такой дефолтный (~ же это равенство типов в хаскелле, да?)

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

Это понял, спасибо

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

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

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

Bool '[] ~ forall m a. C m => m a
Bool '[m] ~ forall a. C m => m a
Bool [m, a] ~ C m => m a

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

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

потому что это по сути вариадик функция получается

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

type family Bool t
type instance Bool () = forall m a. ...
type instance Bool m = forall a. ...

Так?

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

type X m a = C m => m a
type family Bool t where
Bool '[] = forall m a. X m a
Bool '[m] = forall a. X m a
Bool [m, a] = X m a