haskell-jp / mokumoku-online #58

toyboot4e
2023-08-20 13:43:50 +0900
AtCoder 用のバンドラで使用する Haskell のパーサを ghc-lib-parser に移行していきます
ose20
2023-08-20 14:41:37 +0900
先週に引き続き鉄則本でDPの問題を解きます
karoyakani
2023-08-20 18:02:53 +0900
"Algebra of Programming, Lecture 1" & "-, Lecture 2"　読了　cata と ana を bifunctor を用いて導くところが面白い
AtCoder 鉄則本 C15 - Many Meetings　苦慮苦悩苦悶中　小さいケースはいいんだけど　悶絶しそう
S.K.
2023-08-20 18:07:44 +0900
先週表示するようにした使用スロット番号のリストと、対応する命令列をペアにする方法を考えて終わってしまいました。
スーバーコンビネータ単位だけではなく、Push (Code <命令列>)の部分はその部分だけでペアにする必要があるかもしれません。
自分にとっては、まだまだ先は長そうです。
igrep
2023-08-20 18:07:52 +0900
makeMistakesToLearnHaskellについては、課題17が一通り書き終わったはずなので見直しをしています。なんとか今日中に終えるので終わったらコミットします。
cabal replの件は、更に野生のcabalファイルをテストケースにすべく、テストケースを追加しました。結局2件だけにしましたが
ose20
2023-08-20 18:10:33 +0900
鉄則本のB16 ~ B19を解いていました。最適化を与えるパスを構築する問題が多かったです。Haskellらしい書き方ができているか分からず手が止まることが多いのですが、問題を解くことを少し優先して、ワーキングメモリを割かなくても解けるようになったらいい書き方にも気をつけていこうと思います
toyboot4e
2023-08-20 18:11:39 +0900
ParseResult が unlifted であるとかのエラーで詰まりました :melting_face:
igrep
2023-08-20 19:07:55 +0900
延長戦でやっと課題17ができました:relieved:
記録を見たら半年以上も掛かってましたか...:weary:
課題22まであと何年かかるんだろう...
https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/aff32a771f1ae6f34a5c65ceaa5c7adc3c518cca
igrep
2023-08-27 13:00:57 +0900
山本悠滋です。いつもどおりmakeMistakesToLearnHaskellの続きとcabal replの件の続きをやります。
今日は15:30位で抜けちゃいます。
toyboot4e
2023-08-27 13:04:01 +0900
こんにちは toyboot4e です。キューを Seq から MVector に乗り換える作業をやります。
S.K.
2023-08-27 13:04:16 +0900
S.K.です。今週もお世話になります。よろしくお願いします。
今週も引き続き、Implementing Functional Languages:a tutorial の、Mark1 TIM のガベージコレクション対応(スペースリーク解消)にトライしようと思います。
karoyakani
2023-08-27 13:25:41 +0900
"Algebra of Programming, Lecture 3" Jeremy Gibbons ()
あとハシゴで AtCoder 鉄則本 C16 - Flights ()
gksato
2023-08-27 14:41:18 +0900
gksatoです．よろしくお願いします．二週間ぶりになってしまいましたが，
• Cabal に issue を書く
• AtCoder 新エディタテストコンテスト A https://atcoder.jp/contests/editor-update-test/tasks/editor_update_test_a を解く
• AtCoder 新言語環境記事
等々色々やることがあるので，やっていきたいと思います．
igrep
2023-08-27 15:38:11 +0900
本日のmakeMistakesToLearnHaskellの進捗
https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/0a9bb6d7883cfa1625616ccbb37d8cb493e951f2
cabal replの件は、新たに追加したテストをpassするのに苦戦中です。空行やコメントの扱いがむずい
gksato
2023-08-27 16:56:24 +0900
とりあえずissueだけ書きました: https://github.com/haskell/cabal/issues/9211 あとは夜に続きをやります．
karoyakani
2023-08-27 18:01:41 +0900
"Algebra of Programming, Lecture 3" & "-, Lecture 4"　読了　para, zygo, mutu, histo 等々総出となる　stream を用いた meta 例が興味深い
AtCoder 鉄則本 C16 - Flights　バグで苦戦中　Exception: index out of bounds で落ちる　今週もまたトホホだ
toyboot4e
2023-08-27 18:03:49 +0900
01-BFS などキューを使ったテンプレートを高速化しました。動作確認はしておりません……！
S.K.
2023-08-27 18:07:41 +0900
スペースリーク解消処理を何とか自己流で実装してみました。
ですが、どんなテストプログラムなら実装した処理を確認できるかが、まだわかっていません。
自分にとっては、まだまだ先は長そうです。
karoyakani
2023-08-28 08:12:42 +0900
AtCoder 鉄則本 C16 - Flights　AC　遅いけどゴルフ的に優　Haskell での単独 AC は初めての経験　やったー！
igrep
2023-09-03 13:03:19 +0900
山本悠滋です。
例のごとくmakeMistakesToLearnHaskellの続きとcabal replの件の続きをやります。今回も15:30くらいまでに抜けちゃいます。
karoyakani
2023-09-03 13:03:37 +0900
"Unifying Structured Recursion Schemes," Hinze R., Wu N., Gibbons J. 2013 ()
あとハシゴで AtCoder 鉄則本 C18 - Pick Two ()
S.K.
2023-09-03 13:05:47 +0900
S.K.です。今週もお世話になります。よろしくお願いします。
今週も引き続き、Implementing Functional Languages:a tutorial の、Mark1 TIM のガベージコレクション対応(スペースリーク解消)の続き、テストプログラムを考えるところから始めようと思います。
igrep
2023-09-03 15:19:18 +0900
そろそろ終わりにします。あんまり進めませんでした。
・cabal replの件は少しだけバグを直しました。
・makeMistakesToLearnHaskellの進捗はこれだけ:
https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/4766b409414ce29f4bf1a91a3954c58a535507ca
karoyakani
2023-09-03 18:06:20 +0900
"Unifying Structured Recursion Schemes"　読了　recursion schemes from comonads を adjoint folds で見直したもの　category theory heavy 過ぎてめげた
AtCoder 鉄則本 C18 - Pick Two　WA で苦戦中　どこか corner cases の見落としがありそう　また dp の memoize だけでは遅い　発想の転換が必要？
S.K.
2023-09-03 18:07:35 +0900
既存のテストプログラムのうち、スペースリーク解消ありだとエラーになるものがあったためデバッグ中。
そのテストプログラムがスペースリーク解消ありの動作確認に使えるのかもしれません。
自分にとっては、まだまだ先は長そうです。
S.K.
2023-09-10 13:11:08 +0900
S.K.です。今週もお世話になります。よろしくお願いします。
今週も引き続き、Implementing Functional Languages:a tutorial の、Mark1 TIM のガベージコレクション対応(スペースリーク解消)の続きを進めようと思います。
(もくもく会の後、一応何とかバグ修正できたみたいなので、動作確認から進めていきます。)
toyboot4e
2023-09-10 13:32:01 +0900
こんにちは〜。念願の入水達成記事を書いたり、 ARC の過去問を解いています。
gksato
2023-09-10 13:57:29 +0900
こんにちは。昨日のabcにバーチャル参加してきます
igrep
2023-09-10 14:00:16 +0900
山本悠滋です。今日は旅先なので、飛行機の中でmakeMistakesToLearnHaskellの続きを書きます！
gksato
2023-09-10 17:17:21 +0900
バーチャル中にはEまで解いて、そこからFの実装がまだ終わってないですが、一度抜けます…。
karoyakani
2023-09-10 18:06:28 +0900
Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes　§1~3 / 全11　読了　データ構造が算譜構造を決定する話 quick sort が hylo の例として挙げられている
AtCoder 鉄則本 C19 - Gasoline Optimization Problem　またもや苦戦中　今日のところは撤退
S.K.
2023-09-10 18:11:32 +0900
Mark1 TIM ガベージコレクション(スペースリーク解消あり)ですが、とりあえず既存のテストプログラムが一通り動いて、解消あり/なしの違いを一応確認できたので、ひとまず完了とさせていただきました。(まだ、油断は禁物)
その後、Mark3 TIM の 4.4.1 let expressions を進めています。
toyboot4e
2023-09-10 18:14:09 +0900
入水記事 (リンク) を書きました。後日見てイタかったら消します :melting_face:
... Replies ...
karoyakani
2023-09-14 17:00:47 +0900
AtCoder 鉄則本 C19 - Gasoline Optimization Problem　やっとこ AC だが　見渡せば Haskeller が居ない　ライブラリに Bag が無いので Data.IntMultiSet からコピペ
igrep
2023-09-17 13:02:23 +0900
山本悠滋です。
例のごとくmakeMistakesToLearnHaskellの続きとcabal replの件の続きをやります。今回は15:00過ぎに抜けちゃいます。
karoyakani
2023-09-17 13:11:38 +0900
Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes Yang Z., Wu N. 2019 のうち §4~6/全11
あとハシゴで AtCoder 鉄則本 C20 - Mayor's Challenge
toyboot4e
2023-09-17 13:15:02 +0900
ARC の過去問を解きます。寝ちゃうかも…… :bed:
S.K.
2023-09-17 13:15:38 +0900
S.K.です。今週もお世話になります。よろしくお願いします。
Implementing Functional Languages:a tutorial の、Mark3 TIM 4.4.1 let exressions の続きを進めていこうと思います。
igrep
2023-09-17 15:11:30 +0900
今日のmakeMistakesToLearnHaskellの進捗はこれだけ: https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/6e6433dc953c8225fb3d5192eba9e882d722ed31
cabal replの件は、前々回苦労していたバグの一部が多分直せました