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

А делал кто-нибудь github action для стэка? там по дефолту есть что-то для кабала, но у меня стековый проект и то, что гуглится, выглядит довольно монструозно.

источник

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

XÆA-XII in Haskell

data (Num a, Num b) => MExpr a b =
Sum a b
| Sub a b

instance Num (MExpr a b) where
(+) = Sum
(*) = Sub

Почему жалуется на несоответствие типов?

источник

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

Jerzy Syrowiecki in Haskell

да, всё легко https://github.com/cblp/hse-haskell-2021-homework-2/blob/master/.github/workflows/haskell.yml

GitHub

cblp/hse-haskell-2021-homework-2

Contribute to cblp/hse-haskell-2021-homework-2 development by creating an account on GitHub.

источник

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

Jerzy Syrowiecki in Haskell

напишите, какой тип у (+)

источник

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

Misha Puzanov in Haskell

о!
супер, спасибо

источник

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

XÆA-XII in Haskell

+ :: MExpr a b -> MExpr a b -> MExpr a b

источник

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

Jerzy Syrowiecki in Haskell

правильно, а какой тип у Sum?

источник

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

XÆA-XII in Haskell

a -> b -> MExpr a b

источник

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

Jerzy Syrowiecki in Haskell

вот и несоответствие

источник

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

XÆA-XII in Haskell

источник

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

Jerzy Syrowiecki in Haskell

вот эти два типа разные?

источник

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

XÆA-XII in Haskell

Первый входит во второй

источник

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

Jerzy Syrowiecki in Haskell

нет

источник

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

XÆA-XII in Haskell

Разве a под MExpr не подходит?

источник

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

Jerzy Syrowiecki in Haskell

вот сюда подставьте a = MExpr a1 b1

источник

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

[

[BRM]White Rabbit in Haskell

представим, что a и b у нас MExpr a b
следовательно, тип функции конструктора будет
MExpr a b -> MExpr a b -> MExpr (MExpr a b) (MExpr a b)
а (+) это a -> a -> a

источник

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

XÆA-XII in Haskell

источник

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