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

Size: a a a

Haskell

1621 membersпожаловаться на группу

2021 February 08

Oℕ

Oleg ℕizhnik in Haskell

функция в тайп уже не открытая тайпфемели

источник

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

Oℕ

Oleg ℕizhnik in Haskell

а закрытые можно и в скале делать

источник

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

кана in Haskell

ну, да, это вообще не тайпфемели

class X a where
t :: Type
f :: a -> t

t :: X a => Type

instance X Int where
t = String
f = show

instance X String where
t = (String, String)
f x = (x, x)

источник

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

parket in Haskell

Скажите, а как это Sandy Maguire так делает?

https://reasonablypolymorphic.com/some1-like-you/#/step-46 (и 47 слайд тоже)

GHC 8.4.4:
https://www.ideone.com/xSqkc5

На 8.6.5, 8.10.4 такая же ошибка.

Ideone.com

Ideone is something more than a pastebin; it's an online compiler and debugging tool which allows to compile and run code online in more than 40 programming languages.

источник

17:58пожаловаться #4

кана in Haskell

вот так можно, гадтами

источник

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

кана in Haskell

так чуть лучше

Roman in Haskell

Ideone is something more than a pastebin; it's an online compiler and debugging tool which allows to compile and run code online in more than 40 programming languages.

видимо очередное всратое взаимодействие между фичами (data families и GADTs в данном случае)

источник

18:30пожаловаться #7

Roman in Haskell

Roman

видимо очередное всратое взаимодействие между фичами (data families и GADTs в данном случае)

а хотя нет, гадты-то не особо при чем

источник

18:30пожаловаться #8

кана in Haskell

да этот код даже теоретически работать не должен, там же получается что Sing (a :: Bool) открытый, нельзя матчить по нему

источник

18:32пожаловаться #9

кана in Haskell

поэтому нужно закрыть множество значений гадтом

источник

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

parket in Haskell

кана

Вот в этом и вопрос :) Какая-то черепашка врет.

источник

18:33пожаловаться #11

Roman in Haskell

кана

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

источник

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

parket in Haskell

кана

так чуть лучше

Это, конечно, работает. Спасибо за пример.

https://www.ideone.com/QD1inW

Ideone.com

Ideone is something more than a pastebin; it's an online compiler and debugging tool which allows to compile and run code online in more than 40 programming languages.

источник

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

Vladislav Sabanov in Haskell

jsaddle-dom      > [  2 of 599] Compiling JSDOM.Types
jsaddle-dom      > jsaddle-dom has been building for 1 min (some modules are very large).
jsaddle-dom      > jsaddle-dom has been building for 2 min (some modules are very large).

Что делать, когда stack падает с ошибкой?

Process exited with code: ExitFailure (-9) (THIS MAY INDICATE OUT OF MEMORY)

Но места на жестком достаточно. И оперативка не упирается в потолок. Есть какие-то лимиты в конфиге стака?

источник

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

Maxim Koltsov in Haskell

ты на маке?

источник

19:59пожаловаться #15

Vladislav Sabanov in Haskell

линукс

источник

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

Andrey in Haskell

Vladislav Sabanov

jsaddle-dom      > [  2 of 599] Compiling JSDOM.Types
jsaddle-dom      > jsaddle-dom has been building for 1 min (some modules are very large).
jsaddle-dom      > jsaddle-dom has been building for 2 min (some modules are very large).

Что делать, когда stack падает с ошибкой?

Process exited with code: ExitFailure (-9) (THIS MAY INDICATE OUT OF MEMORY)

Но места на жестком достаточно. И оперативка не упирается в потолок. Есть какие-то лимиты в конфиге стака?

-j1

источник

20:02пожаловаться #17

Andrey in Haskell

попробуй с этим ключом собирать

источник

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

Kirill Valyavin in Haskell

Лучше не собирать jsaddle-dom, он проклят. Взять из никс кэша или типа того

источник

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

Vladislav Sabanov in Haskell

он как зависимость подтягивается.

источник

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