haskell-jp / mokumoku-online #46

t-shibata
2022-08-14 18:36:51 +0900
目標章まで読めましたが少し内容が怪しいので読み返したいと思います。
t-shibata
2022-08-21 13:07:54 +0900
こんにちは、s-taigaです。
Category Theory for Programmersのpart 2を読み返しつつ、簡単にまとめを行おうと思います。
余力があったらpart 3も読み進めたいです。
igrep
2022-08-21 13:13:46 +0900
山本悠滋です。昼寝で寝坊しちゃいました。
お昼ご飯を食べたりしてからですが、いつもどおりmakeMistakesToLearnHaskellの続きを少しやり、cabal replの件を進めます。
2022-08-21 13:15:47 +0900
こんにちは、t-uchidaです。久しぶりに参加します。
https://matsubara0507.github.io/posts/2017-12-02-re-adventar-slack-bot-part1.html
↑のようなアプリを作りたいので、設計していこうと思います。気分転換にAtCoderやってるかもしれません。
karoyakani
2022-08-21 13:17:59 +0900
"Category Theory for Programmers," Bartosz Milewski, (Lulu), Part Three, Ch. 19 Free/Forgetful Adjunctions
shiratori
2022-08-21 15:51:58 +0900
遅れて参加させていただきます。　の3.5章をやろうと思います
t-shibata
2022-08-21 18:04:02 +0900
全体的に内容再確認したものの米田の補題の証明が腹落ちせずにもやもやしたまま終わりました。
もうちょっといろいろ考えてみようと思います。
igrep
2022-08-21 18:06:35 +0900
今週もmakeMistakesToLearnHaskellの続きだけで終わってしまいました。cabal replの件は延長戦で！
https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/2a530834621d3c1f5b4ab1af817f9d1515df0aa0
shiratori
2022-08-21 18:15:16 +0900
Gマシンに再帰なしlet式を追加しました。このまま再帰ありlet式の実装までやってしまおうと思います。
2022-08-21 18:15:39 +0900
およそ構成は決めました（といっても、元記事とほとんど変わりませんが・・・）。
永続化の部分は（勉強もかねて）RDBにするつもりで、HRRのドキュメントを読んだりチュートリアルを試しています。
（要件にもよると思いますが）今どきだと、RDBを触るためのライブラリはどんなものが定番なんでしょうか？
igrep
2022-08-21 18:35:40 +0900
RDB扱うライブラリー悩ましいですね。自分も知り合いが作者だったり一時改修のためにソースコードの大半を読んだ経験があったり、なんて事情があるからHRRを選んでしまいますがドキュメントがあまり親切じゃなかったり使い勝手が悪いところがあったりしてつらいんですよね... :cold_sweat:
igrep
2022-08-21 18:40:34 +0900
比較的情報があるのであればpersistentとか、あとはesqueltoやseldaとかも有名かなぁ。
t-shibata
2022-08-28 13:07:28 +0900
こんにちは、s-taigaです。
Category Theory for Programmersのpart 3. It’s All About Morphismsを読んでいきます。
igrep
2022-08-28 13:29:07 +0900
山本悠滋です。出先から今帰ったところでこれからお昼ご飯ですので、その後いつもどおりmakeMistakesToLearnHaskellの続きと、cabal replの件をやります。
y_taka_23
2022-08-28 13:48:36 +0900
チェシャ猫です。前に途中になっていた Gloss 使ったプログラムを読みながら思い出しつつぼちぼち進めます。
igrep
2022-08-28 15:09:44 +0900
今日は最近はまっているハッカー飯のルーム https://hackermeshi.com/rooms/%E7%9C%A0%E3%82%89%E3%81%AC%E3%81%9F%E3%82%81%E3%81%AE[…]8%A6%97%E3%81%84%E3%81%A6%E3%81%8F%E3%81%A0%E3%81%95%E3%81%84 で作業通話してます。
（ハッカー飯に登録してない人からはどう見えるんだろう）
t-shibata
2022-08-28 18:05:39 +0900
目標章まで読み進めました。
また、読み終えたところで以前質問したlimitが存在することとconeとhom-setがnatural isomorphismであることが同値であることの証明を導いてみました。
自信がないのでまとめてみて再度質問してみたいと思っています。
y_taka_23
2022-08-28 18:08:16 +0900
あんまり進まなかったけどとりあえず過去書いていた内容は思い出しました。タイミングを失っているのでどこかの段階でリファクタリングしたい。
igrep
2022-08-28 18:12:32 +0900
こちら https://twitter.com/igrep/status/1563787883164860418 と、cabal configureが行っている、.cabalファイルの読み込み処理を切り出すところをやってました。
igrep
2022-08-28 18:16:23 +0900
運悪くcabalパッケージ全体のリビルドを2回もすることになって時間がかかって辛い :cold_sweat:
igrep
2022-09-03 13:01:30 +0900
山本悠滋です。いつもどおりmakeMistakesToLearnHaskellの続きと、cabal replの件をやります。でもその前に昼寝かなぁ
karoyakani
2022-09-03 13:08:34 +0900
"Category Theory for Programmers," Bartosz Milewski, (Lulu), Part Three, Ch. 20 Monads: Programmer’s Definition
y_taka_23
2022-09-03 13:28:59 +0900
チェシャ猫です。前回の Gloss の続きで、意図しない挙動をしていて原因がわからないので、前提として雑にデバッグを挟めるように書き換えていこうと思います。
igrep
2022-09-03 18:02:51 +0900
makeMistakesToLearnHaskellについて: https://twitter.com/igrep/status/1565944748216844288
cabal replの件について: またcabalのソースで迷子になってました。どうやってconfigを設定してるんや :weary:
y_taka_23
2022-09-03 18:04:00 +0900
とりあえず雑に Debug.Trace を入れて、バグは発見・修正できました。これでちょっと進んだのでやっと表示部分に移れる。
t-shibata
2022-09-11 13:04:35 +0900
こんにちは、s-taigaです。
Category Theory for Programmersのpart 3. Adjunctionsを読んでいきます。
igrep
2022-09-11 13:23:17 +0900
山本悠滋です！今まで外出していたのでお昼を食べてからですが、Haskell-jp Admins解散の件で記事を書いたり、Herokuの無料プラン存続に向けてメールを書いたり、後はいつもどおりcabal replの件やmakeMistakesToLearnHaskellをやります。
igrep
2022-09-11 18:03:01 +0900
Haskell-jp Admins解散の件で記事を書いてましたがあまり筆が進まず。ちょっとだけmakeMistakesToLearnHaskellも進めました。
t-shibata
2022-09-11 18:16:12 +0900
該当記事読み終えましたが、内容怪しいので読み返そうと思います。
karoyakani
2022-09-18 13:21:05 +0900
"Category Theory for Programmers," Bartosz Milewski, (Lulu), Part Three, Ch. 21 Monads and Effects
t-shibata
2022-09-18 13:21:18 +0900
こんにちは、s-taigaです。
Category Theory for Programmersのpart 3. Free Monoid from Adjunctionを読んでいきます。
y_taka_23
2022-09-18 13:34:48 +0900
チェシャ猫です。前回の続きで Gloss をやります。
igrep
2022-09-18 14:07:27 +0900
山本悠滋です。外出が長引いてやっとお昼ご飯です。いつもどおりmakeMistakesToLearnHaskellをやった後、haskell.jpのドメインの移管や、wiki.haskell.jpの移行、cabal replの件などをやれるだけやります。
igrep
2022-09-18 18:07:24 +0900
haskell.jpのドメインの移管手続きを少し。
https://github.com/haskell-jp/blog/pull/217 をマージして記事を公開しました。あと、定款の修正もやりました。
あとHaskell全然関係なくて恐縮ですがふと思い出したので自作プログラミング言語のバグ修正をしてました。
makeMistakesToLearnHaskellは今進めてます。
y_taka_23
2022-09-18 18:09:17 +0900
バイナリ読んで画像出すところまで進みました。
t-shibata
2022-09-18 18:11:52 +0900
目標章と次の章Monads: Programmer’s Definitionまで読み進めました。
目標章の主題だったfree functorについてものはなんとなくわかったのですが、以前ネットで見かけたFreeモナドが任意のデータ型をモナドにできるというのとどう結びつくかがよくわかっていないです。
今度じっくり考えてみようと思います。
t-shibata
2022-09-25 13:03:31 +0900
こんにちは、s-taigaです。
Category Theory for Programmersのpart 3.Monads and Effectsを読んでいきます。
karoyakani
2022-09-25 13:09:08 +0900
"Category Theory for Programmers," Bartosz Milewski, (Lulu), Part Three, Ch. 22 Monads Categorically