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

Size: a a a

Haskell

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

2021 January 11

ЗП

Зигохистоморфный Пре... in Haskell

сделал typelevel rs

источник

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

Danil Berestov in Haskell

Смотрите, какой кек, кто может объснить, чому так?

baz n = (+ n)

foo :: Int -> Int
foo = baz 5

bar :: Float -> Float
bar = baz 5

— ok

baz = (+)

foo :: Int -> Int
foo = baz 5

bar :: Float -> Float
bar = baz 5

—

• Couldn't match type ‘Int’ with ‘Float’
  Expected type: Float -> Float
    Actual type: Int -> Int
• In the expression: baz 5
  In an equation for ‘bar’: bar = baz 5

источник

07:09пожаловаться #2

Kirill Valyavin in Haskell

Danil Berestov

Смотрите, какой кек, кто может объснить, чому так?

baz n = (+ n)

foo :: Int -> Int
foo = baz 5

bar :: Float -> Float
bar = baz 5

— ok

baz = (+)

foo :: Int -> Int
foo = baz 5

bar :: Float -> Float
bar = baz 5

—

• Couldn't match type ‘Int’ with ‘Float’
  Expected type: Float -> Float
    Actual type: Int -> Int
• In the expression: baz 5
  In an equation for ‘bar’: bar = baz 5

monomorphism restriction

источник

08:03пожаловаться #3

Danil Berestov in Haskell

Kirill Valyavin

monomorphism restriction

Ну что оно существует, я знаю. Почему такая неочевидная грань между тем, где он есть и где его нет?)

источник

08:04пожаловаться #4

Kirill Valyavin in Haskell

Danil Berestov

Ну что оно существует, я знаю. Почему такая неочевидная грань между тем, где он есть и где его нет?)

Грань такая, как комилятор биндит определение, как функцию или как значение

источник

08:17пожаловаться #5

Kirill Valyavin in Haskell

На baz n = оно смотрит как на функцию, потому что есть аргумент
baz = \n -> уже нет

источник

08:23пожаловаться #6

Jerzy Syrowiecki in Haskell

Kirill Valyavin

Грань такая, как комилятор биндит определение, как функцию или как значение

казалось бы, в ФП должно быть всё едино

источник

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

Kirill Valyavin in Haskell

Jerzy Syrowiecki

казалось бы, в ФП должно быть всё едино

Программисты виноваты. То им компилируется долго, то в рантайме тормозит

источник

08:50пожаловаться #8

Nick Ivanych in Haskell

A64m AL256m qn I0

кстати, вот, я сам большой любитель советовать A побольше, но хлс это программа которая во множестве экземпляров часто запущена, у меня их больше десяти одновременно получается часто.
и мне вот интересно сколько начинающих хаскелистов офигевает от того, что там сходу (128 * N) * k + 128 = полтора-два гига при N = 8 и 1 < k < 2
только из за A128m

Думаю, что уже немного.
У большинства уже хотябы 16 гигов на машине есть, я думаю.

источник

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

A64m AL256m qn<co... in Haskell

Nick Ivanych

Думаю, что уже немного.
У большинства уже хотябы 16 гигов на машине есть, я думаю.

ну на 16гб несколько полуторагиговых процессов которые могли бы может раз в 10 меньше занимать - это ужас же

источник

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

Nick Ivanych in Haskell

A64m AL256m qn I0

ну на 16гб несколько полуторагиговых процессов которые могли бы может раз в 10 меньше занимать - это ужас же