Slack log update at Mon Aug 5 09:56:22 2024

haskell-jp · Aug 5, 2024 · ebd2722 · ebd2722
1 parent e2506d8
commit ebd2722
Show file tree

Hide file tree

Showing 6 changed files with 206 additions and 2 deletions.
diff --git a/docs/html/CUPBC8WCE/68.html b/docs/html/CUPBC8WCE/68.html
@@ -278,6 +278,97 @@ <h1>haskell-jp / mokumoku-online #68</h1>
           <a class="link-to-replies" href="68/1722177583.484919.html">... Replies ...</a>
         </div>
       </div>
+      <div class="event" id="message-1722735869.134629">
+        <div class="content">
+          <div class="summary">
+            <div class="user">msakai</div>
+            <div class="date"><a class="date" href="#message-1722735869.134629">2024-08-04 10:44:29 +0900</a></div>
+          </div>
+          <div class="description">@msakai has joined the channel</div>
+        </div>
+      </div>
+      <div class="event" id="message-1722744036.056719">
+        <div class="content">
+          <div class="summary">
+            <div class="user">&lt;non-user&gt;</div>
+            <div class="date"><a class="date" href="#message-1722744036.056719">2024-08-04 13:00:36 +0900</a></div>
+          </div>
+          <div class="description"></div>
+        </div>
+      </div>
+      <div class="event" id="message-1722744244.756489">
+        <div class="content">
+          <div class="summary">
+            <div class="user">igrep</div>
+            <div class="date"><a class="date" href="#message-1722744244.756489">2024-08-04 13:04:04 +0900</a></div>
+          </div>
+          <div class="description">山本悠滋です。いつもどおりmakeMistakesToLearnHaskellやcabal replの件の続きをします。別にやりたいタスクがあるので早めに切り上げるかも</div>
+        </div>
+      </div>
+      <div class="event" id="message-1722744763.205899">
+        <div class="content">
+          <div class="summary">
+            <div class="user">karoyakani</div>
+            <div class="date"><a class="date" href="#message-1722744763.205899">2024-08-04 13:12:43 +0900</a></div>
+          </div>
+          <div class="description"><https://bartoszmilewski.com/2016/11/30/monads-and-effects/|Category Theory for Programmers> (2014) Bartosz Milewski (Part Three: 21. Monads and Effects ~ )<br/>あとハシゴで <https://atcoder.jp/contests/typical90|競プロ典型 90 問> 64 日目 - Uplift（★3）</div>
+        </div>
+      </div>
+      <div class="event" id="message-1722745580.963569">
+        <div class="content">
+          <div class="summary">
+            <div class="user">S.K.</div>
+            <div class="date"><a class="date" href="#message-1722745580.963569">2024-08-04 13:26:20 +0900</a></div>
+          </div>
+          <div class="description">S.K.です。少し遅くなってしまいましたが、今週もお世話になります。よろしくお願いします。<br/>先週に引き続き、Implementing Functional Languages: a tutorial の 4.7 Mark 6: Constant applicative forms and the code store の続きを進めていこうと思います。</div>
+        </div>
+      </div>
+      <div class="event" id="message-1722757154.940069">
+        <div class="content">
+          <div class="summary">
+            <div class="user">igrep</div>
+            <div class="date"><a class="date" href="#message-1722757154.940069">2024-08-04 16:39:14 +0900</a></div>
+          </div>
+          <div class="description">今日はここまでにします。<br/>・makeMistakesToLearnHaskellの更新:<br/><a href='https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/8134ba4329c854c82353e23158b8406a5c545d1a'>https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/8134ba4329c854c82353e23158b8406a5c545d1a</a><br/><a href='https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/26af85503e9299a12befcbf3942a28aee2b111b5'>https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/26af85503e9299a12befcbf3942a28aee2b111b5</a><br/>・cabal replの件は、前回出くわしたテストの失敗が.cabalファイルのインデントの扱いに起因することに気づいて直してます。インデントの長さを数えると同時にパーサーでインデントの分を消費していたのが混乱の元なので、attoparsecのlookAheadを使うことでインデントの長さを数える際に消費しないようにする作戦で修正しています。</div>
+        </div>
+      </div>
+      <div class="event" id="message-1722762010.618889">
+        <div class="content">
+          <div class="summary">
+            <div class="user">&lt;non-user&gt;</div>
+            <div class="date"><a class="date" href="#message-1722762010.618889">2024-08-04 18:00:10 +0900</a></div>
+          </div>
+          <div class="description"></div>
+        </div>
+      </div>
+      <div class="event" id="message-1722762423.912209">
+        <div class="content">
+          <div class="summary">
+            <div class="user">karoyakani</div>
+            <div class="date"><a class="date" href="#message-1722762423.912209">2024-08-04 18:07:03 +0900</a></div>
+          </div>
+          <div class="description">Category Theory for Programmers (Part Three: 21. Monads and Effects ~ 22. Monads Categorically) まで読了　モナドの功徳を挙げて Read / Write / State / Exceptions / Continuations / IO の例を示している　次に圏論的アプローチをしていて Monoidal Categories の Monoid を通して随伴からモナドを見ている　いわば舞台裏を覗かせてくれる　数学的にはむしろこちらが本筋なのだろうけど　納得するとは　数々の例を通して説得される事なのか　あるいは隠れた本質を理解する事なのか　凡人には前者かも<br/>競プロ典型 90 問 64 日目 - Uplift（★3）　思案投げ首　差分数列を BIT で管理して両端での価変更でかなり対処できるが　最終的に絶対値の和にするところで破綻？</div>
+        </div>
+      </div>
+      <div class="event" id="message-1722763952.437069">
+        <div class="content">
+          <div class="summary">
+            <div class="user">S.K.</div>
+            <div class="date"><a class="date" href="#message-1722763952.437069">2024-08-04 18:32:32 +0900</a></div>
+          </div>
+          <div class="description">最初にコンパイル結果を表示する際に、スーパーコンビネータ名を表示できない不具合の対応をしていました。いい方法が思いつかなかったので、苦し紛れにかなり安易で姑息な方法を取ってしまいました。<br/>CodeStore型をグローバルフレームのみに変更したのですが、コンパイル結果を表示処理のためだけに、スーパーコンビネータ名と対応するインデックス番号のタプルのリストを、<br/>グローバルフレームとは別にマシンのステートに持たせてしまいました。<br/>最初にコンパイル結果を表示する際は、グローバルフレームのクロージャを順番に処理する際に、インデックス番号からスーパーコンビネータ名を求めて表示しています。<br/>Push Label 命令や Enter Label 命令を実行する際はインデックス番号だけを使って処理するようにはしたのですが．．．多分テキストの趣旨はこんな対応ではないと思います。お恥ずかしい。</div>
+        </div>
+      </div>
+      <div class="event" id="message-1722766084.174739">
+        <div class="content">
+          <div class="summary">
+            <div class="user">igrep</div>
+            <div class="date"><a class="date" href="#message-1722766084.174739">2024-08-04 19:08:04 +0900</a></div>
+          </div>
+          <div class="description">毎回思うけど全然恥ずかしくないですよ！胸張ってやりましょうよ！！</div>
+          <a class="link-to-replies" href="68/1722766084.174739.html">... Replies ...</a>
+        </div>
+      </div>
     </div>
     <div class="ui pagination menu">
       <a href="../../html/CUPBC8WCE/67.html" class="item">Previous</a>

