haskell-jp / random #108

@takenobu.hs has left the channel

Haskellと直接関係ない記事で恐縮です。Algebraic Effectsについての記事を翻訳しましたので、もしご興味ある方がいたらどうぞ。
https://zenn.dev/yoshitsugu/articles/122212f04b74e7

※Haskell Weekly( https://haskellweekly.news/ )などを見る限りHaskellに興味がある方の中にはAlgebraic Effectsへの関心がある方もいそうなのでigrepさんにも一声かけさせていただいた上で投稿しています。 :pray:

副作用の細かい分類、
前からやってたPureScriptも「副作用の細かい分類が面倒臭いしやめたわ」みたいなこと言ってたり、
個人的にHaskellを使って仕事をする程度なら、RIOみたいなHasパターンである程度は柔軟かつ単純だから良いかって思っているんですが、
Claude CodeみたいなAIコーディングを中心にする場合、
書くのが多少めんどくさくなっても、
より堅牢かつ柔軟なシステムの方が良いのかもしれませんね
手書きでもlspを前提にすれば開発支援を前提に出来ますし

無事関数型まつり 2025における私の発表を終えられたので、こちらにも共有いたします hask(_ _)eller

私も、関数型まつり2025のDay 1でHaskellを含む4つの関数型言語の基本を紹介するような発表をしてきました! (hasmokuで準備を進めていました)
https://www.docswell.com/s/lagenorhynque/Z6VX6E-functional-language-tasting-haskell-scala-clojure-elixir

@Daichi Kinoshita has joined the channel

折角なので私の昨日の講演のスライドも共有します！do 記法の観点から Monad, Applicative, Functor の関係を捉えなおしたり、線型型の下でのモナドの振舞いなどを採り上げています
http://u.konn-san.com/qdo

@Bora Savas has joined the channel

@takenobu.hs has joined the channel

@ has joined the channel

おもしろそう https://github.com/cu1ch3n/type-inference-zoo

FYI: 先日行われた関数型まつり2025 (Day 1)のScott Wlaschinさん(『関数型ドメインモデリング』(_Domain Modeling Made Functional_)著者)によるセッション動画が公開されました :tada:
https://x.com/fp_matsuri/status/1937128767149006866
https://www.youtube.com/watch?v=GYCofVVDaok

"A bargain for mergesorts — How to prove your mergesort correct and stable, almost for free" (w/ Cyril Cohen) has been accepted to ICFP'25. I presented an earlier (or, to be honest, very premature) version of this work as part of my talk at Haskell Day 2021. https://arxiv.org/abs/2403.08173
Here is the list of accepted papers: https://icfp25.sigplan.org/track/icfp-2025-papers#event-overview
NB: I'm unsure if I will give the talk in person or not. Please don't travel to Singapore just because of this talk or to see me in person. The talk will be available on YouTube at some point anyway.

@Vzorov Alex has joined the channel

GitHubのでもMicrosoftのでもないCopilotを実際に使ってる記事初めて見た。すごい :open_mouth:
https://zenn.dev/4ergfbv547uezdf/articles/2faf56bb11b9a1
https://zenn.dev/4ergfbv547uezdf/articles/9ab27a19eef87c

@柳田尚輝 has joined the channel

@Educorreia932 has joined the channel

@ has joined the channel

https://www.haskell.org/ghc/blog/20250702-ghc-release-schedules.html GHCが公式にLTSを指定することになりました。まずは9.14がLTS第一弾となります。

@igrep さんへ、お久しぶりです。

最新の Google Pixel の発表日 は 8月21日に行います。 #haskell
8.21 新登場。お見逃しなく。

-- https://x.com/haskell_jp/status/1947409017338232893

このツイートですが Haskell と関連がないように見え、もしかしたら乗っ取りのような状態になっているのではないかと考え、このように連絡します。

@Yegor has joined the channel

@shusaku sahashi has joined the channel

@ has joined the channel

@ has joined the channel

@Myxogastria0808 has joined the channel

@Soma Nakamura has joined the channel

今週のHaskell Weeklyから。今個人的に興味ある
https://sdiehl.github.io/typechecker-zoo/

@Shinya Sakae has joined the channel

@Full-stack Developer has joined the channel

Haskell Foundation の偉い人が、9月の最終週に来るようです。
konn さんが名指しされますが、現在は仕事で Haskell を使ってないんですよね？
湘南会議は10月2日までらしく、10月3日なら僕も東京にいるので、アレンジ役はできると思います。
仕事でHaskellを使っていて、Haskell Foundation の偉い人と話したい人はいますか？
筋の通った要望を出すと、それなりに動いてくれる印象です。
(たとえば、休止している botan ライブラリをなんとかしてとお願いしたら、エンジニアが割り当てられました。。。)
https://discourse.haskell.org/t/request-for-contacts-haskell-in-japan/12875

仕事でHaskellを使っていて、Haskell Foundation の偉い人と話したい人

私は一応該当はするんですけど、私は日本語以外の言語はろくに話せないので厳しそう
そんなに負荷の大きくなさそうな日本語圏の要望といえば、例えばShowインスタンスでマルチバイト文字がエスケープされるのもうやめてほしいとかですかね

Nix と関連する記事を書きました
https://kakkun61.hatenablog.com/entry/2025/09/11/%E9%A3%9B%E8%A1%8C%E6%A9%9F%E3%81%AE%E4%B8%AD%E3%81%A7_Haskell_%E3%83%97%E3%83%AD%E3%82%B8%E3%82%A7%E3%82%AF%E3%83%88%E3%82%92%E3%83%93%E3%83%AB%E3%83%89%E3%81%99%E3%82%8B

@Kazuki Shinohara has joined the channel