haskell-jp / mokumoku-online #48

karoyakani
2022-11-06 18:06:25 +0900
Kan の表記が ”Lan” とか ”Ran” なのは何故かと思ったが
Why "Lan" for Kan Extension?　にある説明がもっともらしい
"Lan" and "Ran" are weird abbreviations of "Left Kan" and "Right Kan"
just as "Lift" and "Rift" for Left and right Kan lifts respectively.
S.K.
2022-11-13 13:03:36 +0900
@S.K. has joined the channel
karoyakani
2022-11-13 13:07:47 +0900
CodeChef / Nov Long Challenge 2022 Division 2　はじめから TLE につまずいている :white_frowning_face:
igrep
2022-11-13 13:07:52 +0900
まだ出先でお昼ご飯を買ったばかりなので、帰って食べてからmakeMistakesToLearnHaskellの続きやタイプセーフプリキュアの開発などを行います
S.K.
2022-11-13 13:17:36 +0900
はじめまして。S.K.と申します。よろしくお願いします。
Implementing Functional Languages:a tutorial の 3 The G-machine を読み進めていこうと思っています。
t-shibata
2022-11-13 13:57:42 +0900
こんにちは、s-taigaです。connpassで申し込んでないですが参加します。。
Category Theory for Programmersのpart 3.Kan Extensionsを読んでいきます。
igrep
2022-11-13 18:07:26 +0900
またまた昼寝が捗ってしまったのと、makeMistakesToLearnHaskellで結構大きな修正が必要になってしまったのでタイプセーフプリキュア！はほとんど進んでません。
https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/e186e959c23bf7cf75ac4906cc101a8d8769b3d1
t-shibata
2022-11-13 18:09:17 +0900
一通り読んでみてなんとなく書いてあることの理解ができたかなと思っています。
ベーシック圏論も読み進めつつ頑張って進めていきたいと思います。
S.K.
2022-11-13 18:09:29 +0900
Implementing Functional Languages:a tutorial の 3 The G-machine を読んでいました。
3.3.3 The evaluator のUnwind命令に関する説明の部分までとりあえず読みました。
難しいですが続けてみようと思います。
karoyakani
2022-11-13 18:17:05 +0900
Python と C++ でもTLEになる！　発想の転換が必要かも？　いったんあきらめて他の問題を２つ解いた
igrep
2022-11-20 13:03:16 +0900
山本悠滋です。今日はHaskell-jp WikiのHerokuから静的サイトへの移行に関していろいろやります。できれば今日で移行しきりたいな。
S.K.
2022-11-20 13:04:51 +0900
先週から参加させていただいているS.K.と申します。お世話になります。
今日も、Implementing Functional Languages:a tutorial の 3 The G-machine を読み進めていこうと思っています。
よろしくお願いします。
t-shibata
2022-11-20 13:06:31 +0900
こんにちは、s-taigaです。
Category Theory for Programmersのpart 3.Enriched Categoriesを読んでいきます。
karoyakani
2022-11-20 13:07:35 +0900
"Category Theory for Programmers," Bartosz Milewski, (Lulu), Part Three, Ch. 28 Enriched Categories　
https://www.youtube.com/watch?v=5yHmgo2mybs&t=115s とハシゴで
shiratori
2022-11-20 13:50:51 +0900
遅れて参加させていただきます。白鳥と申します。
Implementing functional languages: a tutorialの3.8をやろうと思います
igrep
2022-11-20 18:05:22 +0900
https://twitter.com/igrep/status/1594255307559297024 の通り、少々ばたつきましたが移行しました。
延長戦でmakeMistakesToLearnHaskellを進めましょうかね。
S.K.
2022-11-20 18:07:34 +0900
Implementing Functional Languages:a tutorial の 3 The G-machine を読んでいました。
3.3.5 Printing the results まで進めました。
また、写経してあった Mark 1 G-machine を動かしてみました。
最初のプログラム"main = S K K 3"は何とか動いたみたいです。
ただ、結果の表示が少しおかしいです。(改行やインデントがされない箇所がある)
shiratori
2022-11-20 18:22:27 +0900
3.7章のバグ修正をしていたら終わってしまいました。少し延長して3.8章を進めようと思います
t-shibata
2022-11-20 18:23:57 +0900
目標章を読み終えました。
雰囲気は理解したような気はしていますが、ちょっと微妙なので読み返したいと思います。
karoyakani
2022-11-21 03:48:24 +0900
無事読了　抽象化の高みに達した感　
「鉄則」動画は超簡単　だんだん難しくなるのだろう　本を買おうかなあ
igrep
2022-11-27 13:04:53 +0900
ちょっとmakeMistakesToLearnHaskellを進めた後、久々にcabal replの件を進めます。買い物から帰ったばかりなのでその前にお昼ご飯！ :curry:
S.K.
2022-11-27 13:15:42 +0900
今週もお世話になります。よろしくお願いします。
後戻りしますが、Implementing Functional Languages:a tutorial の
1 The Core language, 1.5 A pretty-printer for the Core language の未読部分を読み進めようと思います。
(先週、結果の表示がおかしかったのは、iInterleave関数の実装を間違えていたことと、iIndent関数が未実装だったことが原因でした。)
y_taka_23
2022-11-27 15:10:37 +0900
チェシャ猫です。前に作ってたやつの続きをやります……が中身を忘れてしまったのでまた思い出すところから……。
S.K.
2022-11-27 18:07:12 +0900
Implementing Functional Languages:a tutorial の 1 The Core language, 1.5 A pretty-printer for the Core language の未読部分を読み進めました。
flatten関数のインデント対応が自力ではうまくできなかったのですが、nobsun様のGitHubを参照させていただき、何とか改行・インデントともに行えるようになりました。
nobsun様ありがとうございました。
y_taka_23
2022-11-27 18:21:04 +0900
テストプログラムを実行するために機能が足りてない部分を埋めようとしていたのですが、仕様が複雑だったためとりあえず準備で終わりました。
igrep
2022-11-27 18:23:34 +0900
昨日の疲れが出てあまり進みませんでした。makeMistakesToLearnHaskellをこれだけ
https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/45f564e0380068d570b31f9a52d4a108f28c22ef
igrep
2022-12-04 13:01:13 +0900
山本悠滋です。今出先で、もう少し買い物してからいつも通りmakeMistakesToLearnHaskellを進めます。cabal replの件も少しは進めたい…
S.K.
2022-12-04 13:09:29 +0900
S.K.です。今週もお世話になります。よろしくお願いします。
Implementing Functional Languages:a tutorialの3 The G-machineに戻って、
3.3.6 Improvements to the Mark 1 G-machineから読み進めていこうと思います。
shiratori
2022-12-04 13:26:29 +0900
白鳥です。「コンピュータシステムの理論と実装」の演習問題をhaskellでやってみようと思います。
karoyakani
2022-12-04 13:28:51 +0900
"Category Theory for Programmers," Bartosz Milewski, (Lulu), Part Three, Ch. 29 Topoi
あとハシゴで　　も
y_taka_23
2022-12-04 15:48:46 +0900
チェシャ猫です。先週の続き、仕様書がよくわからんので GitHub で他の人が書いた実装を読みます。
igrep
2022-12-04 18:03:58 +0900
makeMistakesToLearnHaskellの続きをやってますが、窓に断熱フィルムを張るので疲れちゃってあんま進んでません... :sweat:
https://twitter.com/igrep/status/1599294108409171969
S.K.
2022-12-04 18:10:10 +0900
Implementing Functional Languages:a tutorial の 3 The G-machine, 3.3.6 Improvements to the Mark 1 G-machine から読み始めて 3.4.1 Data structures の途中まで読み進めました。
恥ずかしながら、Exercise 3.6.にとても時間がかかってしまって、あまり進められませんでした。
y_taka_23
2022-12-04 18:10:33 +0900
あんまり進んでないですが、別の人の実装をいくつか見て、仕様と付き合わせて確認しつつ実装進めてました。
shiratori
2022-12-04 18:15:09 +0900
「コンピュータシステムの理論と実装」6章のシンボルフリーなアセンブラをつくりました
karoyakani
2022-12-04 18:30:08 +0900
CTFP　章末まで読了　　
「鉄則」動画　コードゴルフと速さを目標としているが　今回は後者がイマイチ
ひらつか
2022-12-11 12:58:47 +0900
@ひらつか has joined the channel
karoyakani
2022-12-11 13:08:57 +0900
"Category Theory for Programmers," Bartosz Milewski, (Lulu), Part Three, Ch. 30 Lawvere Theories
あとハシゴで AOC 2022 https://adventofcode.com/2022/day/10 の十日目に届くかも
S.K.
2022-12-11 13:15:41 +0900
S.K.です。今週もお世話になります。よろしくお願いします。
Implementing Functional Languages:a tutorial の 3 The G-machine の 3.5 Mark 3: let(rec) expressions から読み進めていこうと思います。
(3.4 Mark 2: Making it lazy の残りの部分は、もくもく会の他の時間にも写経と一部実装を行って、今一つ理解不十分なのですが、一応何とか読み終わりました。)
igrep
2022-12-11 13:47:58 +0900
山本悠滋です。ちょっと寝ちゃって遅くなってしまいましたが、いつもどおりmakeMistakesToLearnHaskellの続きや、cabal replの件を進めます