haskell-jp / mokumoku-online #1

igrep
2020-02-28 09:04:26 +0900
@igrep has joined the channel
igrep
2020-02-28 09:04:26 +0900
@igrep set the channel purpose: もくもく会をオンラインで行いたいときに使いましょう
igrep
2020-02-28 09:10:42 +0900
とりあえず次回のHaskell-jpもくもく会 オンラインの為に使いますが、他のオンラインもくもく会で使いたいときに使ってもいいかと思ってこの名前にしました。
igrep
2020-02-28 09:11:26 +0900
@igrep set the channel topic: もくもく会をオンラインでやりたいときに使いましょう
木村洋太
2020-02-28 20:40:07 +0900
@木村洋太 has joined the channel
matsubara0507
2020-02-28 20:44:25 +0900
@matsubara0507 has joined the channel
1to100pen
2020-03-07 16:38:46 +0900
@1to100pen has joined the channel
2020-03-09 09:08:05 +0900
@ has joined the channel
khibino
2020-03-10 14:01:58 +0900
@khibino has joined the channel
Nicolas
2020-03-13 16:28:38 +0900
@Nicolas has joined the channel
as_capabl
2020-03-13 17:57:38 +0900
@as_capabl has joined the channel
hexirp
2020-03-14 10:23:56 +0900
@hexirp has joined the channel
naohaq
2020-03-14 11:20:46 +0900
@naohaq has joined the channel
naohaq
2020-03-14 11:22:55 +0900
(妻が不在で息子と二人で自宅にいるためもくもくは難しいですがチャネルには参加しておきます)
igrep
2020-03-14 11:26:24 +0900
まぁ参加登録はしててもしてなくてもいいので、できるペースでやっちゃってください
khibino
2020-03-14 12:57:32 +0900
こんにちは。
khibino
2020-03-14 12:57:43 +0900
谷本さんと一緒に自宅から参加予定です。
Haskell Relational Record 関連の作業をすすめる予定。
igrep
2020-03-14 13:01:23 +0900
時間になりましたので始めましょー。各人好きなタイミングでいいので、自己紹介と今日やりたいことの報告をお願いします！ hask(_ _)eller
hexirp
2020-03-14 13:02:06 +0900
Hexirp です。オンラインなら参加できるので試しに参加してみます。 hakyll のフォーク ( https://github.com/Hexirp/hexirp-hakyll ) の開発を進めます。
igrep
2020-03-14 13:04:25 +0900
https://twitter.com/igrep です。このSlack Workspaceのadminなので、何かトラブルがあったらご相談ください。
今日は、とりあえずまだお昼ご飯 :rice: なので食べて昼寝してから始めます。
最近アセンブリーの勉強をしているので、GHCが吐いたコードをIDA Proなどのリバースエンジニアリングツールで読んで、GHCのランタイムとアセンブリーを一緒に欲張って勉強できたらなぁ、というつもりです
as_capabl
2020-03-14 13:05:44 +0900
アズなんとかさんと申します。自作ストリームライブラリmachinecellを久々に触ってみる予定です https://github.com/as-capabl/machinecell/tree/master
matsubara0507
2020-03-14 13:06:32 +0900
まつばらです。
setup-stack っていうリポジトリをリファクタリングする予定です。
https://github.com/matsubara0507/setup-stack
（直接 Haskell のコード書かないけど
matsubara0507
2020-03-14 13:07:01 +0900
fork していじり始めたけど、なんか丸っと書き直したくなったので fork やめて作り直す気がする
Nicolas
2020-03-14 13:10:34 +0900
こんにちは！ニコラスと申します。数学好きな大学4年生、Haskell初心者です。4月から大阪に院進します！
今日はhackerrankとかネット上にある問題をもくもくします。よろしくお願いします。
myamamura
2020-03-14 13:13:48 +0900
@myamamura has joined the channel
igrep
2020-03-14 13:15:10 +0900
@myamamura https://haskell-jp.connpass.com/event/169347/participation/#participants 参加登録されたmyamamuraさんですよね？（間違ってたら済みません :sweat_drops:
https://haskell-jp.slack.com/archives/CUPBC8WCE/p1584158483004700 のとおり、自己紹介とやりたいことの報告をお願いします。
myamamura
2020-03-14 13:20:53 +0900
@igrep myamamuraです。よろしくお願いします。(slackがまだよくわかっておらず、戸惑っていました...。)今日は『Haskell 教養としての関数型プログラミング』を前回の続きから進めます。
igrep
2020-03-14 13:23:31 +0900
よろしくお願いします。
何か気になった点、特にHaskellはじめたての方で何かわからないことがあれば、このチャンネルで結構ですのでお気軽に質問ください！教える人も教わる人もみんな学べるので！
fumieval
2020-03-14 13:23:46 +0900
@fumieval has joined the channel
naohaq
2020-03-14 13:45:13 +0900
苛性ソーダです。「トポロジー入門」(松本幸夫) を読み進める予定です。 ( https://twitter.com/NaOHaq/status/1236650795371642880 )
2020-03-14 13:49:11 +0900
@ has joined the channel
2020-03-14 13:52:12 +0900
今日はひたすらJava Spring Boot の勉強をしますよ。仕事の要求がなければCoqの勉強を続けたいのですが。しばらく回り道。。。なんかHaskellにはかなり遠いですが:sweat_smile:
tanimocchi
2020-03-14 14:15:55 +0900
@tanimocchi has joined the channel
tanimocchi
2020-03-14 14:16:54 +0900
今日は、NIST SP800-90A の DBRG のお勉強します。
igrep
2020-03-14 14:27:18 +0900
あの、言い忘れてましたが、あまりHaskellから離れたことはこっそりとお願いします... :pray:
syocy
2020-03-14 14:38:10 +0900
@syocy has joined the channel
syocy
2020-03-14 14:40:05 +0900
今日はhiggledyでHigher Kinded Dataの勉強をしようと思いましたが、GHC8.8に対応していなかったのでより低レイヤーなbarbiesで遊びます。
naohaq
2020-03-14 14:42:55 +0900
ほにゃららの基礎で出てきたような可換図式が書けそうな演習問題……
y_taka_23
2020-03-14 16:08:03 +0900
@y_taka_23 has joined the channel
igrep
2020-03-14 16:08:14 +0900
チェシャ猫さんよろしくお願いします :bow:
2020-03-14 16:28:21 +0900
なんか最近よくReactive Programmingって聞くんですけど、これって何？　HaskellのMonadみたいなものなの？
2020-03-14 16:31:11 +0900
イベント駆動とか、コールバックとか、プログラムを即実行するのではなく、適当な実行機に渡しておいて後はよろしく、ってことなんでしょうか？
naohaq
2020-03-14 16:40:54 +0900
最近(15年前くらいから)よく聞きますね。 < Reactive Programming
Yampa https://github.com/ivanperez-keera/Yampa/#papers-and-technical-reports とかが有名な印象があります。
as_capabl
2020-03-14 16:44:57 +0900
Haskellだと頭にFunctionalを付けたFunctional Reactive Programming(FRP)の方が色々見つかるかもしれません
ただ、実際使ってみるとなかなか上手く行かない部分が多くて、ここ数年は少し下火になっている感じがあり。
y_taka_23
2020-03-14 16:46:57 +0900
ごく初期の Elm が Reactive を標榜していたけど、途中から「もはや Reactive ではない」みたいなこと言い出して自分の中でよく分からなくなった。
igrep
2020-03-14 16:46:57 +0900
Elmはver. 0.17（だったかな？）以降FRPを標榜しなくなりましたが、今でも根っこではFRPが生きているという認識です（The Elm Architectureで隠蔽されているからあまり意識することもないけど
naohaq
2020-03-14 16:57:13 +0900
20年近く前に、自機と自弾と敵機と敵弾の相互作用(衝突時の挙動)だけ記述できればシューティングゲーム作れるんじゃね？と思ってそういうスクリプト言語作ってみたら、実際に遊べるシューティングゲームにしようとするとグローバルに管理しないといけないものが色々あってうまく閉じなかったのを思い出します。
hexirp
2020-03-14 17:00:25 +0900
状態の分離と隠蔽そのものがアンチパターンな印象を受けますがどうなんでしょう