がくぞ

(株) Tech to Value 代表 / Scalebase (株) Tech Lead

[がくぞ @gakuzzzz]

静的検査を活かして高速かつ安全にビジネスをスケールさせていく開発に興味がある方は、いま採用広げてますので是非お声がけ頂ければ。気軽にカジュ面とかしませう

[がくぞ @gakuzzzz]

そういえばアルプのプロダクト、しばし前から Scala 3 で本番環境も動いてましたが、いつでも戻せるように Scala 2.13 でもクロスビルドしてました。
それを先日 2.13ドロップして Scala 3 のみにしたので 諸々便利な機能も使えるようになりましたヤッター

[がくぞ @gakuzzzz]

catamorphism と anamorphism #fp_matsuri_b

[lagénorhynque🐬カマイルカ @lagenorhynque]

関数型まつり2026 (Day 1)での先ほどの私の発表資料はこちらです🐬
書籍FP in Scalaで語られる純粋関数型プログラミングの抽象化過程の要点をFlix言語とともに解説しました。

速習FP in Scala with Flix: Flix言語で親しむ純粋関数型のコード設計
https://t.co/W3vXe3B3DD
#fp_matsuri_a #fp_matsuri

[がくぞ @gakuzzzz]

AI君が大量のテストを瞬時に書いてくれるけど、Example-based だとexample値がテスト観点に則しているのか確認するのが本当に大変。そこで Property-based 書かせるとその辺が省力できるケースが多くて捗りますね

[がくぞ @gakuzzzz]

property based testing も LLM に生成させたら law だけ確認すればいいので簡単 #fp_matsuri

[がくぞ @gakuzzzz]

みんな大好き GADTs #fp_matsuri_b

[がくぞ @gakuzzzz]

こんなテーマで話したいと思っています。応援よろしくおねがいします🙇‍♀️

[関数型まつり @fp_matsuri]

関数型まつり2026 にプロポーザルが投稿されました！
「AI Agent時代を生き抜くプログラミング言語の選定や関数型言語機能の活用とは」 / がくぞ(gakuzzzz)さん （@gakuzzzz）
https://t.co/1960RZ0CJo
#fp_matsuri

[がくぞ @gakuzzzz]

今どきコード自体はAIエージェントに書かせて手で書くことなんて無いんだから、言語仕様が難しいというのはデメリットにならなくなってきてる気がしますね。それよりもトークンが節約しやすい様に抽象化能力が高いとかの方が重要になってきてる印象

[がくぞ @gakuzzzz]

AI時代だからこそ静的検査を活かしまくるとより捗るよという話をうちのえらい人がしとります

[村濱 一樹 mura- | VPoE@Scalebase @muraaaaa_san]

"AIの恩恵を最大限に受けられるかは、積み上げてきた開発の土台で決まる" —
DDDや型システムへの地道な投資がAI時代に効いてくる話を、アンドエンジニアさんに取材していただきました!

https://t.co/n4VpK5yphj

[がくぞ @gakuzzzz]

Expert <-> Beginner と Professional <-> Amature って直交する概念だと思うんだけど、日本語でプロっていうと Expert なことも期待しちゃいがち

[関数型まつり @fp_matsuri]

📣 関数型まつり2026 スポンサー募集開始 📣

関数型プログラミングの思想・技術にフォーカスしたテックカンファレンスです。コミュニティを一緒に盛り上げてくださる企業様・個人の皆様をお待ちしています！
https://t.co/CaxOGbYJWi

📝 お申込み：https://t.co/5kPPYC0Jp1

#fp_matsuri

[がくぞ @gakuzzzz]

else の無い if 副作用が前提になるのでめっきり書かなくなったなー。ガード節はあれど、ガード節も網羅性検査を破壊するので極力書かないようにするし

[がくぞ @gakuzzzz]

気持ちはわかりみがある……
とはいえ後者の書き方は再代入や副作用が前提になるので、再代入などを排除してると基本的には書けなくなる

[manekinecot @manekinecot]

#プログラマさんに怒られる
かもだけど…笑。
elseは一瞬ifの内容を確認する脳みそが面倒くさいのでこういう感じで書いたりしているヨ。笑。
怒らないでね！
（あとこういう記述方法の便利なのあったら教えてほしい感じ）

[がくぞ @gakuzzzz]

@bacchus_jp ことしもよろしくおねがいします！

[がくぞ @gakuzzzz]

1月が終わろうとしている……あけましておめでとうございます

[がくぞ @gakuzzzz]

AI君にコード書かせるのが中心になってくると、プログラミング言語の学習難易度とかほぼ問題にならなくて、同じ複雑度のシステムを短いコードで書ける方がトークン消費量を抑えられるので、高度な抽象化能力を持つ言語の方が向いてるような気がしてきた……

[lotz @lotz84_]

Haskellを採用することついてのエッセイ👀
4年半で20から100人規模に成長した銀行系のプロダクトで Haskell を採用した筆者の体験から得た知見が綴られている
非開発者と議論できる概念が型となり要件を素直にコードに変換できるので正しいことに時間を使える、というのは良い
https://t.co/14vr9DlWik

[がくぞ @gakuzzzz]

ここに書かれている通りで削除については(も)しっかりとしたドメイン分析が本来は必要。ただ、その前提の上で本当にそこまでのドメインの掘り下げが現段階で必要なのか考えて、負債と認識した上で設計の決定を遅延させるための初手削除フラグという選択は個人的には認められるかなという所感

[広木 大地/ エンジニアリング組織論への招待 @hiroki_daichi]

ビジネスドメインにおいて「本当の削除」はほとんど存在しない。契約、取引、履歴、責任といった要素は時間軸上に残り続け、消えるのは「利用されなくなる状態」だけである。本来は失効・解約・無効・終了などの状態遷移として表現すべきものを、安易に「削除」と捉えるのはドメイン分析の根本的甘さを示している。

本当の削除は、個人情報対応として、あるいは情報管理の観点からのみ生まれる。

削除フラグはその誤解の結果として生まれた実装上の逃げ道にすぎない。問題の本質は技術ではなく、ビジネス上の意味や責務を正しくモデル化せず、「消したことにしたい」という都合を削除という言葉で覆い隠してしまう設計判断にある。なので、削除フラグを作るようなシステムほどよっぽど気楽なシステムだってこと。

その気楽な判断の結果、技術的負債であったり、認知コストの増加といった副作用をもたらしてしまうことが多い。なので、ファーストチョイスに論理削除的なものを設計に組み入れるっていうのはっていうのはあまり十分なレベルに達してないひとというイメージ。

[がくぞ @gakuzzzz]

は？え！？THE FIRST TAKE に如月千早！！？？！？！？
すいちゃんの時も驚いたけどこれまたびっくりだなー

[がくぞ @gakuzzzz]

適当に開いて見たらにっこりしちゃった

[Kory @Kory__3]

このJava製ライブラリの適当なファイルを開いて眺めると幸せになれます
https://t.co/q1TwPNDdVj

[がくぞ @gakuzzzz]

あとこう言うのとか
https://t.co/0E2yEU2NaJ
（自己再帰ジェネリクスとはちょっと違うけど再帰はしてるか……）

[がくぞ @gakuzzzz]

こんなのとかですかね？higher kinded types や absstract type member が絡むやつ
https://t.co/ZEReG2X1gN
型引数の部分適用とかも絡むともっと楽しくなりますね！

[なぎせ ゆうき @nagise]

再帰じゃないジェネリクスで複雑なやつ……？🤔
（ひねり出そうとするんじゃない