viercc @monoid_patchwork@fedibird.com

[ANN] functor-monad-0.1.1.0

https://hackage.haskell.org/package/functor-monad-0.1.1.0

[ANN] auto-lift-classes-1.1

Have you ever needed to define a Show1 or Read1 instance? They are derivable!

https://hackage.haskell.org/package/auto-lift-classes-1.1

How many instances are there?

https://github.com/viercc/monad-gen/blob/196e2acc0b152e9459d32c437460f9925d0e98b5/Monad(2,2).md

11月なのに外気28℃室温30℃はおかしくない・・・？

あーでもrecursion-schemesとかprofunctorsなんかも当初はそうかなぁ
freeはどうだろ

こういう"just because I can"としか言えないパッケージってHackageに上げていいのか迷う

https://github.com/viercc/functor-monad/tree/main/day-comonoid

これすごい便利

cabal haddock-project

cabal-install 3.10.1から入った実験的な機能

https://cabal.readthedocs.io/en/3.10/cabal-commands.html#cabal-haddock-project

壊れたほうはジャンクとして貰おう
故障箇所がぜんぜん切り分けできなかったけど少なくともメモリと箱は使える

家族用PC買わなきゃいけないな
Office抜きで80kyenぐらいか、もうちょっと出してもらうか

近所に落雷した後、家族用のPCが2日に一回はハングするんだよね
ブルースクリーンとかじゃなくて

Ubuntuか何かUSBから起動してみればハードウェア故障かどうかの切り分けができるかも

正面からこの問題に取り組んでるライブラリとしては fused-effects が一番なのかなぁ

https://hackage.haskell.org/package/fused-effects

try-catch みたいな高階のエフェクトを扱うエフェクトシステムについては、正直言うと理解がいまいち出来てなくてスルーしてきたんですよね
ただそろそろちゃんと理解せんといかんなと思い・・・

https://www.cs.ox.ac.uk/publications/publication8765-abstract.html

Haskellのドキュメント内で「あれとこれが同型である」ということを記号的に書きたいときに、`~`が型のEqualityに取られているせいで適当な記号がない問題が生じる
自然言語で書くしかないのか

ついでにCoercibleにも適当な記号がない

後方互換性のために`=`が使えない事情もわかるが

「この入力に対してはエラーであるべき」というテスト、実際かなーり大切なんだけど書くのがひたすら面倒

コンテナの圏Contが引き戻しを持つことが示せた！次はMonoid(Cont, ⊗, 1)が引き戻しを持つこと！

NonEmptyのComonadインスタンスと整合するComonadApplyインスタンス、多分`(<@>) = zipWith id`以外にもある？

```haskell
[x1, x2, ..., xn] <@> [y1, y2, ..., ym] = [x1 y1, x2 y1, ..., xn y1, xn y2, ..., xn ym]
```

的な定義でいけそうな気がする