VY
Size: a a a
2019 January 13
VS
Оптимизм появился, это хорошо.
KV
а там все пишут на английском, официальные доки же, т.е. я говорю о том, чтобы помогать этой группе людей актуализировать оф. документацию (там ссылка на репку, где координируется работа). можно , конечно просто переводить на русский за ними, но мне кажется это не имеет большого смысла%)
Можно переводить с русского на английский
KV
Лучше, чем ничего
2019 January 14
VY
https://github.com/justinwoo/easy-purescript-nix - оч удобно у кого nix, все в одном месте
2019 January 18
VY
интересно как реализовать
Show в случае чего-то такогоimport Matryoshka (class Corecursive, Algebra, embed)
-- | Formula expression.
data FormulaF a
= FooF (Intersection a)
| BarF (Intersection a)
-- ...
| LiteralF String
derive instance functorFormulaF ∷ Functor FormulaF
type Formula = Mu FormulaF
type FormulaAlgebra a = Algebra FormulaF a
derive instance genericFormulaF ∷ Generic FormulaF _
instance showFormulaF ∷ Show a ⇒ Show (FormulaF a) where
show = genericShow
VY
derive instance genericFormulaF ∷ Generic (FormulaF a) _так должно быть ^
VY
не уверен, что понимаю как это работает
VY
т.е.
eq1 для f значит, что если определено равенство для элементов f, то и для f оно определено.KV
Что не так?
VY
не могу понять почему это работает, просто случайно сейчас обратил на это внимание
class Eq a where
eq :: a -> a -> Boolean
class Eq1 f where
eq1 :: forall a. Eq a => f a -> f a -> Boolean
KV
Там же написана сигнатура. "Если для любого типа а с равенством есть функция f a -> f a -> Boolean, то f - тип с равенством1"
KV
Непонятно, почему можно написать eq1 = eq? Или что?
VY
да... как-то не могу осознать это почему-то щас, хотя когда давно кажется интересовался что такое
eq1, не понимаю просто что написано в инстансе для ArrayKV
Хороший вопрос, вообще-то. Видимо, для любого а уже где-то определен инстанс Eq (Array a), и он тут используется
KV
Ну да, так и есть, в Data.Eq.purs
VY
instance eqArray :: Eq a => Eq (Array a) where
eq = eqArrayImpl eq
ага