haskell-jp / mokumoku-online #57

toyboot4e
2023-07-23 13:56:16 +0900
toyboot4e です。 EDPC Y, Z 問題の解答を写経していきます
igrep
2023-07-23 16:01:39 +0900
今日はここまでにします。makeMistakesToLearnHaskell については :point_up: のとおりで、cabal replの件はcabalファイルのパーサーのバグを一部直しました。まだテストが全部は通らない！
igrep
2023-07-23 16:03:10 +0900
あと、今日の感想です。改めてシングルクォートを関数名の末尾に着ける習慣はやめるべきだと思いました...
wasabi
2023-07-23 16:43:04 +0900
今日はここで抜けます，ありがとうございました！
今日は で説明されていたテクニックを他のCartesianにも使えるよう一般化してみました．このテクニックをArrowised FRPのシグナル関数(SF)に適用するとflowの中でApplicative styleのFRPを使えるようなり興味深かったです（Portの各インスタンスが則を満たすかは未確認）．コードは
toyboot4e
2023-07-23 18:02:44 +0900
EDPC - Y の完全無欠な解答を作成しました。 Z には新規データ構造が必要らしく苦戦しています。
karoyakani
2023-07-23 18:05:55 +0900
"融合変換による最適化の理論的基盤と正当性"　読了　fusion transform　中間データがなく効率的かつ副作用がない　しかしその生成が容易ではないわけを Hylomorphism と Free Theorems から説く（ここは難解）
AtCoder 鉄則本 A77 - Yokan Party　全く歯が立たない　味噌汁で顔を洗っておとといオイデ状態
S.K.
2023-07-23 18:11:02 +0900
恥ずかしながら、今週もテキストの説明内容を理解しようとして終わってしまいました。
「a list of slot numbers used by the ode」は、参照しているフレーム中の使用するクロージャの番号を集めたリスト？
「find the free variables of the expression being compiled」は、実行中の一連のコードの中で参照している引数？
自分にとっては、まだまだ先は長そうです。
karoyakani
2023-07-30 13:04:34 +0900
"Recursion schemeとHaskell" @fumieval https://qiita.com/fumieval/items/01c7d7f93e261f843ef5
あとハシゴで AtCoder 鉄則本 C05 - Lucky Numbers https://atcoder.jp/contests/tessoku-book/tasks/tessoku_book_fc
igrep
2023-07-30 13:05:17 +0900
山本悠滋です。いつもどおりmakeMistakesToLearnHaskellとcabal replの件の続きをします！
mrsekut
2023-07-30 13:06:09 +0900
mrsekutです
スタックしてるHaskell関連の記事消化と、問題を解く感じのやつをやります
S.K.
2023-07-30 13:12:24 +0900
S.K.です。今週もお世話になります。よろしくお願いします。
今週も引き続き、Implementing Functional Languages:a tutorial の、
Mark1 TIM のガベージコレクション対応(スペースリーク解消)にトライしようと思います。
ose20
2023-07-30 13:30:45 +0900
ose20です。鉄則本の動的計画法の問題を解きます！
gksato
2023-07-30 13:55:27 +0900
gksatoです．久しぶりにお世話になります． ABC312-Ex の別解(というか想定解)を提出した後，AtCoder 新環境の仕様公開用の記事を書こうと思います．
igrep
2023-07-30 15:47:49 +0900
今日はここまでにしておきます。あまり時間がとれず進まず。
cabal replの件はもう少しでテストが通りそうです。
https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/e56e4c605d2348cb0299299aabc4f40c8d2b86b0
karoyakani
2023-07-30 16:22:46 +0900
"Recursion schemeとHaskell"　10年前のコードのためか動かない　histo - error: Could not deduce (Comonad (Cofree f))　従って chrono も駄目　（ちなみに　fromList = ... の where は不要）　そこで Data.Fix で代用する　ただし名前は変更されている cata => foldFix, ana => unfoldFix, hylo => refold　後半の histo/futu/chrono は来週にする
AtCoder 鉄則本 C05 - Lucky Numbers　あっけなく　AC　簡単だった
本日はこれにて離脱
gksato
2023-07-30 16:54:22 +0900
今日はそろそろ抜けます。
• 提出はできました()が、あんまり速くならなかったですね…。
• 言語環境更新の記事については、方針にしばらく迷ったりダラダラしたりして時間を浪費しましたが、 https://github.com/haskell-jp/atcoder-haskell-resources のフォークに必要なファイルを載せた上で記事からそれを参照することにしよう、と決めました。ここではとりあえずファイル生成まで。
mrsekut
2023-07-30 17:56:26 +0900
Exercismのeasy問題を1問解いて、その後はLensの復習をしてました

