今のプログラミング言語は、離散数学的なオブジェクトや関数を書き下すことが簡単にできるから、表示的意味論もだいたい素朴に書き下せば、それで動くインタプリターの実装になってしまう。

【大いなる罠】プログラミング言語の意味論を勉強したら7時間がムダになった#127 youtu.be/doo9vB6amYw?si… @YouTubeより 表示的意味論をそのまま書き下せばインタプリターが実装できるのに…

「インターフェイスに対してプログラミングする」ということは「すべてのクラスはインターフェイスを実装すべきである」ということを意味していない

Prologがすごく嫌いな人が多いので何かと高レイヤーな話をする際にめんどくさい話になると思っている。 論理プログラミングは理解しているけど嫌い。 だけど型理論や操作的意味論は理解した。 でもPrologで実装するのはすごく嫌。 という、こじれかたの人が多い。

返信先:@pochi_drst私の場合、何の意味もないのにプログラミング系ゲームで大石泉のアスキアートが表示されるプログラム組んで実装したけど大石泉担当名乗ってないから人によって本当にそのラインは難しいけど。本当、そのアイドルが「好き」あるいは「強く共感」できるのならもう担当で間違いない。

OAuthでグーグルログイン実装しようとしているけどproviderカラムの重要性に驚き プログラミングって細かいところにも意味があるからおもしろいよね

趣味のプログラミングでChatGPTをすごい使ってるけど、ChatGPTって違うとか無理とか意味ないとか言わないから対等な実装方法の相談相手として向いてないな コードを省略せずに出力してくれるのは嬉しい。ただ、やたらコードで説明しようとしてくるからまだそのフェイズじゃないってこと多い印象

あと、後々の改善が困難な仕様というのも避けて欲しい。これはゲームのプログラミングとか設計などという意味で。実装当初は問題無く機能していても、サービス年数を重ねるにつれて粗が目立つようになった仕様を、後々に修正しやすい設計であればと。