はじめに 認証・権限管理基盤チームでソフトウェアエンジニアをしている金子です。 「Monad（モナド）」という言葉をご存知でしょうか。Haskell を少し触ったことがあれば、名前だけは聞いたことがあるのではないでしょうか（私もその一人です）。Monad は圏論という数学の分野から来た概念であり、数学的に正確な理解を得るのは簡単ではありません。 しかし、プログラミングでの利用シーンに限定すれば Monad は「抽象化のパターン」の 1 つでしかありません。 本記事では、Haskell と TypeScript の両方でコード例を示しながら、Functor → Applicative Funct…

これは株式会社LabBase テックカレンダー Advent Calendar 2025 12日目の記事です。 概要 学生時代から、論文などの議論の精読に対して、「絶対誰かがもう論理的な整合性を確かめたことあるんだろうな〜」と思い、その度に論理的な整合性の再確認に対してめんどくささを感じてきました。 本稿では形式意味論と定理証明支援系を利用して、あらゆる議論を形式化することで、これを打破することを目論みます。 もし自然言語が「コンパイル」できたら？ プログラミング言語では、コードを書くと同時にコンパイラや静的解析ツールが働き、文法ミスや型の不整合、論理的な破綻を検出してくれます。

こんにちは、ココナラで Web エンジニアをしている慕狼ゆに (しのがみゆに) (@yuni_shinogami) です。 こちらは株式会社ココナラ Advent Calendar 2025 15 日目の記事です。 普段は業務で TypeScript を書いていますが、今回は技術的な How-to ではなく、「あえて Haskell に入門してみた」という個人の学習記録を書きたいと思います。 「なぜ今さら Haskell？」と思われるかもしれませんが、普段 TypeScript を書いている人間が、Haskell を学習することで、どのように普段使っている言語（JavaScript/T