haskell-jp / mokumoku-online #12

お昼食べてから、引き続き、fcmのクライアント作ったり、具体的な通知管理のBE作ったりします。
もしくは途中から読書します。
山本悠滋です。掃除をしていて遅くなりました。ご飯食べてから https://wiki.haskell.jp/Workshop/hasmoku/OrganizerGuide の改良を行います。最悪管理者がいなくても始めと終わりの合図を自動投稿で出せるように。
ってか人少なっ! :disappointed:
引き続き疑似乱数関連をもにょもにょします。
random にも書きましたが、 とりあえず pure haskell な MT19937 の実装を random-1.2 に対応させました https://github.com/naohaq/mtrand-hs/
:game_die: は物理乱数だよ!
@siosio has joined the channel
codewarsの問題をやります。
途中から参加した人へ: https://spatial.chat/s/Haskell-jp も盛り上がっています
@lotz @kakkun61 @nakaji-dayo 運営ガイドを更新して、なるべく自動投稿で済ませられるようにしました。
https://wiki.haskell.jp/Workshop/hasmoku/OrganizerGuide
Diffはこちら: https://github.com/haskell-jp/haskell-jp-wiki/commit/6e300927692d4cb9a6d229fbeebcc1c7e274fbd3
遅くなりました。

引きつづき、
Generalized folds for nested datatypes
を読んでます。
PureScriptのタプル、Haskellのそれに負けじと力業だ :sweat_smile: https://github.com/purescript/purescript-tuples/blob/master/src/Data/Tuple/Nested.purs
型の構造としては cons セルみたいな感じなのかー
今日は Generalized folds for nested datatypes の higher-order fixed points の途中まで。
 成果報告の時間です!何か、やったことを軽くご共有いただけると幸いです hask(_ _)eller
https://haskell-jp.slack.com/archives/CUPBC8WCE/p1593242201344900 のとおり運営ガイドを更新しました。
運営協力者募集中です! :pray:
1~2月に一度参加できれば :ok:
あと、slack-webの修正中ですが、なぜか https://github.com/haskell-jp/slack-web/tree/conversation のブランチで、CPPがエラーを起こしてしまって困ってます。 :disappointed:
src\Web\Slack\Common.hs:57:0: error:
     error: missing binary operator before token "("
     #if !MIN_VERSION_servant(0,16,0)

   |
57 | #if !MIN_VERSION_servant(0,16,0)
   | ^

というエラー。直接いじった覚えはない箇所なのに... :confused:
自動化したフローを試したいので次回の運営は私がやります。
System.Random が充実したので、 mwc-random から流用したboilerplate的なコードがほとんど要らなくなりました(とりあえずコメントアウトした) https://github.com/naohaq/mtrand-hs/blob/master/src/System/Random/MT64.hs
TypeFamilies 拡張は必要なくなったかも。
作ってるプロジェクトのpostgresqlのdriverをpostgresql-pureに切り替えようとしていて、postgresql-pure上のIsLabelのインスタンス定義を外そうとしています
後細かいライブラリのlts上げた https://github.com/nakaji-dayo/servant-swagger-tags
原因わかった。
slack-webパッケージのcabalファイルが妙な書かれ方をしているせいだ。
hs-source-dirs にsrc, testsを含めているせいで、slack-web自身の依存関係を test-suite に書かなければならない状態になっていて、
servantを依存関係に含めてないから stack test だけうまくいかない。
servantを依存関係に含めてないからCPPのマクロも見つからなくて展開されないってわけだ。
あ、それ外さないとなーと思ってた!
codewarsの一番簡単な8kyuの問題をいくつか解きました。エアプからの脱却を目指すために、まず簡単なプログラムをサクサクかけるようになりたいですw
higher-kind なオブジェクトをファンクターで写すような状況でもうまく成立するのが面白いと思いました。 (Example 3.1)
はい。それです。
解決してテストの続きも書いてましたが、疲れたのでこの辺で止めておきます。もうちょっとボイラープレートなコードが必要みたいじゃ
中国からなのでvpnが切れる度に落ちてましてすみません・・・
運営ガイドをさらに更新して、次回のイベントページは、次回の担当者が作成することにしました。
イベントの告知から投稿の予約まですべて一人でまとめて行えた方が良いかと思いまして。
せっかくなので、論文から写経したコードを gist にも貼ってみました。

https://gist.github.com/khibino/8ee196512870ca104de96aedde1ae04c

higher-kind なものを移している例は 32list.hs ( https://gist.github.com/khibino/8ee196512870ca104de96aedde1ae04c#file-32list-hs ) とか。
set up a reminder “@here 第39回Haskell-jpもくもく会の時間です!好きなタイミングでいいので、自己紹介と今日やりたいことを書き込んでいただけると! hask(_ _)eller” in this channel at 1PM Saturday, July 4th, Japan Standard Time.
set up a reminder “@here 成果報告の時間です!何か、やったことを軽くご共有いただけると幸いです hask(_ _)eller” in this channel at 6PM Saturday, July 4th, Japan Standard Time.
遅くなりましたが、そろそろお開きと言うことで!今週もお疲れ様でした!
それ今自分で言いかけてたw
お疲れ様でした
あれ、予約投稿が来ない?
(リマインダーがなかなか動かないのでひとまず)
第39回Haskell-jpもくもく会の時間です!好きなタイミングでいいので、自己紹介と今日やりたいことを書き込んでいただけると! hask(_ _)eller
本日の運営の山本悠滋です。相変わらずTypeScriptでMicrosoft Teamsのbot :robot_face: を書いてます。
今日は今は出先なので、帰宅してからslack-logのこのissueの続きをします。
https://github.com/haskell-jp/slack-log/issues/42
運営ルールでもHaskellのことでも、なんでも聞いてください!:grin:
はじめよう(リマインダーがやっぱり来ないな... :confused:
https://spatial.chat/s/Haskell-jp こちらで相談・雑談できます
AtCoder ABC170 E - Smart Infants  悪戦苦闘中
haskell-language-serverインストールしようとしたらfloskellのインストールでaccess violationしちゃう :cry:
GHC 8.8?
yes. だから8.10で再挑戦してる
Windows 向け GHC 8.8 なんかおかしいですよね