Size: a a a

2021 April 13

к

кана in Haskell
возможно просто в формолу не смержили этот фикс для ормолу
источник

A

Aleksandr Khristenko in Haskell
или я просто не обновлял давно
источник

JS

Jerzy Syrowiecki in Haskell
зашибись юзабилити. если одного кривого синтаксиса структур было мало, теперь у вас есть два кривых синтаксиса
источник

A

Aleksandr Khristenko in Haskell
Я так понимаю это особенность препроцессора сейчас.
источник

LV

Lisa Vasilenko in Haskell
Класс, спасибо, пошла читать :)
источник

к

кана in Haskell
наверное да, просто чтобы оставить возможность обновлять рекорды, которые не имеют HasField, пока это в сам ghc не завезли
источник

JS

Jerzy Syrowiecki in Haskell
зачем тогда усложнять себе жизнь?
источник

к

кана in Haskell
так "почти делается" это же не "делается"
источник

LV

Lisa Vasilenko in Haskell
Ага, и тут что-то похожее делают, спасибо!
источник

JS

Jerzy Syrowiecki in Haskell
но если ВКР сделана "почти до конца", то диплом всё равно дадут
источник

A

Aleksandr Khristenko in Haskell
Хм, а когда завезут в ghc он будет для всех рекордов генерить HasField/SetField?
источник

IO

I O in Haskell
Кстати по rules, есть какой-нибудь простой способ заставить их смотреть через коершены?

Rule вида f (x :: A) = g x похоже не матчит f (x cast B ~R# A)
источник

AA

A64m AL256m qn<co... in Haskell
нет, пока сетфилд не сделан и они даж не знают пока что будут делать
источник

AA

A64m AL256m qn<co... in Haskell
была имплементация, но ее зарубили из-за тормозов компиляции, так что пока есть и будет зарелизена в 9.2 только синтаксис для генерящихся геттеров и синтаксис для сеттеров, но сеттеры пользователь должен будет как-то сам делать
источник

A

Aleksandr Khristenko in Haskell
Я тут просто пока с препроцессором возился столкнуся со следующим, когда делаем obj {value=5} он вполне может вывести тип пятерки по объекту. А когда делаем obj{value=5} он преобразует это в Z.setField @"value" obj 5 и начинается ругаться, что не может понять какой тип пятерки нам нужен. С overloaded strings та-же фигня.
Т.е. нужно явно типы указывать, неэргономично как-то получается.
источник

[

[BRM]White Rabbit in Haskell
Мне Эйлер нагептал, что таки низзя
источник

[

[BRM]White Rabbit in Haskell
Ты можкшь вместо 1 сделать _
источник

к

кана in Haskell
это уберет информативность
источник

к

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

[

[BRM]White Rabbit in Haskell
Тогда заменить 0 на _

Или читатель не знает, что

15*anything `mod` 15 == 0 ?
источник