haskell-jp / mokumoku-online #16

駒鳥(hxf_vogel)
2020-07-24 18:27:29 +0900
来週は私どちらでも参加できます！
kakkun61
2020-07-24 18:28:44 +0900
レシピって循環しない DAG か
kakkun61
2020-07-24 18:29:02 +0900
日曜日なら
igrep
2020-07-24 18:29:20 +0900
まぁそりゃMakefileで表現できるでしょうから
kakkun61
2020-07-24 18:29:47 +0900
来週はもう8月なんですね
駒鳥(hxf_vogel)
2020-07-24 18:31:02 +0900
昔freemonadで料理レシピの表現を試みたことがあったけどしょぼすぎたので楽しみにしてます！
nakaji-dayo
2020-07-24 18:33:56 +0900
各手順や道具とかの依存で並列実行解決できますよね。やりたい（夢
駒鳥(hxf_vogel)
2020-07-24 18:36:48 +0900
では日曜日でしょうか？多分8月の2週目以降は暫く参加難しいので、私がやります！
nakaji-dayo
2020-07-24 18:37:36 +0900
@駒鳥(hxf_vogel) では、お願いします！
nakaji-dayo
2020-07-24 18:39:38 +0900
先人がいらっしゃった！私もしょぼく無いところまで作りきれるかは怪しい
駒鳥(hxf_vogel)
2020-07-24 21:17:24 +0900
set up a reminder “第43回Haskell-jpもくもく会の時間です！好きなタイミングでいいので、自己紹介と今日やりたいことを書き込んでいただけると！ hask(_ _)eller” in this channel at 1PM Sunday, July 26th, Japan Standard Time.
igrep
2020-07-24 21:18:06 +0900
そうっすね。 @here を外したらうまく行かないか試した方がいいっすね :+1:
駒鳥(hxf_vogel)
2020-07-24 21:18:45 +0900
これは失敗ですか？見えちゃってますが笑
igrep
2020-07-24 21:19:08 +0900
あ、でも日付が7/26になってる！今日はまだ金曜日で、「next sunday」は7/26だからか！
igrep
2020-07-24 21:19:57 +0900
「set up a reminder」が見えるのはSlackの仕様なので無問題です。
（実際リマインダーを設定したことがチームの他の人にも見えてないと、びっくりしちゃうでしょうし
駒鳥(hxf_vogel)
2020-07-24 21:20:28 +0900
なるほど．リマインダ作成し直しますー
駒鳥(hxf_vogel)
2020-07-24 21:27:47 +0900
set up a reminder “第43回Haskell-jpもくもく会の時間です！好きなタイミングでいいので、自己紹介と今日やりたいことを書き込んでいただけると！ hask(_ _)eller” in this channel at 1PM Sunday, August 2nd, Japan Standard Time.
駒鳥(hxf_vogel)
2020-07-24 21:29:07 +0900
set up a reminder “成果報告の時間です！何か、やったことを軽くご共有いただけると幸いです hask(_ _)eller” in this channel at 6PM Sunday, August 2nd, Japan Standard Time.
Slackbot
2020-08-02 13:00:14 +0900
Reminder: 第43回Haskell-jpもくもく会の時間です！好きなタイミングでいいので、自己紹介と今日やりたいことを書き込んでいただけると！ hask(_ _)eller.
igrep
2020-08-02 13:01:49 +0900
やっぱり`here` がくせ者やったか
駒鳥(hxf_vogel)
2020-08-02 13:02:52 +0900
コンパイラ作るにあたって，今日はアセンブラからバイナリへの変換を書いていきますー
gksato
2020-08-02 13:05:36 +0900
こんにちは。gksatoと言います。今日は vector へのパッチを書く予定です!
gksato
2020-08-02 13:08:07 +0900
皆さんよろしくお願いします。
Ftt
2020-08-02 13:13:51 +0900
こんにちはFttです
プログラミングHaskell第2版の9章をやっていきます。
igrep
2020-08-02 13:22:35 +0900
山本悠滋です。今日は https://github.com/haskell-jp/slack-log/issues/42 の続きとして、 SlackのAPI https://api.slack.com/methods/conversations.replies というのを実装します。
お昼ご飯の直後なんでもうちょっと休んでから :relieved:
igrep
2020-08-02 13:48:29 +0900
間もなく始めるので https://spatial.chat/s/Haskell-jp にはいります。
雑談・相談したくなったらいつでも使ってください。
kakkun61
2020-08-02 15:32:26 +0900
遅れながら、岡本です。
either-result のモナドトランスフォーマー版作っていきます。
https://hackage.haskell.org/package/either-result-0.1.2.0
kakkun61
2020-08-02 15:32:43 +0900
すでに Read1 の実装につまずいている
kakkun61
2020-08-02 15:40:30 +0900
Read1 とか Show1 とか base にあるけど地味に使ったことがないんですよね
igrep
2020-08-02 15:41:35 +0900
確かに直接使うことはなさそう。
karoyakani
2020-08-02 15:47:43 +0900
AtCoder ABC171 F - Strivore
nakaji-dayo
2020-08-02 16:06:09 +0900
遅くなってしまいましたが、中嶋です。
お料理のレシピ書くためのライブラリ作ります（前回の続き
Slackbot
2020-08-02 18:00:28 +0900
Reminder: 成果報告の時間です！何か、やったことを軽くご共有いただけると幸いです hask(_ _)eller.
igrep
2020-08-02 18:01:56 +0900
宣言どおり SlackのAPI https://api.slack.com/methods/conversations.replies が実装できたはず。
手元ではまだ試せてませんが。
駒鳥(hxf_vogel)
2020-08-02 18:02:28 +0900
構文解析前の準備が一通り終わりました．最初の計画から変更がありモジュールが散らばってしまったのでどこかのタイミングで整理しないと...
コンパイラ作るの初めてなので，型付けとか贅沢なことを言う前にまずは動くバイナリ を吐けるようにしていきます．
https://github.com/wvogel00/HsPIC
kakkun61
2020-08-02 18:02:31 +0900
ExceptT をラップする形で ResultT ができました。
これは transformers に対応するので次は mtl 相当のものを作る予定。
igrep
2020-08-02 18:04:23 +0900
MonadStateとかの実装結構大変ですよね。自分も一度別件でチャレンジして諦めました :disappointed:
gksato
2020-08-02 18:04:26 +0900
vector に dropWhile の実装の改善提案を送りました！ すでにメモリに居るVectorに対しては findIndex した後 drop することで extra vector allocationがゼロになります！ https://github.com/haskell/vector/pull/327
駒鳥(hxf_vogel)
2020-08-02 18:07:47 +0900
dropWhileの実装こうなっていたんですね，初めて知りました...
Ftt
2020-08-02 18:08:21 +0900
9章が終わらなかったので平日もがんばります。
kakkun61
2020-08-02 18:08:25 +0900
INLINE_FUSED 初めて見ました
kakkun61
2020-08-02 18:13:01 +0900
vector、融合変換や stream など駆使されてて簡単に手が出せない
kakkun61
2020-08-02 18:13:52 +0900
2つの実装で悩んで前者にしたのは GND でもろもろ実装するためです！
newtype ResultT m a = ResultT (ExceptT String m a)
newtype ResultT m a = ResultT (m (Result a))
igrep
2020-08-02 18:16:05 +0900
ああー、そうだその手があった :sorena: :bulb:
自分の時は中途半端にtransformerを二つ重ねたものだったからGNDが使えないんだった。
おかげでfakefsのよりよい設計がようやく思い浮かんだぞ。ありがとう！
igrep
2020-08-02 18:20:37 +0900
@駒鳥(hxf_vogel) @kakkun61@lotz @nakaji-dayo 次回の日程決定タイム
@駒鳥(hxf_vogel) さんはしばらく参加が難しいのでしたよね？
私は8/9（日）・8/10（月）なら今のところすべて参加可能です。
igrep
2020-08-02 18:21:04 +0900
:pray: （すぐに別件があるので、早めにスレッドを作りました。お手すきの際に回答を！）
駒鳥(hxf_vogel)
2020-08-02 18:22:55 +0900
来週は参加できることになりましたが，その次は10月になると思います...
日・月なら私も1日空いています
kakkun61
2020-08-02 18:24:51 +0900
お、月曜日は山の日なのか
kakkun61
2020-08-02 18:26:00 +0900
:ok: 日月
:ng: 土
igrep
2020-08-02 18:35:53 +0900
ちなみに土曜日はこれです。楽しみ :muscle:
https://connpass.com/event/180812/