主にこのtutorialを読んでましたが、Store, Comonad, Coalgebraが出てきてから追うのが大変になり、ChatGPTにも教えてもらいながら、読み進めてる途中です。知らん概念を学んでる最中に知らん概念が出てくると大変...
https://www.schoolofhaskell.com/user/tel/lenses-from-scratch
ose20
2023-07-30 18:01:52 +0900
鉄則本のbitDPの問題を解いていました。STUArray や Vector を使った処理をすらすらかけるようになりたいです:muscle:
S.K.
2023-07-30 18:04:01 +0900
恥ずかしながら、今週もテキストの説明内容を理解しようとして終わってしまいました。
自分にとっては、まだまだ先は長そうです。
igrep
2023-08-05 13:01:36 +0900
山本悠滋です。いつもどおりmakeMistakesToLearnHaskellとcabal replの件の続きをします！
shiratori
2023-08-05 13:11:11 +0900
白鳥です。よろしくお願いいたします。Implementing functional languages: a tutorialのchapter 4 TIMを進めようと思います。
igrep
2023-08-05 16:44:08 +0900
間もなく用事なので今日はここまでにします。なかなか気乗りしなくてあまり進めませんでした:weary:
cabal replの件: 先週までで全て通したテストケースの他、新しいテストを加えています。
makeMistakesToLearnHaskellの進捗: https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/472fd02c90d54f32f6d3ebf39cd51eae3532199e
S.K.
2023-08-06 13:19:43 +0900
S.K.です。お世話になっております。
土曜日開催を希望しておきながら、日曜日開催と思い込んでいて、参加申し込みしたのに無断欠席してしまいました。
申し訳ありませんでした。
igrep
2023-08-06 13:31:03 +0900
みんな各人で勝手にやってる感じなんで、お気になさらず！ :+1:
igrep
2023-08-07 16:34:09 +0900
別にこの回参加してないからって投票するのをためらう必要はないのよ。参加するつもりがあるなら押しちゃってください！ :pray:
igrep
2023-08-13 13:02:50 +0900
山本悠滋です。いつもどおりmakeMistakesToLearnHaskellの続きとcabal replの件の続きをやります。今日も17時前には終えます。
mrsekut
2023-08-13 13:03:27 +0900
mrsekutです
今日も問題解いたり、Haskell関連の気になってる資料を読んだりします(recordに対するFunctorのようなものがあるのか知りたい。Homogeneous Records?)
karoyakani
2023-08-13 13:03:57 +0900
"Visualizing Prequel Meme Prefix Tries with Recursion Schemes" by Justin Le ()
あとハシゴで AtCoder 鉄則本 C13 - Select 2 ()
S.K.
2023-08-13 13:11:23 +0900
S.K.です。今週もお世話になります。よろしくお願いします。
今週も引き続き、Implementing Functional Languages:a tutorial の、Mark1 TIM のガベージコレクション対応(スペースリーク解消)にトライしようと思います。
gksato
2023-08-13 13:11:26 +0900
gksatoです．よろしくお願いします．ABC314-G を提出した後， AtCoder Haskell Judge の仕様についての記事を書きます．面倒で先延ばしにしてきましたが，もう実装されちゃったので，今日こそは…！！
ose20
2023-08-13 13:24:45 +0900
ose20です。鉄則本を解いていきます！できるだけ多くの問題を解くのを目標にします。
igrep
2023-08-13 16:41:50 +0900
間もなく用事なので今日はここまで。
・cabal replの件は、前回落ちるようになったテストについて、大半を通せました。残りはちょっと型定義を変えたりする必要があり、少し掛かりそうですが今日中に終えられるはず
・makeMistakesToLearnHaskellの更新:
https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/5f5d70ecd61b6cfe3d59891eff104b182a2958ef
gksato
2023-08-13 17:24:15 +0900
今日はここまで． です．インストールコマンドを md ファイルに転記した時点で終わってしまい，全然進んでないですね…．何だか見た目も変．あと，ABC314-Gの提出はできました() が，何だかとっても遅いです…
karoyakani
2023-08-13 17:33:54 +0900
"Visualizing Prequel Meme Prefix Tries with Recursion Schemes"　読了　融合変換のFixの説明が白眉　“placeholder” variableを導入し再帰的データ型を分解…とか納得
AtCoder 鉄則本 C13 - Select 2　AC　速度まずまず　コード長も最ゴルフ的
本日はこれにて離脱
ose20
2023-08-13 17:43:59 +0900
鉄則本の問題A24, A25, B16を解きました。解法の正しさを証明したり、ミュータブルなデータの処理方法にハマったりしてあまり解けませんでしたが楽しかったです
S.K.
2023-08-13 18:03:51 +0900
スーパーコンビネータ単位で、コンパイル後の命令列を元に使用するスロット番号のリストを表示するようにしてみました。
自分にとっては、まだまだ先は長そうです。
mrsekut
2023-08-13 18:04:44 +0900
Exercismの問題を数問解きました。
それとHomogeneousなデータ構造についても少し調べた。(TypeScriptに活かせるかなと思いながら調べてたけど、HaskellやPureScriptの良さによるものが大きいので応用するのは難しそうに感じた)
igrep
2023-08-20 13:02:14 +0900
山本悠滋です。いつもどおりmakeMistakesToLearnHaskellの続きとcabal replの件の続きをやります。
今日は久々にフルで参加できるぞ！
S.K.
2023-08-20 13:05:27 +0900
S.K.です。今週もお世話になります。よろしくお願いします。
今週も引き続き、Implementing Functional Languages:a tutorial の、Mark1 TIM のガベージコレクション対応(スペースリーク解消)にトライしようと思います。
karoyakani
2023-08-20 13:05:58 +0900
"Algebra of Programming, Lecture 1" Jeremy Gibbons ()
あとハシゴで AtCoder 鉄則本 C15 - Many Meetings ()