haskell-jp / mokumoku-online #21

igrep
2020-09-12 15:08:51 +0900
まだ登録してないという方は https://nework.app/invitations/01EJ0EVG42VFK0ZY1B5SVZZYEC から登録してください。
（このリンクは1日しか有効じゃないそうです）
igrep
2020-09-12 15:13:05 +0900
画面左下曰く、デフォルトでは「ワーク」という状態で、相手の音しか聞こえない設定になっているみたいです。
会話したい場合は左の「オープン」という状態をクリックして切り替えるようです。
igrep
2020-09-12 15:18:33 +0900
ちょっと使い方を理解するまでに時間かかりますね。SpatialChatほど直感的ではないな...
siosio
2020-09-12 15:24:02 +0900
@shimama さんと同じ書籍「プログラミングHaskell 第2版」を進めます。7章の演習問題を解きます。
Slackbot
2020-09-12 18:00:10 +0900
Reminder:  "成果報告の時間です！何か、やったことを軽くご共有いただけると幸いです hask(_ _)eller" at.
igrep
2020-09-12 18:01:20 +0900
思ったよりも捗らずテストの実装が一つできました。
この後の用事がなくなるかそのままやるかの瀬戸際なんで悩みながら続けようかな...
shimama
2020-09-12 18:02:34 +0900
11章の練習問題1,2と12章の練習問題1~6をやりました
siosio
2020-09-12 18:08:16 +0900
7章を読んで練習問題7.9の1から3までやりました。が一部詰まって答えを見てしまいました…
igrep
2020-09-13 16:51:55 +0900
@lotz @kakkun61 @nakaji-dayo 来週担当をそろそろ決めたいです！
私は日曜日なら空いてます！
nakaji-dayo
2020-09-13 16:52:50 +0900
土日空いてます！
igrep
2020-09-13 17:03:56 +0900
誰が最後にいつやったか見ようかと思ったけどスマホ版 :calendar: だと書いてないっぽいな…:cold_sweat:
良ければ今PC触れる方確認してください:pray:
kakkun61
2020-09-14 10:13:33 +0900
日月で
igrep
2020-09-14 10:15:51 +0900
@kakkun61 ありがとう！順番的に次お願いします！ :pray:
日月どちらも好きな方を！（そういえば自分も月曜 :ok: だった）
kakkun61
2020-09-14 17:42:34 +0900
りょ
kakkun61
2020-09-14 20:33:46 +0900
set up a reminder “もくもく会の時間です。自己紹介と今日やることを書き込みましょう。” in this channel at 1PM Saturday, September 19th, Japan Standard Time.
kakkun61
2020-09-14 20:34:22 +0900
set up a reminder “もくもく会の時間です。自己紹介と今日やることを書き込みましょう。” in this channel at 1PM Sunday, September 20th, Japan Standard Time.
kakkun61
2020-09-14 20:35:30 +0900
set up a reminder “成果報告の時間です。やったことを共有しましょう。” in this channel at 6PM Sunday, September 20th, Japan Standard Time.
Slackbot
2020-09-19 18:00:27 +0900
Reminder: 成果報告の時間です！何か、やったことを軽くご共有いただけると幸いです hask(_ _)eller.
kakkun61
2020-09-19 20:32:10 +0900
ぐぬぬ
kakkun61
2020-09-19 20:32:51 +0900
自分の明日の分かと思ったが先週分か
zaneli
2020-09-20 12:16:28 +0900
@zaneli has joined the channel
Slackbot
2020-09-20 13:00:19 +0900
Reminder: もくもく会の時間です。自己紹介と今日やることを書き込みましょう。
igrep
2020-09-20 13:02:32 +0900
山本悠滋です。今日もslack-logのこのissueの続き https://github.com/haskell-jp/slack-log/issues/42 をします。
... が、その前にタイプセーフプリキュア！に軽い修正を加えてリリースします。以前と違って今度はすぐ終わるはず。
siosio
2020-09-20 13:04:29 +0900
塩入です。書籍「プログラミングHaskell 第2版」の第8章を進めます。
zaneli
2020-09-20 13:04:52 +0900
こんにちは、初めて参加します。

