第256回Haskell-jpもくもく会 @ オンライン は 9月15日に行います。 #haskell haskell-jp.connpass.com/event/330684/

第256回Haskell-jpもくもく会 @ オンライン は September 15, 2024 at 01:00PMに行います。次回もお気軽にどうぞ！ #hasmoku #haskell haskell-jp.connpass.com/event/330684/

第255回Haskell-jpもくもく会 @ オンラインの時間です！興味のある方は haskell.jp/signin-slack.h… からHaskell-jpのSlack Workspaceに登録した上で、# mokumoku-onlineというチャンネルにjoinしてください！ hask(_ _)eller #hasmoku #haskell haskell-jp.connpass.com/event/329973/

関数型言語におけるTraversableとは何か？Functorと比較しながら解説する #Haskell - Qiita qiita.com/nekonibox/item…

第255回Haskell-jpもくもく会 @ オンライン は 9月8日に行います。 #haskell haskell-jp.connpass.com/event/329973/

第255回Haskell-jpもくもく会 @ オンライン は September 8, 2024 at 01:00PMに行います。次回もお気軽にどうぞ！ #hasmoku #haskell haskell-jp.connpass.com/event/329973/

第254回Haskell-jpもくもく会 @ オンラインの時間です！興味のある方は haskell.jp/signin-slack.h… からHaskell-jpのSlack Workspaceに登録した上で、# mokumoku-onlineというチャンネルにjoinしてください！ hask(_ _)eller #hasmoku #haskell haskell-jp.connpass.com/event/329296/

#OCaml + #Coq, #Haskell + #Isabel/#HOL で #前者 には #CompCert、#後者 には #seL4 という #キラーソフトウェア があるが、他はぱっとしないよなあ。 #SELinux 級の #MAC #ファイルシステム とか、（#ディスクドライブ最適化 その他 #ドライバ を伴わない）#RDBMS とかで良い感じのが欲しいところ x.com/kmizu/status/1…

第254回Haskell-jpもくもく会 @ オンライン は 9月1日に行います。 #haskell haskell-jp.connpass.com/event/329296/

第254回Haskell-jpもくもく会 @ オンライン は September 1, 2024 at 01:00PMに行います。次回もお気軽にどうぞ！ #hasmoku #haskell haskell-jp.connpass.com/event/329296/

#Haskell には #do記法 が用意されているので、最初は #モナド を知らなくても書ける。 Haskellが強力なのは副作用の分離＝参照透過性の維持＝副作用に伴うエンバグの完全な排除なので、他の言語でも知識が役に立つ。 プログラマーの能力を測る方法→Haskellでコードを書いてもらうとよく分かる？🤗

#プログラミング は #Haskell を勉強したとき #モナド ＝#圏論 がいまいちよく分からなくて苦労した。 Haskellそれ自体は副作用の分離方法がちょっと特殊なだけで練習すれば誰でも使えるようになるけどね👍 最近の #生成AI も数学の塊なのでもっと数学を真面目に勉強しておけば良かったと後悔してる😇 x.com/HeyHi581607/st…

第253回Haskell-jpもくもく会 @ オンラインの時間です！興味のある方は haskell.jp/signin-slack.h… からHaskell-jpのSlack Workspaceに登録した上で、# mokumoku-onlineというチャンネルにjoinしてください！ hask(_ _)eller #hasmoku #haskell haskell-jp.connpass.com/event/328575/

第253回Haskell-jpもくもく会 @ オンライン は August 25, 2024 at 01:00PMに行います。次回もお気軽にどうぞ！ #hasmoku #haskell haskell-jp.connpass.com/event/328575/

第253回Haskell-jpもくもく会 @ オンライン は 8月25日に行います。 #haskell haskell-jp.connpass.com/event/328575/

第252回Haskell-jpもくもく会 @ オンラインの時間です！興味のある方は haskell.jp/signin-slack.h… からHaskell-jpのSlack Workspaceに登録した上で、# mokumoku-onlineというチャンネルにjoinしてください！ hask(_ _)eller #hasmoku #haskell haskell-jp.connpass.com/event/328041/

第252回Haskell-jpもくもく会 @ オンライン は August 18, 2024 at 01:00PMに行います。次回もお気軽にどうぞ！ #hasmoku #haskell haskell-jp.connpass.com/event/328041/

第252回Haskell-jpもくもく会 @ オンライン は 8月18日に行います。 #haskell haskell-jp.connpass.com/event/328041/

fourmolu 、 コメントが型や値の構造を移動することがあるのも困る. [Foo] {- comment -} --> [Foo {- comment -}] (f a b {- about b-}) --> (f a b) {- about b -} #Haskell