haskell-jp / mokumoku-online #45

karoyakani
2022-07-03 13:05:29 +0900
"Category Theory for Programmers," Bartosz Milewski, (Lulu), Part Two, Ch. 12 Limits and Colimits
igrep
2022-07-03 18:07:09 +0900
お腹が痛くてあまり進める気が起きず、makeMistakesToLearnHaskellだけをここまで。
タイプセーフプリキュアはこの後延長戦で！
https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/6a06999a621ae348c60b985daae6a44f7925bfe0
igrep
2022-07-09 13:02:29 +0900
明日の選挙のことを考えつつ、makeMistakesToLearnHaskellの続きと、cabal replの件をやります。
karoyakani
2022-07-09 13:08:09 +0900
CodeChef / July Long One 2022 Division 2 やります　半日の出遅れだけど　まあ　気楽にやろう
a5ob7r
2022-07-09 13:15:51 +0900
ものすごく久し振りに参加します。Haskellで競プロの問題を問いてみようと思います。
igrep
2022-07-09 13:40:43 +0900
今日はDiscordのボイスチャットの方にいるので気が向いたら入ってきてください。
https://discord.gg/eQhxJFSkBA
igrep
2022-07-09 18:04:31 +0900
makeMistakesToLearnHaskellをだらだらと書いていたら終わりました。コミットはまだ！
投票する候補はおおよそ決まりました。
... Replies ...
a5ob7r
2022-07-09 18:11:38 +0900
競プロの問題を1問解いて1問はWIPというところでした。あとは、提出先で使えるライブラリを調べて、その環境構築もしてました。
igrep
2022-07-16 13:07:29 +0900
今日は所用あってちょっとだけmakeMistakesToLearnHaskellの続きを進めます。
karoyakani
2022-07-16 13:07:52 +0900
"Category Theory for Programmers," Bartosz Milewski, (Lulu), Part Two, Ch. 14 Representable Functors
igrep
2022-07-16 18:10:57 +0900
今日はここまで。課題15のこれまで書いたところを微修正したりしてました。
https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/611074c6a782753ad129288a9743df9bd28a0027
karoyakani
2022-07-24 13:09:34 +0900
"Category Theory for Programmers," Bartosz Milewski, (Lulu), Part Two, Ch. 16 Yoneda Embedding
igrep
2022-07-24 13:13:53 +0900
今日は出先からになってしまったので電車の中でだけmakeMistakesToLearnHaskellの続きをやります。
gksato
2022-07-24 13:40:09 +0900
お久しぶりです。拙作atcoder用libraryをちょろちょろ書きます。
igrep
2022-07-24 18:03:34 +0900
予告通りmakeMistakesToLearnHaskellを進めてました。for_関数の紹介が主な進捗。
igrep
2022-07-30 13:07:29 +0900
今日は、makeMistakesToLearnHaskellの続きは午前中に少し書いたここまで https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/40b5d4306495822306eda86c17c75c520ca36f0f にしておいて、cabal replの件に集中します。
GHC 9.4以降が十分に普及すると本件の意義がなくなるので、早くリリースしないと！
karoyakani
2022-07-30 13:33:45 +0900
"Category Theory for Programmers," Bartosz Milewski, (Lulu), Part Three, Ch. 17 It's All About Morphisms
shiratori
2022-07-30 15:19:08 +0900
遅れて参加させていただきます。　の3章をやろうと思います
igrep
2022-07-30 18:06:00 +0900
readGenericPackageDescription 関数で GenericPackageDescription という型の値を取得するまではわかっていたのですが、それを PackageDescription に変換しないと扱いづらそうなことがわかり、変換する方法を調べてました。お気軽な方法はなさそう :disappointed:
shiratori
2022-07-30 18:15:09 +0900
3.3章で最小構成のGマシンを実装しました
hiratara
2022-08-02 10:44:05 +0900
@hiratara has joined the channel
2022-08-03 23:05:42 +0900
@ has joined the channel
t-shibata
2022-08-07 12:47:07 +0900
@t-shibata has joined the channel
t-shibata
2022-08-07 13:04:33 +0900
初めて参加させていただきます！s-taigaと申します。
Category Theory for Programmersの9. Function Typesと10. Natural Transformationsまで読み進められたらと思います。
karoyakani
2022-08-07 13:06:19 +0900
"Category Theory for Programmers," Bartosz Milewski, (Lulu), Part Three, Ch. 18 Adjunctions
mrsekut
2022-08-07 13:06:19 +0900
お久しぶりです。mrsekutです。
来週のGotanda.hsで発表することになったので、そのネタを探したりまとめたりします
gksato
2022-08-07 13:07:02 +0900
こんにちは．gksatoです．AtCoder用の Network Max-flow problem (最大流) ソルバを書くつもりです．1989 Ahuja and Orlin の Excess-scaling preflow-push algorithm を実装したい．
igrep
2022-08-07 13:12:30 +0900
山本悠滋です。
今日は、体調がまだ万全でないのでできる範囲でmakeMistakestoLearnHaskellの続きをやります。
gksato
2022-08-07 16:48:56 +0900
そろそろ終わります．データ構造を 本家 AtCoder Libraryを見ながらうんうん考えているだけで終わりました． 本家のようにある程度楽に更新を許そうとするとHaskellならordinary persistent structureを使いたい一方，ある程度performance-criticalなので更新O(1)は捨て難くてそうなるとMutable Vectorになってしまうんですが，そうすると延長が難しいんですね…
... Replies ...
mrsekut
2022-08-07 18:02:54 +0900
「Ghosts of Departed Proofs」という論文を半分ぐらい読みました。
部分関数でもなく、Maybeを返すのでもなく、仕様を表現した型を使って安全にプログラミングしようみたいな内容です

Gotanda.hsではこのような、Haskellじゃなくてもギリ活かせそうな内容の話題について話そうと思います
t-shibata
2022-08-07 18:04:04 +0900
目標章まで読み進めました。
ちょうどよい区切りなのでここまでの内容（categoryの諸要素からnatural transformation）までをまとめ直しつつ、各章のchalllengesを解いて理解を深めたいと思います。
igrep
2022-08-07 18:06:42 +0900
これから書くところを確認してました
igrep
2022-08-14 13:03:24 +0900
山本悠滋です。今日は、例のごとくmakeMistakesToLearnHaskellを少しだけ進めた後、先週できなかったcabal replの件を中心にやります。
あと、再来週のHaskell-jp Adminsの社員総会の準備もやらないとなぁ。
t-shibata
2022-08-14 13:03:58 +0900
こんにちは、s-taigaです。
Category Theory for Programmersのpart 3, 2. Limits and Colimitsと3.Free Monoidまで読み進められたらと思います。
karoyakani
2022-08-14 13:07:52 +0900
CodeChef / Aug Long Challenge 2022 Division 2　ただいま悪戦苦闘中
igrep
2022-08-14 18:03:37 +0900
Haskell-jp AdminsのあれこれをやってmakeMistakesToLearnHaskellをちょっと進めたら終わりました。
https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/af15d4de48c365dd702c24b9b57cd1a5f42c623b