В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Haskell

1577 membersпожаловаться на группу
2021 April 06

JS

Jerzy Syrowiecki in Haskell
Simon Peyton Jones @simonpj · 6 months ago
Developer

Yes, currently this behaviour is by-design --- it's not a bug. Given
A data type T
A record field name f then (e :: T).f should have just one type -- the type of the field f in data type T. I don't think we have any plans -- or even motivation -- to change this design, which seems quite reasonable to me.

https://gitlab.haskell.org/ghc/ghc/-/issues/18737#note_301827
GitLab
DuplicateRecordFields for different constructors in one type (#18737) · Issues · Glasgow Haskell Compiler / GHC
Summary DuplicateRecordFields doesn't work for different constructors in the same data type as well as it works for different types.
источник
23:15пожаловаться#1

A

Aleksandr Khristenko in Haskell
That's true, I think it would be reasonable to permit such datatype declarations if you dropped record selection/update/HasField and supported construction and pattern-matching only. It needs a new ghc-proposal though, and I don't currently see a strong motivation for it when you could just use distinct names.
источник
23:18пожаловаться#2

AA

A64m AL256m qn<co... in Haskell
с тех пор, кстати, стал ожидаться пропозал гендри с полиморфным хэзфилдом
источник
23:19пожаловаться#3

AA

A64m AL256m qn<co... in Haskell
так что если кому это важно, может будет возможность это пропихнуть
источник
23:19пожаловаться#4

A

Aleksandr Khristenko in Haskell
Не, я решил что я в таких случаях типы суммы просто как теги использую, а внутри  уже другой тип с данными
источник
23:21пожаловаться#5
2021 April 07

ЖК

Жук Короед in Haskell
Думаю я понял, почему в pandoc нет walkA.
Потому что многие Walkable типы рекурсивны (например Inline), а функцию Applicative f => (a -> f a) -> a -> f a для рекурсивного типа a вроде как не сделаешь, чтобы a -> f a применилось к a на всех уровнях.
источник
08:56пожаловаться#6

AK

Aleksey Kislitsa in Haskell
Вроде делали рекурсивный Applicative для дерева к примеру. Другое дело что это в плане эффективности
источник
09:51пожаловаться#7

а

а это кто in Haskell
Applicative f => (a -> f a) -> a -> f a
Можно обобщить до
(a -> b) -> a -> b

Другое дело что a должно быть Foldable
источник
09:59пожаловаться#8

а

а это кто in Haskell
иначе как по нему проходить
источник
10:00пожаловаться#9

[

[BRM]White Rabbit in Haskell
спам-атака?
источник
10:33пожаловаться#10

ЖК

Жук Короед in Haskell
Окей.

data Foo = Next Int Foo | Stop

foo :: Applicative f => (Foo -> f Foo) -> Foo -> f Foo
foo f Stop = f Stop
foo f (Next x xs) = g f (foo f xs)
   where
   g :: Applicative f => (a -> f b) -> f a -> f b
   g = error "applicative has no 'bind' method"
источник
11:13пожаловаться#11

Y

Yuuri in Haskell
Типы не сходятся же
источник
11:30пожаловаться#12

Y

Yuuri in Haskell
И вообще если слева f a, а справа a, то это должен быть скорее CoApplicative (`Theoretical`?), который умеет dirty :: f a -> a 🤔
источник
11:32пожаловаться#13

ЖК

Жук Короед in Haskell
А, извиняюсь. Очепятка. Ща поправлю
источник
11:35пожаловаться#14

ЖК

Жук Короед in Haskell
На выходе f Foo должно быть
источник
11:36пожаловаться#15

ЖК

Жук Короед in Haskell
В Foldable t => t a можно проходить по a, что было бы
(Applicative f, Foldable t) =>
(a -> f a) -> t a -> t (f a)

А речь идет о
Applicative f => (a -> f a) -> a -> f a
где если Foldable t => а ~ t _, то:
(Applicative f, Foldable t) =>
(t a -> f (t a)) -> t a -> f (t a)
источник
11:43пожаловаться#16

[

[BRM]White Rabbit in Haskell
почему после обращения по индексу лист не был вычислен до вида _ : _ : _ : _ : _ : 6 : _ ???
источник
12:12пожаловаться#17

[

[BRM]White Rabbit in Haskell
Вопрос закрыт, это в принципе не работает
источник
12:18пожаловаться#18

к

кана in Haskell
работает
источник
12:18пожаловаться#19

к

кана in Haskell
у тебя просто полиморфный тип
источник
12:19пожаловаться#20