Size: a a a

2020 November 25

AV

Alexander Vershilov in Haskell
Вот такую штуку никак вроде не реализуешь без своей логики
источник

AR

Alexey Raga in Haskell
Alexander Vershilov
я уже писал про монорепу?
Ну у нас же крайности. То монорепа, то давайте монорепу разберём (ура!) но и борды разные будут (бууу!)
источник

AV

Alexander Vershilov in Haskell
Мы в итоге разделяем проекты по связанных по циклам релизов
источник

AV

Alexander Vershilov in Haskell
Если вместе обновляются и депоятся, то в одной репе, если нет, то в разных. Вроде как лучше всего срабатывает
источник

AV

Alexander Vershilov in Haskell
А вообще после чтения книжки по SRE гугловой я стал более скептически относиться к подходам гугла
источник

AV

Alexander Vershilov in Haskell
Это зачастую не работает если у тебя не сравнимый размер
источник

AA

A64m AL256m qn<co... in Haskell
Roman
у кого-нибудь есть GHC не 8.10.2 под рукой? Вот этот код выдает ошибку:

type family Foo k (a :: k) :: * where
   Foo * a = a


?
* Expected a type, but `a' has kind `k'
   * In the type `a'
     In the type family declaration for `Foo'
     NB: Type `Foo' was inferred to use visible dependent quantification.
     Most types with visible dependent quantification are
     polymorphically recursive and need a standalone kind
     signature. Perhaps supply one, with StandaloneKindSignatures.
источник

R

Roman in Haskell
A64m AL256m qn I0
* Expected a type, but `a' has kind `k'
   * In the type `a'
     In the type family declaration for `Foo'
     NB: Type `Foo' was inferred to use visible dependent quantification.
     Most types with visible dependent quantification are
     polymorphically recursive and need a standalone kind
     signature. Perhaps supply one, with StandaloneKindSignatures.
это какой GHC?
источник

AA

A64m AL256m qn<co... in Haskell
8.10.2
источник

AA

A64m AL256m qn<co... in Haskell
а,
источник

R

Roman in Haskell
а есть не 8.10.2?
источник

AA

A64m AL256m qn<co... in Haskell
чет я не не увидел
источник

R

Roman in Haskell
этот код вообще должен работать?
источник

R

Roman in Haskell
я чет думал в хаскеле нормальные зависимые кайнды
источник

R

Roman in Haskell
а тут такое
источник

R

Roman in Haskell
ну или я очень сильно туплю
источник

AA

A64m AL256m qn<co... in Haskell
в 8.8 все ок
источник

AA

A64m AL256m qn<co... in Haskell
это из-за звездоборьбы же
источник

R

Roman in Haskell
я пытался заменить на Type
источник

R

Roman in Haskell
не помогло
источник