5年ほど前からGHCの新機能を紹介する記事を書いてきましたが、少し前に「私を応援してくれる人に記事を届けたい」と思わせる出来事がありました。GHCへの貢献と記事執筆の対価として、性格の悪い人による心無い言葉ではなく、価値がある報酬が欲しい。 そこで、この記事は試験的に有料公開とすることにします。ただし、十分な報酬を受け取った場合、あるいは心境の変化により、同じ内容を無償で公開する可能性があること...

Kernel/VM探検隊@東京 No19 https://kernelvm.connpass.com/event/395390/

いつもご来店ありがとうございます。計算機好きのための技術解説情報誌『n月刊ラムダノート 「特集：計算とは何か」Vol.6 No.1』の発売開始のお知らせです。本号は「計算とは何か」をテーマにした以下の5つの記事でお送りします。 計算パラダイムの対立軸を揺さぶる微分可能論理ゲートとLLM＋定理証明、そしてメタパラダイムたる自然計算の世界へといざなう「計算の2つのパラダイムシフトから自然計算へ」（萩...

不動点コンビネータと実践的な示唆について紹介します．

この記事は「Lua Advent Calendar 2025」の25日目の記事です。 2025年12月22日に、Luaの最新のメジャーバージョンである5.5.0がリリースされました。この記事では、Lua 5.5の新機能をいくつか触ってみます。詳しいことは公式マニュアル類を参...

ghc itself can now run purely client-side in the browser, here’s a haskell playground demo. terms and conditions apply, and i’ll write up more detailed explanation some time later, but i thought this ...

ご来店ありがとうございます。新刊発売予定のお知らせです。 2025年9月4日（木）、井上亜星著 『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』の発売を予定しています。 書名にもある通り、本書はLeanという比較的新しいプログラミング言語の入門書です。プログラミング言語としてのLeanは、いわゆる関数型言語の仲間と言えます。 他の関数型言語、とくにHaskellを使っ...