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

Size: a a a

Haskell

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

2020 May 12

A64m AL256m qn<co... in Haskell

Alexander Vershilov

Это что за жуть?

ORF

источник

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

Alexander Vershilov in Haskell

а оно только если вкючено всё портит?

источник

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

A64m AL256m qn<co... in Haskell

нет

источник

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

A64m AL256m qn<co... in Haskell

орф же вообще не включается, он всегда

источник

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

Alexander Vershilov in Haskell

Я готов на +400% в этом случае, если мне задонятят новый комп и кластер

источник

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

Leonid 🦇 Onokhov in Haskell

class HasField x r a | x r -> a where
  hasField :: r -> (a -> r, a)

Как же горит

источник

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

A64m AL256m qn<co... in Haskell

ну там для рекорда с бразиллионом полей бразиллион функций генерится

источник

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

Leonid 🦇 Onokhov in Haskell

надо на стул класть пакет со льдом

источник

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

A64m AL256m qn<co... in Haskell

стоило 30 лет сидеть без рекордов, избегая успеха любой ценой, чтоб потом сделать говнище, которое можно было бы и на 20 лет раньше сделать, может и получше еще

источник

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

A64m AL256m qn<co... in Haskell

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

источник

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

кана in Haskell

Leonid 🦇 Onokhov

class HasField x r a | x r -> a where
  hasField :: r -> (a -> r, a)

Как же горит

хм, ток сейчас понял, это если поле имеет полиморфный тип и встречается только в одном поле, то его так никак не изменить на другой значение другого типа

источник

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

A64m AL256m qn<co... in Haskell

кана

митчеллу ЖЕНЕРИКИ НИНУЖНЫ

источник

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

Leonid 🦇 Onokhov in Haskell

только и можете что ругать чужую работу. Где ваш пропозал?

источник

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

кана in Haskell

нужно

class HasField x s t a b | x s -> a, x a -> s, x t -> b, x b -> t where
  hasField :: s -> (b -> t, a)

источник

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

кана in Haskell

ну и в итоге получаем

class HasField x s t a b | x s -> a, x a -> s, x t -> b, x b -> t where
  field :: Lens s t a b

источник

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

Kirill Valyavin in Haskell

Симметрично и понятно

источник

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

A64m AL256m qn<co... in Haskell

кана

ну и в итоге получаем

class HasField x s t a b | x s -> a, x a -> s, x t -> b, x b -> t where
  field :: Lens s t a b

полиморфные апдейты при обсуждении пропозала предлагали кончено, но этим академикам там быстро пояснили, что ЖЕНЕРИКИ НИНУЖНЫ

источник

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

Antonio in Haskell

> for now you'll have to do something like

let r = ((val
      ).lengthyFieldName1
      ).lengthyFieldName2

прелестно

источник

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

A64m AL256m qn<co... in Haskell

Antonio

> for now you'll have to do something like

let r = ((val
      ).lengthyFieldName1
      ).lengthyFieldName2

прелестно

после того как это говнище зарелизят - будет вопрос от новичков номер один во всех чатиках "а че я переношу вызов метода на новую строку и ниче не конпелируецо?"

источник

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

Alexander Vershilov in Haskell

это академические новички какие-то

источник

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