diff --git a/docs/html/CUPBC8WCE/68/1722766084.174739.html b/docs/html/CUPBC8WCE/68/1722766084.174739.html
@@ -0,0 +1,39 @@
+<!DOCTYPE html>
+<html>
+<head>
+<meta charset="utf-8">
+<title>haskell-jp / mokumoku-online #68 at 2024-08-04 19:08:04 +0900</title>
+<link rel="stylesheet" href="../../../main.css" type="text/css" media="screen">
+</head>
+<body>
+  <div class="ui container">
+    <h1>haskell-jp / mokumoku-online #68 at 2024-08-04 19:08:04 +0900</h1>
+    <div class="ui pagination menu">
+      <a href="../68.html" class="item">Back to mokumoku-online #68</a>
+    </div>
+    <div class="ui feed">
+      <div class="event" id="message-1722766084.174739">
+        <div class="content">
+          <div class="summary">
+            <div class="user">igrep</div>
+            <div class="date"><a class="date" href="#message-1722766084.174739">2024-08-04 19:08:04 +0900</a></div>
+          </div>
+          <div class="description">毎回思うけど全然恥ずかしくないですよ！胸張ってやりましょうよ！！</div>
+        </div>
+      </div>
+      <div class="event" id="message-1722767060.983739">
+        <div class="content">
+          <div class="summary">
+            <div class="user">S.K.</div>
+            <div class="date"><a class="date" href="#message-1722767060.983739">2024-08-04 19:24:20 +0900</a></div>
+          </div>
+          <div class="description">@igrepさん、ありがとうございます。もっと胸張ってやれるようになります。</div>
+        </div>
+      </div>
+    </div>
+    <div class="ui pagination menu">
+      <a href="../68.html" class="item">Back to mokumoku-online #68</a>
+    </div>
+  </div>
+</body>
+</html>
diff --git a/docs/index.html b/docs/index.html
@@ -2701,7 +2701,7 @@ <h1>Slack log of haskell-jp</h1>
         <div class="content">
           <details>
             <summary>
