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

надо найти время перечитать это
https://downloads.haskell.org/ghc/latest/docs/html/users_guide/flags.html

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

как

data Sh where
    Sh :: Show a => a -> Sh

Sh 2

представлен в хипе

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

а что такое /3, /1, /2 ?

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

теги указателей

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

а почему они разные если все три на одинаковый FUN_STATIC указывают?

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

не на одинаковый же

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

у первой функции три параметра, у второй один, у третьей 2

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

а, ясно

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

class Show a where
  showsPrec :: Int -> a -> ShowS
  show :: a -> String
  showList :: [a] -> ShowS

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

интересно

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

почему не 3 2 2

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

а откуда вообще 2 в третьем случае?

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

кана in Haskell

[a] -> String -> String
потому что

type ShowS = String -> String

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

кана in Haskell

A64m AL256m qn I0

почему не 3 2 2

а вот почему show должен быть 2 не ясно

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

а, ShowS...

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

ок

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

ЗП

я думаю возвращаемый тип не должен учитываться

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

ЗП

это же не аргумент уже

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

ЗП

так что все ок с 3 1 2

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

кана in Haskell

не понял, showsPrec это 3 как раз потому что ShowS раскрывается в функцию, это не возвращаемый тип