haskell-jp / mokumoku-online #59

toyboot4e
2023-09-17 18:20:27 +0900
何の成果も得られませんでした……！
S.K.
2023-09-17 18:25:42 +0900
175ページのletを使ったサンプルプログラムは、一応テキスト通りにコンパイルできたのですが、ex. 4.12. の確認用プログラムを実行すると、計算の途中で終了してしまうため、デバッグ中です。
どこかで間違えています。お恥ずかしい。
karoyakani
2023-09-17 18:30:57 +0900
Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes　§4~6 / 全11　読了　accu, (co)mutu, para, apo, zygo 等々出て来た　それぞれ例が面白い
AtCoder 鉄則本 C20 - Mayor's Challenge　まだまだ時間がかかりそう　ヒューリスティック型問題に戸惑う　ビジュアライザの動かし方が分からない
igrep
2023-09-24 13:01:42 +0900
山本悠滋です。
例のごとくmakeMistakesToLearnHaskellの続きとcabal replの件の続きをやります。今回も15:00過ぎに抜けちゃいます。
karoyakani
2023-09-24 13:06:10 +0900
Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes Yang Z., Wu N. 2019 のうち §7 & 8 / 全11
あとハシゴで 競プロ典型 90 問 1 日目
S.K.
2023-09-24 13:10:24 +0900
S.K.です。今週もお世話になります。よろしくお願いします。
Implementing Functional Languages:a tutorial の、Mark3 TIM の let(rec) 構文対応の続きを進めていこうと思います。
igrep
2023-09-24 15:10:52 +0900
今日はここまでにしておきます。cabal replの件もちょっとだけ前進です。
https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/869c243a68ee93f6a2c5c69b7a6b81d0bdf85862
karoyakani
2023-09-24 17:01:35 +0900
Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes Yang Z., Wu N. 2019 のうち §7 & 8 / 全11　読了　histo, dyna, futu, chrono が登場またモナド版である mcata, mhylo, mana も興味深い
競プロ典型 90 問 1 日目　で２分探索を試しているがバグっている　今日は残念ながらここで離脱
S.K.
2023-09-24 18:09:25 +0900
ex. 4.12 の確認用プログラムが計算途中で終了するのは、新しく追加した Move 命令の処理を間違えていたことが原因でした。
処理を修正して確認したところ、ex. 4.12 のプログラムは一応意図した結果となりました。
その後、ex. 4.13, ex. 4.14 まで進めました。
karoyakani
2023-10-01 13:07:08 +0900
Yang Z., Wu N., 2019 のうち §9 ~ 11 / 全11
あとハシゴで 3 日目 - Longest Circular Road
S.K.
2023-10-01 13:10:09 +0900
S.K.です。申し込むのを忘れていましたが、参加させてください。よろしくお願いします。
引き続き、Implementing Functional Languages:a tutorial Mark3 TIM の、let(rec)構文対応の続きを進めていこうと思います。
igrep
2023-10-01 13:15:41 +0900
山本悠滋です。久々にタイプセーフプリキュアの開発をします。キュアマジェスティなどのサポートです。
例のごとく15:00過ぎには終了するので、それまでにできるといいなぁ
kk
2023-10-01 14:11:22 +0900
kkです．BindlibをHaskellに移植しようと思います．
https://github.com/rlepigre/ocaml-bindlib

