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

что я уже делаю

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

Roman

я вижу такое:

> When OverloadedRecordDot is enabled and RebindableSyntax is not enabled the name 'getField' is resolved to GHC.Records.getField. When OverloadedRecordDot is enabled and RebindableSyntax is enabled the name 'getField' is whatever in-scope name that is.

ну да для геттеров тоже синтаксис ребфйндавбл, как и для всего прочего синтаксиса

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

тут примечательно то, что для сеттеров он ТОЛЬКО ребайндабл пока

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

Roman in Haskell

A64m AL256m qn I0

ну да для геттеров тоже синтаксис ребфйндавбл, как и для всего прочего синтаксиса

ну то есть класс не закардкоржен прям, ты можешь перегрузить getField каким хочешь образом

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

кана

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

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

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

Roman

ну то есть класс не закардкоржен прям, ты можешь перегрузить getField каким хочешь образом

ну как и для всего прочего хаскельного синтаксиса

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

хотя может какие-то исключения есть

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

проблема в том что вся эта перегрузка активируется одним куском для всего

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

Misha Puzanov

тогда пойдет наверное

ну для геттеров получилось, для сеттеров нужно еще чет костылить, чтобы тип выводился, как в generic-lens

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

Kir in Haskell

кана

x { a + 1 } ->
x { a = a x + 1 }

в том числе и вложенные

x { a.b + 1 } ->
x { a = (a x) { b = b (a x) + 1 } }

для любых операторов, в том числе и x{ a `rem` b }

тогда уж x { a.b ~ f }

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

ну, а чем x { a.b ~ f } отличается от x { a.b & f }?

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

Roman in Haskell

A64m AL256m qn I0

проблема в том что вся эта перегрузка активируется одним куском для всего

почему это проблема?

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

Roman

почему это проблема?

иногда хочется оверлоаднуть что-то одно, например ду-синтаксис

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

а получается только сразу все

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

Roman in Haskell

кана

иногда хочется оверлоаднуть что-то одно, например ду-синтаксис

а, я не знал, что оно так работает

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

включаешь ребиндабл синтакс, и нельзя даже строковые литералы использовать, не импортировав Data.String (IsString(..))

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

да, там надо свою прелюду делать

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

вот это полезный был бы пропосал, разнести rebindable syntax на десяток отдельных экстеншенов

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

небось тогда бы его и использовать начали

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

ладно строки

> :set -XRebindableSyntax
> if True then 1 else 2

<interactive>:2:1: error: Not in scope: `ifThenElse'