2023-02-04から1日間の記事一覧
ZMMという解説動画生成ツールを作っている。 www.3qe.us ZMM自体はXMLを受け取るのだけれど、エンドユーザはXMLなんて書きたくないだろうから、ミニマルなフロントエンドを作成して、フロントエンドがXMLを生成してくれるという仕組みを試しに作ってみている…
こんな記事を読んだ。 zenn.dev この記事の中にKleisliという概念が登場する。自分は圏論の専門家ではないのでKieisli圏の話ではなく、Catsを使ってKleisliを扱う方法、どう便利なのかについて勉強したことをまとめてみる。 flatMapの中身 Kleisliとは以下の…
Scalaの国際カンファレンスであるScalaMatsuri 2023のCfPに応募したところ採択され、登壇の機会をいただきましたからお知らせします。 とき 2023-04-15〜2023-04-16 (変わる可能性があります) 20分間喋ります 今すぐGoogle Calendarに登録してください とこ…