Телеграмм чат группы haskell

Size: a a a

Haskell Start

2020 December 26

Andrei Yangabishev

я в типах разобраться не могу. Я правильно понимаю что f определяется как let f = traceShow in f, т.е. f это функция, фактически синоним traceShow?

f определяется через traceShow, да, но это не синонимы

источник

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

Jerzy Syrowiecki in Haskell Start

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

источник

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

кана in Haskell Start

Andrei Yangabishev

f :: Int -> Int -> Int
f x y =
  let p :: (Int, Int)
      p = (x, y)
      s :: Int
      s = x + y 
   in (traceShow p s :: Int)

если Int взять за тип

источник

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

Andrei Yangabishev in Haskell Start

а, блин, f это функция с двумя аргументами x и y, которая протягивает кортеж в консоль, выдавая сумму как итог. блин, в доке на traceShow в примере не написано что f :: Num a => a -> a -> a

источник

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

Andrei Yangabishev in Haskell Start

Jerzy Syrowiecki

кажется, этот вопрос пора уносить в FAQ

Что-то FAQ найти не могу, в закрепе какой-то AdventCode, на ruhs.org по FAQ ничего не ищется. Плохо ищу? Забугорный какой-нибудь FAQ, не чаточный наверное?

источник

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

кана in Haskell Start

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

нажми еще раз на закреп

источник

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

Jerzy Syrowiecki in Haskell Start

Andrei Yangabishev

во втором закрепе вики

источник

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

Andrei Yangabishev in Haskell Start