viercc
さんがブースト
Using a set of 5 sine waves you can generate a quasiperiodic structure:
\[ f(x,y)=\sum_{i=0}^5 \sin(\cos(2\pi i/5 )x+\sin(2\pi i/5 )y)\]
Note that f has 5-fold rotational symmetry. Coloring all points with f(x,y)>0 in white, and the others in black, we get this:
[ANN] 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!
11月なのに外気28℃室温30℃はおかしくない・・・？
あーでもrecursion-schemesとかprofunctorsなんかも当初はそうかなぁ
freeはどうだろ
こういう"just because I can"としか言えないパッケージってHackageに上げていいのか迷う
これすごい便利
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 が一番なのかなぁ
try-catch みたいな高階のエフェクトを扱うエフェクトシステムについては、正直言うと理解がいまいち出来てなくてスルーしてきたんですよね
ただそろそろちゃんと理解せんといかんなと思い・・・
Haskellのドキュメント内で「あれとこれが同型である」ということを記号的に書きたいときに、`~`が型のEqualityに取られているせいで適当な記号がない問題が生じる
自然言語で書くしかないのか
ついでにCoercibleにも適当な記号がない
後方互換性のために`=`が使えない事情もわかるが
「この入力に対してはエラーであるべき」というテスト、実際かなーり大切なんだけど書くのがひたすら面倒
コンテナの圏Contが引き戻しを持つことが示せた！次はMonoid(Cont, ⊗, 1)が引き戻しを持つこと！
- Reddit, Twitter, GitHub
- Koji Miyazato (viercc)
- OpenPGP
- openpgp4fpr:B2E1DC9AF16599BD2D873A227BABC58075EC4EE6
Interest: programming, mathematics
Mainly Haskell.
2022年 12月 に登録