questions に質問を投げます．ご笑覧ください．
igrep
2023-10-01 14:36:24 +0900
無事Pull requestを送ってリリースできました。たった今用事がなくなったのでこのままmakeMistakesToLearnHaskellの続きなどをやります。
https://github.com/igrep/typesafe-precure/pull/59
https://twitter.com/igrep/status/1708354251247038493
karoyakani
2023-10-01 16:53:52 +0900
Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes Yang Z., Wu N., 2019　読了　Structural Recursion on GADTs (icata) などが面白かった
競プロ典型 90 問 3 日目 - Longest Circular Road　AC　速さは並みながら最ゴルフ的だった　本日はこれにて離脱
igrep
2023-10-01 18:07:55 +0900
タイプセーフプリキュアの新しいバージョンのリリースに加え、
・cabal replの件はデータ構造を少し変えて、cabalファイルのパースをより正確にしているところ
・makeMistakesToLearnHaskell はこれだけ進めました: https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/081bfd30e1d542d983b27d68de1702468a9bb520
kk
2023-10-01 18:08:34 +0900
Bindlibの移植ですが，型だけ合わせても実行時にはエラーになりました．精進します．
S.K.
2023-10-01 18:18:55 +0900
ex. 4.11 での対応に間違いがあることに気づき修正(お恥ずかしい)。その結果、なし崩し的に ex. 4.15 に進みました。
とりあえず、対応したのですが、また間違えていたり、対応が不十分かもしれないので、確認を進めていこうと思います。
bunny_hopper isolated
2023-10-08 13:04:15 +0900
AtCoderに参加するために勉強中です。
今日は木とグラフの扱いについて取り組みます。
karoyakani
2023-10-08 13:04:56 +0900
, Hinze R., Wu N., 2013 のうち §1 ~ 5 / 全9
あとハシゴで 5 日目 - Restricted Digits（★7）
S.K.
2023-10-08 13:09:17 +0900
S.K.です。またしても申し込むのを忘れてしまいましたが、参加させてください。よろしくお願いします。
引き続き、Implementing Functional Languages:a tutorial Mark3 TIM の、let(rec)構文対応の続きを進めていこうと思います。
igrep
2023-10-08 13:11:18 +0900
山本悠滋です。本日帰省中なので、のんびりmakeMistakesToLearnHaskellの続きをやります
kk
2023-10-08 13:39:38 +0900
kkです．Bindlibの移植が完了したのでbinderパッケージとしてリリースしました．
今日はこれを用いて A Two-Level Linear Dependent Type Theory の写経を進めます．
https://hackage.haskell.org/package/binder-0.2
https://arxiv.org/abs/2309.08673
S.K.
2023-10-08 18:08:05 +0900
テンプレートインスタンス化マシンやGマシンのlet(rec)関連テストプログラムを引っ張ってきて一通り実行してみたところ、
一応正しく動作したようなので、ひとまずlet(rec)対応は 4.4.3 Reusing frame slots までは完了とさせていただきました。
(また間違えてる箇所があるかもしれないですが．．．)
4.4.4 Garbage Collection に取り掛かっています。
karoyakani
2023-10-08 18:24:08 +0900
, Hinze R., Wu N., 2013 のうち §1 ~ 5 / 全9　読了　ナップサック、カタラン数、TSPなど実例豊富　圏論的扱いがキビシイが少し慣れて来た
5 日目 - Restricted Digits（★7）　全く歯が立ちませんでした　明後日味噌汁で顔を洗って出直します　トホホ
kk
2023-10-08 18:41:43 +0900
写経は順調です．テストが効かないのが難点．
sat0ma
2023-10-10 15:01:46 +0900
@sat0ma has joined the channel
karoyakani
2023-10-15 13:10:36 +0900
, Hinze R., Wu N., 2013 のうち §6 ~ / 全9
あとハシゴで 6 日目 - Smallest Subsequence（★5）
S.K.
2023-10-15 13:11:11 +0900
S.K.です。今週もお世話になります。よろしくお願いします。
Implementing Functional Languages:a tutorial の、4.4.4 Garbage Collection を進めていこうと思います。
gksato
2023-10-15 13:14:14 +0900
gksatoです。お久しぶりです。よろしくお願いします。とりあえずabc324-gを解いています。
igrep
2023-10-15 15:23:44 +0900
山本悠滋です。前半戦は昼寝が大変捗りました。これからmakeMistakesToLearnHaskellの続きやcabal replの件をやります。16:15過ぎには出掛けるのであんまり進まないかもですが！
gksato
2023-10-15 16:56:24 +0900
今日は終わります． とりあえずsubmit: https://atcoder.jp/contests/abc324/submissions/46605721
あと，AtCoder 用Haskellの環境設定スクリプトの説明記事をずっと書いているのですが，何にも進んでない，というか，これから書くべき分量の多さに圧倒されています…．
ライブラリの説明とかしないといけないと思うと辛い…
karoyakani
2023-10-15 18:16:28 +0900
, Hinze R., Wu N., 2013 のうち §6 ~ / 全9　読了　実例豊富また高効率版も示され勉強になる　圏論的背景はやや消化不良
6 日目 - Smallest Subsequence（★5）Naïve 解法（Data.List.subsequencesnces）は遅すぎる　後日出直します
S.K.
2023-10-15 18:20:57 +0900
Mark3 TIM のガベージコレクション対応中です。
テストプログラムでエラーとなるものがあるので原因を確認しています。
自分にとってはまだまだ先は長そうです。
karoyakani
2023-10-22 13:15:41 +0900
のうち §1 ~ 4 / 全7
あとハシゴで 8 日目 - AtCounter（★4）
S.K.
2023-10-22 13:17:17 +0900
S.K.です。今週もお世話になります。よろしくお願いします。
Implementing Functional Languages:a tutorial の、4.4.4 Garbage Collection の続きを進めていこうと思います。
wasabi
2023-10-22 13:36:46 +0900
wasabiです，よろしくお願い致します:bow:
今週はGHCで定義されているlist fusionのためのrewrite rulesが正しいことの証明をagdaで証明してみようと思います
igrep
2023-10-22 14:37:27 +0900
山本悠滋です。やっと出先から帰ってきたので、ご飯食べてからいつも通りmakeMistakesToLearnHaskellの続きとcabal replの件を進めます。