Ken Okabe

Functional programmer
Experience Quality Coding for AI
Tutorial on Functional Programming for the AI Age

[Ken Okabe @kentechgeek]

Experience Quality Coding for AI
- Special Edition and Your Next Generation AI could Copy
https://t.co/8hhmO9o2oj

A Next-Generation Tutorial on Functional Programming for the AI Age
Claude Code / Gemini / VSCode
#fsharp #ai #programming #functionalprogramming

[Ken Okabe @kentechgeek]

最高のコーディング体験 for AI
Experience Quality Coding for AI
- Special Edition and Your Next Generation AI could Copy
https://t.co/amQgjVZzpN
A Next-Generation Tutorial on Functional Programming for the AI Age
#関数型プログラミング
関数型プログラミング
の本

[Ken Okabe @kentechgeek]

Timeline is a lightweight, functional reactive #programming (FRP) library that provides elegant state management across multiple programming languages. Originally implemented in #fsharp, this repository now includes ports to various languages.

https://t.co/lVS88MZoLv

[Ken Okabe @kentechgeek]

https://t.co/FT7dNuWw21

🍦 VanFS: 1:1 bindings from F# to 🍦VanJS (an ultra-lightweight , zero-dependency , and unopinionated Reactive UI framework based on pure vanilla JavaScript and DOM without React/JSX) + WebComponents + micro FRP

[Ken Okabe @kentechgeek]

@nobuogohara https://t.co/5OuM4jUejd

[Ken Okabe @kentechgeek]

@patrick_harlan XXは出来ないので女性の社会進出に障害がある、だから法整備が必要だ、と主張してきたのに、いざ全方位で実用上なんら障害がないと反論されたら「だったら法律も変えよう」とか支離滅裂すぎて内心、高市議員も失笑してたと思う。優しく応答してもらって恥をかかされなかったことに感謝したほうがいい。

[Ken Okabe @kentechgeek]

@patrick_harlan https://t.co/cUZFtIARiN
「イット！���で夫婦別姓問題について高市議員に、
「だったら、ほとんどの局面で問題はない、ならば戸籍上も貫いて本人の判断に任せたらいい」
とパックンは意味不明な主張。
実用上問題もないのに、なんで「戸籍制度」という国家の根幹に関わるものを変更する必要がある？

[Ken Okabe @kentechgeek]

A Unified Ethical Framework through Collective Intelligence: Self-hosted Ethical AI System (SEAIS)
https://t.co/3wt2261hig

[Ken Okabe @kentechgeek]

@tanakahisateru Pythonがその意味で相当酷いと同意できるのだが、同じ穴のムジナでしかないPHP推しの人間が言うことではないと思う。同じ土俵で比較するならば、まだPHPよりPythonのほうが上回ってるじゃない？
あくまで同じ土俵比較ではあるが。
#ちょうぜつ本

[Ken Okabe @kentechgeek]

@tanakahisateru OOP創始者やダイクストラ、リーナスは、C++やJavaの「クラス指向」に呆れたが、まったく同じディスりをPHPにもそのまま適応できるよな。
創始者アラン・ケイの「メッセージ指向」は、呆れたほうの「クラス指向OOP」を排除するならば必然的に関数型リアクティブプログラミングでしかない。#ちょうぜつ本

[Ken Okabe @kentechgeek]

@tanakahisateru 「歴史」で言うならば、この世界線の人類の歴史は不幸だった。アラン・ケイではない方のデータと関数を混ぜ合わせる「クラス・オブジェクト指向」という非常に愚かな設計が発明され、たまたま流行し普及してしまった。
OOPは理論的不要な発明で、存在しないより良い世界線はありえた。
#ちょうぜつ本

[Ken Okabe @kentechgeek]

@tanakahisateru 「アン��OOP関数型」など本来は存在しない。

単に、数学があり代数構造がありデータがあり、関数があり、それ以外の、データに関数を一緒くたにしたら上手くいく！という意味不明な発想である珍妙な工学的発明は不要だ、という知見と認識があるだけだ。」 #ちょうぜつ本

[Ken Okabe @kentechgeek]

@tanakahisateru 「関数型」という言葉ならそういう感情的かつ珍妙な理論武装する輩が多いんだけど、FPとほぼ同義であるDOTS（データ指向）なら、そんなもんは「共存」せず、排他的で概念相反する「対義語」であることは、まともなベンダーならもう表明してるよね。勉強しろ？
https://t.co/6Tz37mn7Qs
#ちょうぜつ本

[Ken Okabe @kentechgeek]

@tanakahisateru アラン・ケイのメッセージ指向系OOPは関数型Reactコンポーネントみたいなもんでタイムラインの状態をもつデータ構造の依存関係を表現するもので、現代のFRPとほぼ同義の構造。
その後で湧いてきた皆が考えるOOPはクラスというデータと関数を一緒くたにする劣った設計であり、FRPしたいだけなら不要。

[Ken Okabe @kentechgeek]

@tanakahisateru >最初は、手続き的なDOMの操作が遅すぎて、出来上がったVDOMを一気に差分反映したかっただけ

あとさVDOMって遅いんだよ。差分計算が遅い。黎明期の「差分計算だけだから速い」というのはデマで、今そんな事言うやつは勉強不足の君みたいな一部の人間だけ。モダンな���レームワークは脱VDOMばかりだ。

[Ken Okabe @kentechgeek]

@tanakahisateru 「外」「構造の軸」「自律的」「使う方は実体を問わず」ってのはこれはOOPのデザインパターンの言葉でいうと単にObservableで、言い換えればReactiveだ。Reactはもともとその辺の用語からだが。
つまりFunctionalReactiveProgrammingでFRP。
そういうTimelineのデータ構造にすぎないしOOPは単に不要。

[Ken Okabe @kentechgeek]

@tanakahisateru ものは言いようだよね。
説明が単純な方が正しい、オッカムのカミソリでいうと、最初からオブジェクト指向の存在なんてものは「動作とコード」＝すべてにおいて不要だってことだ。
ただそれだけに尽きる。

[Alex Albert @alexalbert__]

We just rolled out prompt caching in the Anthropic API.

It cuts API input costs by up to 90% and reduces latency by up to 80%.

Here's how it works:

[Alex Albert @alexalbert__]

We've moved this out of beta so you no longer need to use the header!

Now available for Claude 3.5 Sonnet in the Anthropic API and in Vertex AI.