haskell-jp / random #102 at 2023-04-05 20:16:22 +0900

そういえば、Haskellにとどまらない、関数型言語や型理論、数学（基礎論）よりのCSとかこれ系全般の（日本の）コミュニティってありますかね？（今、Idrisでグラフィック触れるライブラリいい感じのを知ってる人どこかにいないかなとか考えてて）（Haskellのコミュニティなのにこういう話ばっかりしてすみません）

一応ここには math というチャンネルもあるよ、とだけ

すでにご存知かもしれませんが、プログラミング言語処理系が好きな人の集まり
https://prog-lang-sys-ja-slack.github.io/wiki/

あ、そこも参加させていただいてます！（Zulip版だけ）
確かに、私が書いたようなコミュニティに近い側面ありそうですもんね。（参加してるのに気づいてなかった人）