2年くらい前に買ってずっと放置していたのですが、最近ようやく読了したので軽く感想とかを書きたいと思います。 一言でいうならすでに他の Haskell 本（『すごい Haskell たのしく学ぼう！』とか）で入門を終えている人が、2冊目以降として実践的な内容を学ぶのに適した日本語の Haskell 本として貴重な一冊だという印象です。 砕けて言えば、Haskell 入門を終えて「より実践的なステップに進むにはどうしたら良いだろう・・・」と思っている人に是非とも読んで欲しい書籍だと思いました。 章構成本書の章構成を目次から引用します。 第1章 はじめてのHaskell 第2章 基本の文法 第3章 型・型クラス 第4章 I/O処理 第5章 モナド 第6章 関数型プログラミング 第7章 ライブラリ 第8章 並列・並行プログラミング 第9章 コマンドラインツールの作成 第10章 Webアプリケーショ

この記事は一休.com Advent Calendar 2025の 5日目の記事です。 私は毎年この時期になると Haskell に関する記事を投稿していますが、今年もまた Haskell を題材にしつつ、今回は Haskell を使うことがプログラミング中の思考にどのような影響を与えるかについて考察してみようと思います。 LLM と「言葉が思考を形づくる」という直感 LLM (Large Language Models、大規模言語モデル) は次にくる言葉を予測しているだけなのに、それが知性のように見える。「言葉の推定」でプログラミングすらできてしまうという事実に誰もが驚いたところだと思います。 LLM を本当の知性とみなすかどうかは議論の分かれるところだと思いますが、LLM の原理をみるに、少なくとも「言語」が推論や思考の形式に深く影響するという直感は正しいのではないかと思います。 とこ

背景 AtCoder では、ジャッジ環境 (コンパイル・実行環境) を (ユーザの意向に沿って) 更新するイベント『言語アップデート』が隔年で実施されています。 先日 2024-25 年度の言語アップデート における提出が締め切られました。今後の予定は概ね以下のようです: 2025 年 9 月下旬〜の AtCoder Daily Training で新ジャッジが運用されます。 2025 年 10 月中旬を目処に本番のコンテストで新ジャッジが運用されます。 以下では更新に備え、 Haskell のジャッジ環境の設定内容と、以前と比べてどう変化するかを確認します。 言語アップデート 2025 の内容 2025 年 提出ファイル (installscript.toml) の内容をまとめます。 参考: 2023 年 提出ファイル (1-install.sh) ファイル構成 ジャッジ環境の OS は

はじめに Haskell Advent Calender 2024の7日めの記事です。 さて、Haskellはアカデミックやプロダクションやホビーや日常使いなど様々なシーンで利用できます。 この記事ではHaskellを電卓くらいの気軽さでカジュアルに日常使いする一例を紹介します。(昨年のAdvent Calenderの記事と内容が重複気味ですが、今年はワークフロー視点で記載しています。) なんとなく、アルゴリズムを手軽に試したい 日常的に、ちょっとしたアルゴリズムを手早く確認したり、書き捨てのプログラムをささっと作って試したいシーンがあるでしょう。あるものとします。 ここでは話を小さくするために、簡単な例として整数ソートのアルゴリズムを試したいとしましょう。 とりあえず書き捨ててみる 頭の中や紙の上などである程度考えたら、とりあえず雑に書き下してみましょうか。なんらかのテキストエディタで、

これはHaskell Advent Calendar 2023の19番目の記事です。 フォーマッター 以前、フォーマッターをいくつか試しましたが、どれもイマイチでした。しかし、fourmoluはいけてます。fourmoluは、Ormoluのフォークで、Ormoluが偉大なのでしょう。両方試しましたが、僕はformoluに決めました。 Hackageに上がっているので好きな方法でインストールしてください。 % cabal install fourmolu formoluにHaskellのプログラムを渡すと、整形したプログラムを出力してくれます。ファイルの内容を直接書き換えたいときは、-iオプションを渡します。エディタやIDEと連動できますが、お試しでプロジェクト全体を整形するには、以下のようにするといいでしょう。 % find . -name "*.hs" | xargs fourmolu

Haskellの開発環境 まずはじめに、Haskellの開発環境を導入する時に必ず目にする言葉の概略を把握しておきましょう。 StackとCabalはプログラム開発支援ツール GHCはコンパイラ HLSはランゲージサーバー 以上の３つのものが、Haskellのプログラミング開発で相互に関連しあって利用されます。そしてこれら３つは合わせて、Haskell Toolchain と呼ばれています。 そしてこれらに加えて、エディタのHaskellコードの作成支援設定があります。 Haskell Toolchain このHaskell Toolchainについて、ひとつづつ、もう少し詳しく見ていきます。 StackとCabalはプログラム開発支援ツール これはどちらもプログラム開発支援ツールです。実際には両方同時に使うわけではなく、どちらか一方の好きな方を使うことになります。 ネットの解説などをみる