公共情報基盤に挑む四弦/超越基底: 佐藤陽花 @halka9000@social.cleverlibre.org

パスキーとは何か、そしてその課題
https://blog.agektmr.com/2022/12/passkey.html

class-oriented でなく object-oriented なところを見ても、 functional とはレイヤー違うなという素朴な印象は実際ある

プログラムのモデルを作る部分での指向を手助けするための言語設計なのか、そもそも言語理論そのものについての思想があっての言語なのかというか (?)

object-oriented は reactive とレイヤー近そうだなという印象は少しあるかも (同じかというとそれも微妙かもしれないが)

VegeTABLE が生えてくるのは仮想関数だし……とか迷走してた

両方 C で試されてそうなので実例を比較した方が早いかも (適当)

特に前者については COM とか GLib とかのよく使われている実例がある

たとえば C を例にとると、OOP なんかぜんぜんできるけど、関数が第一級オブジェクトではないので関数型的な書き方は（関数ポインタとかでがんばれば partial に出来なくはないが）継続やらカリー化はやっぱりほぼムリだし厳しい

まあならんのよね。なんで高階関数は一部できなくもないが、せめてクロージャ的なのがないとやっぱムリやなになる

単に『On Lisp: Advanced Techniques for Common Lisp』に実装が掲載されていたから以上の話ではなさそう

嘘メタデータの印象深い思い出、なろうで異世界モノが氾濫して異世界転移/転生ジャンルが新設されたとき「異世界でない SF のつもりで書いてたし後ろの方でちゃんとそうであることが判明するのに、運営に勝手に異世界カテゴリに移動・固定されて再設定もできない」みたいなこと言ってる人がいた

御託はいいから fediverse とは何なのか Mastodon とは何なのか、端的に理解する - 何とは言わない天然水飲みたさ
https://blog.cardina1.red/2022/11/08/fediverse-in-a-nutshell/

> 端的に言えば、 Mastodon とか fediverse とかいうのはメールとメルマガのようなものです。

マジでこれしか言うことがない。むこう数ヶ月は同じこと言い続けると思う

C11 とかだと無名構造体とかあるし気合いれれば関数型っぽい書き方のナニカつくれたりするのかね。

関数をインラインに書けないのはだいぶ厳しそう。型を匿名にして値を書けても、 operator() が離れた場所に生えてしまうのでエルゴノミックでない (エルゴノミックでないのは最初からそれはそうという話でしかないが……)

Java とかはだいぶ妙な文法を生やしてたけど、あれは構造体 (に相当する class) がメソッドを持てるという土台があっての話だからなぁ

というか C++ は enum にメンバ関数作らせてくれという気持ちが強い。まあたぶん暗黙の型変換まわりのあれこれで厳しいのだろうけど……

関数型で Objective を名乗っていた OCaml なんかを眺めると得るものがあるかも