-              <a href="html/CUPBC8WCE/68.html">mokumoku-online</a> (Last updated at 2024-07-28 23:39:43 +0900)
+              <a href="html/CUPBC8WCE/68.html">mokumoku-online</a> (Last updated at 2024-08-04 19:08:04 +0900)
             </summary>
             <div class="ui items">
               <div class="page item">

diff --git a/docs/json/.timestamps.json b/docs/json/.timestamps.json
@@ -10,7 +10,7 @@
     "CM4J6EDHR": "1718427143.324419",
     "CE368SB5G": "1708179791.843599",
     "C4LFB6DE0": "1706698766.642739",
-    "CUPBC8WCE": "1722177583.484919",
+    "CUPBC8WCE": "1722766084.174739",
     "C014PGG641Z": "1718427092.994669",
     "C028VRTRBRT": "1718427063.735209",
     "C7Y71415W": "1717754589.412189",

diff --git a/docs/json/CUPBC8WCE/68.json b/docs/json/CUPBC8WCE/68.json
@@ -160,5 +160,65 @@
         "text": "延長戦　とりあえずほしいやつが生えてコンパイル通ったので勝利",
         "type": "message",
         "user": "U4KNX0J3A"
+    },
+    {
+        "ts": "1722735869.134629",
+        "text": "<@U4MA78F6X> has joined the channel",
+        "type": "message",
+        "user": "U4MA78F6X"
+    },
+    {
+        "ts": "1722744036.056719",
+        "text": "",
+        "type": "message",
+        "user": null
+    },
+    {
+        "ts": "1722744244.756489",
+        "text": "山本悠滋です。いつもどおりmakeMistakesToLearnHaskellやcabal replの件の続きをします。別にやりたいタスクがあるので早めに切り上げるかも",
+        "type": "message",
+        "user": "U4LGTMTMK"
+    },
+    {
+        "ts": "1722744763.205899",
+        "text": "<https://bartoszmilewski.com/2016/11/30/monads-and-effects/|Category Theory for Programmers> (2014) Bartosz Milewski (Part Three: 21. Monads and Effects ~ )\nあとハシゴで <https://atcoder.jp/contests/typical90|競プロ典型 90 問> 64 日目 - Uplift（★3）",
+        "type": "message",
+        "user": "U584T7GAH"
+    },
+    {
+        "ts": "1722745580.963569",
+        "text": "S.K.です。少し遅くなってしまいましたが、今週もお世話になります。よろしくお願いします。\n先週に引き続き、Implementing Functional Languages: a tutorial の 4.7 Mark 6: Constant applicative forms and the code store の続きを進めていこうと思います。",
+        "type": "message",
+        "user": "U04BD6ZFKQ8"
+    },
+    {
+        "ts": "1722757154.940069",
+        "text": "今日はここまでにします。\n・makeMistakesToLearnHaskellの更新:\n<https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/8134ba4329c854c82353e23158b8406a5c545d1a>\n<https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/26af85503e9299a12befcbf3942a28aee2b111b5>\n・cabal replの件は、前回出くわしたテストの失敗が.cabalファイルのインデントの扱いに起因することに気づいて直してます。インデントの長さを数えると同時にパーサーでインデントの分を消費していたのが混乱の元なので、attoparsecのlookAheadを使うことでインデントの長さを数える際に消費しないようにする作戦で修正しています。",
+        "type": "message",
+        "user": "U4LGTMTMK"
+    },
+    {
+        "ts": "1722762010.618889",
+        "text": "",
+        "type": "message",
+        "user": null
+    },
+    {
+        "ts": "1722762423.912209",
+        "text": "Category Theory for Programmers (Part Three: 21. Monads and Effects ~ 22. Monads Categorically) まで読了　モナドの功徳を挙げて Read / Write / State / Exceptions / Continuations / IO の例を示している　次に圏論的アプローチをしていて Monoidal Categories の Monoid を通して随伴からモナドを見ている　いわば舞台裏を覗かせてくれる　数学的にはむしろこちらが本筋なのだろうけど　納得するとは　数々の例を通して説得される事なのか　あるいは隠れた本質を理解する事なのか　凡人には前者かも\n競プロ典型 90 問 64 日目 - Uplift（★3）　思案投げ首　差分数列を BIT で管理して両端での価変更でかなり対処できるが　最終的に絶対値の和にするところで破綻？",
+        "type": "message",
+        "user": "U584T7GAH"
+    },
+    {
+        "ts": "1722763952.437069",
+        "text": "最初にコンパイル結果を表示する際に、スーパーコンビネータ名を表示できない不具合の対応をしていました。いい方法が思いつかなかったので、苦し紛れにかなり安易で姑息な方法を取ってしまいました。\nCodeStore型をグローバルフレームのみに変更したのですが、コンパイル結果を表示処理のためだけに、スーパーコンビネータ名と対応するインデックス番号のタプルのリストを、\nグローバルフレームとは別にマシンのステートに持たせてしまいました。\n最初にコンパイル結果を表示する際は、グローバルフレームのクロージャを順番に処理する際に、インデックス番号からスーパーコンビネータ名を求めて表示しています。\nPush Label 命令や Enter Label 命令を実行する際はインデックス番号だけを使って処理するようにはしたのですが．．．多分テキストの趣旨はこんな対応ではないと思います。お恥ずかしい。",
+        "type": "message",
+        "user": "U04BD6ZFKQ8"
+    },
+    {
+        "ts": "1722766084.174739",
+        "text": "毎回思うけど全然恥ずかしくないですよ！胸張ってやりましょうよ！！",
+        "type": "message",
+        "user": "U4LGTMTMK"
     }
 ]
diff --git a/docs/json/CUPBC8WCE/68/1722766084.174739.json b/docs/json/CUPBC8WCE/68/1722766084.174739.json
@@ -0,0 +1,14 @@
+[
+    {
+        "ts": "1722766084.174739",
+        "text": "毎回思うけど全然恥ずかしくないですよ！胸張ってやりましょうよ！！",
+        "type": "message",
+        "user": "U4LGTMTMK"
+    },
+    {
+        "ts": "1722767060.983739",
+        "text": "<@U4LGTMTMK>さん、ありがとうございます。もっと胸張ってやれるようになります。",
+        "type": "message",
+        "user": "U04BD6ZFKQ8"
+    }
+]