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

Size: a a a

Haskell

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

2021 February 16

A64m AL256m qn<co... in Haskell

Vladislav Zavialov

Да понятно, что можно, но с экстеншеном появится в этом актуальность

это и с дупликейт рекорд филдс актуально уже, тем более что альтернативный способ с указанием типа решили запретить

источник

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

Jerzy Syrowiecki in Haskell

зато теперь можно будет разрешить (наверно, ещё одним расширением) поля с именами type, case, data и прочие. NFP/RWC с ними не будет работать, зато c JSON будет легче работать

источник

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

Jerzy Syrowiecki in Haskell

а вот record-dot может и совладать с ними

источник

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

Jerzy Syrowiecki in Haskell

Vladislav Zavialov

Я правильно понимаю, что вместо fld можно будет всегда написать \R{fld}->fld с RecordFieldPuns?

можно чуть проще: (\Rec{..} -> fld)

источник

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

A64m AL256m qn<co... in Haskell

переключателей которые надо повернуть чтоб рекорды использовать все больше и больше

источник

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

Jerzy Syrowiecki in Haskell

GHC2100 нас спасёт

источник

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

Velvet Darkness in Haskell

Обязательно спасёт. Но потом

источник

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

IC Rainbow in Haskell

Jerzy Syrowiecki

можно чуть проще: (\Rec{..} -> fld)

Или fld

источник

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

A64m AL256m qn<co... in Haskell

IC Rainbow

Или fld

речь про экстеншон который это запрещает как раз

источник

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

Jerzy Syrowiecki in Haskell

IC Rainbow

Или fld

это неудобный способ для полей с удобными именами

источник

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

Kirill Valyavin in Haskell

NoFieldSelectors влияют на скорость компиляции?

источник

15:36пожаловаться #11

Jerzy Syrowiecki in Haskell

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

источник

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

кана in Haskell

Kirill Valyavin

NoFieldSelectors влияют на скорость компиляции?

да, кстати, может

источник

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

кана in Haskell

насколько я знаю, сейчас на каждый селектор генерируется вот такой код

data X = X { a, b, c :: Int }

a :: X -> Int
a x =
case x of
X { a = a, b = b, c = c } -> a
b :: X -> Int
b x =
case x of
X { a = a, b = b, c = c } -> b
c :: X -> Int
c x =
case x of
X { a = a, b = b, c = c } -> c

источник

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

кана in Haskell

и это квадратично увеличивает количество термов для больших рекордов в корке

источник

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

Kirill Valyavin in Haskell

Понятия не имею почему, но я читал, что при компиляции рекордов какая-то плохая асимптотика по полям, мб это поможет

источник

15:40пожаловаться #16

Kirill Valyavin in Haskell

кана

и это квадратично увеличивает количество термов для больших рекордов в корке

Похоже, да

источник

15:40пожаловаться #17

кана in Haskell

поэтому вот эту штуку пилят сейчас - https://github.com/well-typed/large-records

GitHub

well-typed/large-records

Library to support efficient compilation of large records (linear in the number of record fields) - well-typed/large-records

источник

15:40пожаловаться #18

Kirill Valyavin in Haskell

Будем надеяться

источник

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

Velvet Darkness in Haskell

Когда-то давно один тимлид на вопрос "как оптимизировать что-то там" считал верным ответ "уменьшать n", а не "улучшать асимптоту", как считал я и я его за это считал наркоманом.

источник

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