haskell-jp / mokumoku-online #19

igrep
2020-08-30 13:28:16 +0900
雑談・相談用にFacebook Messenger Roomを作りました。

ご自由にご利用ください。hask(_ _)eller
Yutaro
2020-08-30 13:45:48 +0900
@Yutaro has joined the channel
nakaji-dayo
2020-08-30 13:48:05 +0900
おっとすみません、ありがとうございます。
何ミスってたんだろうか
nakaji-dayo
2020-08-30 14:16:30 +0900
@igrep 引き続き使えてます
igrep
2020-08-30 14:17:03 +0900
すばらしい。当面こいつでやりますか！ずっと使ってなかったら閉じる、とかじゃありませんように :pray:
kakkun61
2020-08-30 14:23:05 +0900
来ました
岡本です
『The Implementations of Functional Programming Languages』読んでいきます
kakkun61
2020-08-30 14:24:21 +0900
Facebook Messenger Room ってビデオチャットですか？
igrep
2020-08-30 14:30:17 +0900
はい :video_camera:
入った直後はカメラオンになるっぽいっすね... :sweat:
kakkun61
2020-08-30 14:56:54 +0900
Room 聞き専で参加できなかった
igrep
2020-08-30 15:02:55 +0900
:gununu: 次回はWherebyにするかな... :confused:
gksato
2020-08-30 15:04:33 +0900
Camera私は切って参加できましたけど…
gksato
2020-08-30 15:04:43 +0900
入った後にマイクは切りました
igrep
2020-08-30 15:06:23 +0900
そう、そもそもカメラが（マイクも？）ない場合なので...
kakkun61
2020-08-30 15:41:48 +0900
よく考えたら Haskell のできる前の本だから Miranda なんですね
kakkun61
2020-08-30 16:39:09 +0900
graph reduction を知りたかったので第2部（第10章）から読んでいるのですが第10章 Program Representation を読み終わりました
kakkun61
2020-08-30 16:40:19 +0900
スマホ充電しながらビデオ通話してたらアプリ落ちてスマホ熱々になってた
Slackbot
2020-08-30 18:00:18 +0900
Reminder: 成果報告の時間です！何か、やったことを軽くご共有いただけると幸いです hask(_ _)eller.
igrep
2020-08-30 18:02:10 +0900
typesafe-precureを更新するべく新しいプリキュアの設定を追加してましたが、途中でGHC 8.10.1以降に入ったバグにハマってました。最小ケースが作れたので報告を書いているところです。 :disappointed_relieved:
nakaji-dayo
2020-08-30 18:05:24 +0900
ghcにMR送りました。今日コード書いたのではなく、今日はMRの書き方とか読んでました。時間かかった、、
更に他のチケットを読んでます。関連してgitlab ciをローカルでうまく実行できなくて格闘中
nakaji-dayo
2020-08-30 18:07:30 +0900
https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3938
(haskellじゃないですが:sweat_smile:
gksato
2020-08-30 18:07:34 +0900
vector にissueを送りました(`takeWhile` がドキュメントだとcopyfreeって書いてあるけど実装はcopyしてるよ)が、解決策できてると思ったら不安点が出てissueに提案するとこまで行かなかったと言う…
kakkun61
2020-08-30 18:15:38 +0900
『The Implementations of Functional Programming Languages』10章と11章途中まで読みました
まだイントロという感じ
igrep
2020-08-30 18:36:36 +0900
送れました。
https://gitlab.haskell.org/ghc/ghc/-/issues/18622
書いたとおりほぼ間違いなくうまくいくであろうワークアラウンドもわかっているので、今日中に全部やってしまいたい
nakaji-dayo
2020-08-30 22:33:45 +0900
@lotz <@U59TQ3MJ9> <@U4L0B71L1> @igrep 次回の日程と担当者決めさせて下さい:pray:
順番的には @lotz さん @igrep さんの順の優先度のようです。
igrep
2020-08-30 22:34:49 +0900
次週は土曜日なら！
kakkun61
2020-08-30 22:38:51 +0900
いつも通り日曜日 :ok:
lotz
2020-08-30 22:45:39 +0900
すみません、来週も土日厳しいです :bow:
igrep
2020-08-30 22:47:13 +0900
ワシがやる。その次の9/12・9/13はちょっとどちらもフル参加できなさそうなので。
nakaji-dayo
2020-08-30 22:56:42 +0900
@igrepありがとうございます！
igrep
2020-08-30 23:03:06 +0900
set up a reminder “第48回Haskell-jpもくもく会の時間です！好きなタイミングでいいので、自己紹介と今日やりたいことを書き込んでいただけると！ hask(_ _)eller” in this channel at 1PM Saturday, September 5th, Japan Standard Time.
igrep
2020-08-30 23:10:05 +0900
set up a reminder “成果報告の時間です！何か、やったことを軽くご共有いただけると幸いです hask(_ _)eller” in this channel at 6PM Saturday, September 5th, Japan Standard Time.
Arakur
2020-08-31 02:01:33 +0900
@Arakur has joined the channel
niszet
2020-09-04 09:06:00 +0900
@niszet has joined the channel
shimama
2020-09-04 21:00:30 +0900
@shimama has joined the channel
Slackbot
2020-09-05 13:00:17 +0900
Reminder: 第48回Haskell-jpもくもく会の時間です！好きなタイミングでいいので、自己紹介と今日やりたいことを書き込んでいただけると！ hask(_ _)eller.
igrep
2020-09-05 13:01:44 +0900
本日の運営山本悠滋です。今日は前回できなかったslack-logのこのissue https://github.com/haskell-jp/slack-log/issues/42 の続きと言うことで、副産物的にできたテスト用パッケージを実装・リリースします。
shimama
2020-09-05 13:03:36 +0900
はじめまして、島と申します。
Haskellは初心者なので、入門書を読み込む時間にしたいと思っています。
igrep
2020-09-05 13:04:56 +0900
Facebook Messenger Rooms, 同じURLを再利用することはできないのか... :disappointed:
igrep
2020-09-05 13:08:40 +0900
今日は雑談用にWhereByというサービスを使おうと思います。特にユーザー登録することなく誰でも使えるので、雑談・相談したくなったらいつでもどうぞ。でも、無料プランなので4人までしか入れないから注意！
https://whereby.com/yamamoto-yuji-chat
Arakur
2020-09-05 13:10:51 +0900
Arakurと申します. 初参加です, 宜しくお願いします.
Haskell(とRust)で自作言語の処理系を作っています. 今日は関数の書き換え規則をテーブルから読み込んでパターンマッチさせる処理を完成させたいです.
gksato
2020-09-05 16:07:58 +0900
だいぶ遅くなりましたが、参加します。前回のvectorのtakeWhileの話の続き。実装を実際にしようとするとややこしくなってきています・・・。終わったら自分用AtCoder向けSegTreeライブラリを作ろうかな。 https://github.com/haskell/vector/issues/330
gksato
2020-09-05 16:08:32 +0900
（というか、コメントをつけ終わったら）
igrep
2020-09-05 17:03:42 +0900
どなたか入室しようとしたけど満室になりましたね？
nakaji-dayo
2020-09-05 17:05:37 +0900
入ろうとしたら、満室ですとでて、通知飛んでしまいました
もうあまり時間無いので、お気になさらずー
igrep
2020-09-05 17:07:35 +0900
@nakaji-dayo あ、じゃあルームのオーナーである私がいない状態を試したいので残り進めてください！どうせFirefoxも不調になるので抜けます！
nakaji-dayo
2020-09-05 17:09:45 +0900
お、入ってみれば良いだけですか？
igrep
2020-09-05 17:10:56 +0900
そのままみなさんと交流を！ hask(_ _)eller