ClickHouse というDBのクライアントを個人的に作っていまして、
ある程度形にはなってきたんですが書き込みのテストがひとつもないので今日はそれを拡充していく予定です。
https://github.com/zaneli/hdbc-clickhouse
as_capabl
2020-09-20 13:06:52 +0900
アズなんとかさんと申します。Haskellで3Dフォーマットを読むやつを少しやろうと思います。
https://github.com/as-capabl/vrm-progs
kakkun61
2020-09-20 13:08:48 +0900
jekyll で自サイトを生成してるのですが、レールを外れたくなってきて jekyll だとそれが難しいので slick を使ってみようかと思います
slick は shake ベースの静的サイト生成器
https://hackage.haskell.org/package/slick
zaneli
2020-09-20 13:18:47 +0900
Slick というと Scala の DB ライブラリに同名のものがありますね。 :eyes:
語源が同じだったりするのかな？
(今調べて初めて知ったけど、jsにもあるらしい)
kakkun61
2020-09-20 13:20:00 +0900
一般の英単語ですからねえ
lotz
2020-09-20 13:21:00 +0900
今日は途中で sg-algorithm-design-with-haskell があるので抜けますが、最近のHaskell話題に追いつけてないのでもくもく調べていきたいと思います。最近面白かった話題とかあったら教えて下さい！（カンファレンスで面白かった動画とかとか
lotz
2020-09-20 13:21:59 +0900
js の slick って横めくりでコンテンツ表示するやつですよね:eyes:（よく使ってた記憶
kakkun61
2020-09-20 13:24:53 +0900
やすものヘッドセットが折れた
siosio
2020-09-20 13:28:18 +0900
自分は内容を見ていませんが←
中国のHaskellグループにて下記動画が紹介されておりました。GCについてのようですが、最新の話題かどうかは分かりません…(もし基礎的な内容でしたらすみません)
https://youtu.be/vvLDerKtUWE
lotz
2020-09-20 13:30:04 +0900
GCの話面白そうですね:eyes:ありがとうございます!!
Arakur
2020-09-20 14:05:46 +0900
遅ばせながら参加します. アラクーといいます. 自作プログラミング言語制作の続きをやります.
nakaji-dayo
2020-09-20 15:15:00 +0900
遅くなりました。中嶋です。
やること決まってないですがとりあえず、ghcのissue見てみます。
よろしくお願いします。
lotz
2020-09-20 15:23:52 +0900
main.hs:40:7: error:
    Illegal symbol '.' in type
    Perhaps you intended to use RankNTypes or a similar language
    extension to enable explicit-forall syntax: forall <tvs>. <type>
   |
40 | type (.) = Compose
   |       ^
kakkun61
2020-09-20 15:29:56 +0900
@Arakur assocAlterF の型教えてもらっていいですか？
igrep
2020-09-20 15:30:49 +0900
GHC 8.10.1のGHCiでできました。以下を貼り付けてね！
:set -XTypeOperators

import Data.Functor.Compose

type (.) = Compose
:k (.)

:set -XDerivingVia
:{
newtype ReaderIO env a = ReaderIO (env -> IO a)
    deriving (Functor, Applicative) via ((->) env . IO)
:}
act = (ReaderIO putStrLn *> ReaderIO putStrLn)
ReaderIO act' = act
act' "hello"
Arakur
2020-09-20 15:32:33 +0900
Data.Map.Strict.alterFのエイリアスにしているのでalterFと同じで::(Functor f,  k) => ( a -> f ( a)) -> k ->  k a -> f ( k a)です
lotz
2020-09-20 15:32:46 +0900
ありがとうございます!!