haskell-jp / random #105

こんにちは
Advent Calendar の初日,コードを書かないへなちょこ記事で気が引けているのですが間に合いそうなので,空いたままよりはと思って登録してみました.他に書けそうな方がおられたらどきますので,よろしくお願いします.
Redditほとんど見てないのでありがたや https://qiita.com/lesguillemets/items/cab7652cd243896c2b3e
lesguillemetsさんに触発されて、Advent Calenderの記事を勢いで書きました。 2日めです。
新しい内容ではないですが、改めてdoctest & QuickCheckの紹介です :haskell:
https://qiita.com/advent-calendar/2023/haskell
Docker(devcontainer)でHaskell開発環境を構築したかったんですが、はもうDeprecateされてしまったようです。みなさんどうされてるんでしょうか?
... Replies ...
アドカレ4日目書きました〜〜。パーサージェネレータはいいぞという話です。

https://zenn.dev/arark/articles/f761491473b971
foldr の融合則が一般の融合則から導ける件 という記事を投稿しました。
Hiromi ISHII / mr_konn
先々月の Linear Haskell に関する拙稿が余りにも長く趣旨がわかりづらかったので、題材を絞って「どれくらい Haskell が Rust に近づくのか」という点があるていど伝わるといいな……と思いながら補遺を書きました。9年ぶりの Haskell Advent Calendar 参加記事ですが、御笑覧ください。

https://zenn.dev/konn/articles/2023-12-14-pure-parallel-fft-in-linear-haskell
... Replies ...
これ踏んだの忘れててまた踏んだ
報告も忘れてたけど別の人が報告してくれてた
HEAD では直ってる
GHC Users Guide 見ると GHC 9.6.1 から -Wloopy-superclass-solve って警告が増えたみたいですけど、実際に使おうとすると:thinking_face:
https://haskell.jp/slack-log/html/C4M4TT8JJ/103.html#message-1684478044.793099
https://gitlab.haskell.org/ghc/ghc/-/issues/24071
「2023年にHaskell関連で知ってよかったこと」
という記事をカレンダー用に書きました。
https://kazu-yamamoto.hatenablog.jp/entry/2023/12/19/073356
@Carlos Fontes has joined the channel
AtCoder ガチ言語 Haskell :fire: を投稿しました。入門〜トラブルシューティングなどを扱っています: https://zenn.dev/toyboot4e/books/seriously-haskell
書きました
グラフィカルに見れるの楽しい
Haskell で Open Telemetry を利用してオブザーバビリティーを向上させよう - 趣味はデバッグ……
https://kakkun61.hatenablog.com/entry/2023/12/25/Haskell_%E3%81%A7_Open_Telemetry_%E3%82%92%E5%88%A9%E7%94%A8%E3%81%97%E3%81%A6%E3%82%AA%E3%83%96%E3%82%B6%E3%83%BC%E3%83%90%E3%83%93%E3%83%AA%E3%83%86%E3%82%A3%E3%83%BC%E3%82%92%E5%90%91%E4%B8%8A
@kb2 kkb2 has joined the channel
@hk_slack2 has joined the channel
@ふぃえ has joined the channel
@qwfe43h has joined the channel
なんか見慣れないHaskellの本があるな、と思って調べてみたら、去年末に発売されたばかりだそうで
https://www.packtpub.com/product/soar-with-haskell/9781805128458
@峰岸零 has joined the channel
Tc.Pluginで制約解消アルゴリズムにヒューリスティクスを適用することって、理論上可能ですかね?GPTなど
調べた限りでは類似したものは見当たらなかったのですが
... Replies ...
Hiromi ISHII / mr_konn
ヒューリスティクスの定義によると思いますが、普通に副作用を出せるので出来ますね
初めまして!
Haskellの純粋関数型言語という点と圏論をベースにした言語という点に惹かれて参加させていただきました。
みねぎしれいと申します。
Haskellの入門サイトをアウトプットしながら日々勉強しております。
どうぞよろしくお願いいたします:man-bowing:

https://minegishirei.hatenablog.com/entry/2023/11/25/093811

自己紹介場所が見当たらなかったのでここで挨拶させていただきます。
Rinat Stryungis
@Rinat Stryungis has joined the channel
@Cqug has joined the channel
Reminder: [定期] 現在の主要なチャンネルは :point_down: のとおりです。 - questions : Haskellについてのお悩み相談 :thought_balloon: はこちら - beginners : 初心者 :beginner: 向けのより安心・より気軽なQ&A用チャンネル - random : 見つけたHaskellに関する情報、アナウンス、その他何でも :ok: - english-help : 英語 :uk: で困ったときの駆け込み寺 - event-announcement : :tada: Haskellに関するイベントを開催するときはこちらにリンクを張ってください - その他のChannelは「Channels」の右にある :heavy_plus_sign: ボタン -> 「Browse channels」から探してみましょう!
Hask圏に触発されてプログラミングにまつわる数学を勉強したい...
関数についての問題集とかないかなぁ...
@Katsy has joined the channel
absinthe drunker (atカフェ)
@absinthe drunker (atカフェ) has joined the channel
@jqoh has joined the channel
@CLERK has joined the channel
Hiroyuki Hirano
@Hiroyuki Hirano has joined the channel
「エンジニアHub」という転職サービスの終了に伴い、私が過去寄稿した記事も https://en-ambi.com/itcontents/entry/2017/08/25/110000 の通り移行しました。現状元のURLでもちゃんとリダイレクトされるようですが、報告まで。
... Replies ...
@中村悠人 has joined the channel
@ymshita has joined the channel
@U5K has joined the channel
Kohei Kajikawa
@Kohei Kajikawa has joined the channel
パズルマン
@パズルマン has joined the channel
Masaharu Inomata
@Masaharu Inomata has joined the channel
@ has joined the channel
GHC 9.10の解説記事が書かれてますね :haskell: :sparkles:
https://zenn.dev/mod_poppo/articles/whats-new-in-ghc-9-10
@ has joined the channel
https://github.com/haskell/core-libraries-committee/issues/260 標準ライブラリーにtodo関数を追加しようという提案が盛り上がっているみたいです。私は読んでいませんが、誰か興味のある人がいたら議論を追いかけてみてください。あるいはAIに要約させれば良いのか?
@ZeAng Cui has joined the channel
@森本涼介 has joined the channel
Rustで話題のWindowsの CreateProcess にまつわる脆弱性、やっぱりHaskellの process パッケージにもあったそうです :cold_sweat:
https://news.mynavi.jp/techplus/article/20240412-2925400/
@Y O has joined the channel