はてなブックマーク

はじめに RetailAI Advent Calendar 2024 の ２５日目の記事です！ @10long (Ryutaro Tsuji)が担当させていただきます。 昨日は @kakine_juri さん の『CUEって何？』という記事でした。ぼくもDhallとかJsonnetとか一時期使ってたなぁ。ただ、一応Nix使いとしてはNixを一番に推したい。（macで使ってないけどね・・・） さてみなさん、メリークリスマス。聖しこの夜にはleanを使ってみたいですよね。というわけで、今日はleanと生成AIエージェントを使って遊んでみたいと思います。 目次 leanとは leanをインストールしよう ソクラテスとパイドロスを召喚してみよう swarmを使って再現させてみよう まとめ 参考文献 leanとは leanとは、正確で保守しやすいコードを簡単に記述できる関数型プログラミング言語です。