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

type circle = {x: float; y : float; radius: float}
type rectangle = {x: float; y : float; width: float; height: float}
type shape = Circle of circle | Rectangle of rectangle

У самих circle и rectangle нет конструктора, а shape надо сперва сматчить, чтобы получить доступ к полям

источник

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

Yuuri in Haskell

Можно заинлайнить:

type shape = Circle of {x: float; y : float; radius: float} | Rectangle of {x: float; y : float; width: float; height: float}

источник

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

Jerzy Syrowiecki in Haskell

NoFieldSelectors? вошло в 9.2, где-то через полгода приземлится. уже можно экспериментировать через ghc-head, если я не ошибаюсь

источник

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

Maxim Koltsov in Haskell

только вот на 9 полмира не собирается

источник

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

Jerzy Syrowiecki in Haskell

безымянные структурки? у нас тоже можно через библиотеки и немножко больше синтаксического перца

источник

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

Yuuri in Haskell

Множко :(

источник

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

Kirill Valyavin in Haskell

Я бы за синтаксис не беспокоился, там всегда можно навернуть TH и будет более-менее
А вот производительность может долбануть по башке

источник

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

Yuuri in Haskell

И это тоже!

источник

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

Aleksey Kislitsa in Haskell

А вообще рекорды с кучей полей это не антипаттерн в ФП? Даже в ООП класс с кучей членов это антипаттерн вроде как, типа как в структурном программировании процедура на сотни строк

источник

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

Yuuri in Haskell

А что считать кучей? Штук 8 — это куча?

источник

11:07пожаловаться #13

Kirill Valyavin in Haskell

А что делать, если в предметной области просто такие жирные сущности? Искусственно разбивать на части?

источник

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

Aleksey Kislitsa in Haskell

А это контекстно зависимое понятие.
Но я имел что то типа мешающее рассматривать сущность как черный ящик и требующее учитывать его внутренности