orange @[email protected]

Adaと、あとなんか他でもあった気がするけど、型を定義する文法で
型名 is
ってisをつけるの、最初見た時は「なんじゃこりゃ＞＜；」って思ったけど、見易さ的にわりとよさそうって思ってきた＞＜

beginは、まあうん＞＜；

動的型付け言語であれば型を意識しないでコードをかけるって豪語する人に「じゃあ、曜日を受け取って、その翌日の曜日を返す関数書いて＞＜」って言ったらどういうコードを書いてくるのか謎＞＜
型に相当する概念を「仕様！」って言い張りそうなイメージ＞＜

それは完全にそうなんだけどというかそうだからこそ、Python＆動的型付け批判記事でついでにdisられてたので「AdaやPascalも予約語方式だぞ！＞＜；」って話になった＞＜

子供が入門でちょっと触れる程度って意味で "LOGO程度であれば" って書いたけど、LOGOも型あるよね＞＜；

https://b.hatena.ne.jp/entry/4751341637167680928/comment/knjname

これ、わりと本気でわけがわからないけど、LOGO程度であれば型がわかんなくても何とかなるだろうけど、動的型付けな環境でさえ、型がなんであるかをわからずに使えると思ってるの？＞＜；
ていうか動的型付けって、型検査を実行時まで遅延させた環境ってだけであって、型自体はあるんだから、型の概念を理解せずにまともに使えるわけないだろ＞＜

Ada 95: Chapter 5
https://www.adaic.org/resources/add_content/docs/craft/html/ch05.htm

「必ず型を作ってから使え！」って原理主義的な型ガチガチ言語であるAdaもPascal系の言語なので、論理演算は and or みたいな予約語方式＞＜
modもmod＞＜

https://dev.thanaism.com/2023/05/python-sucks/
" &&や||ではなくandとor"
この部分も型ガチガチ派の境地と言っていいPascal一族が流れ弾を受けてる＞＜；

動的型付け派の人が言う「型を意識しなくてもよい」って完全に嘘で、単にそいつが型を意識せずに書いただけであって、そいつが書いたコードは、他人が使う時には型を推測しなければ使い物にならない＞＜

[B! プログラミング] Python滅ぼす協会に入会したい
https://b.hatena.ne.jp/entry/s/dev.thanaism.com/2023/05/python-sucks/

タイトルとサブタイトルに同意したけど、読み進めたら := がdisられててPascalの型ガチガチ派のオレンジが流れ弾を食らった＞＜（？）

グラスゴーがスコットランドの大阪で、エディンバラがスコットランドの京都＞＜

なんかホロ公式でなんかやってる＞＜
↓
いきなりアダムスミス像に三角コーンがかぶせられてる映像
↓
グラスゴー？＞＜；
↓
エディンバラだった

エディンバラはイギリスじゃなくてスコットランドだろ！＞＜；（スコットランドかぶれ）

【3期生】笑いあり！涙あり！？イギリスファンタジー旅の様子を大公開【 #ホロファン旅 】 - YouTube
https://www.youtube.com/watch?v=L1WASkPNMNk

[B! security] Everything I know about the XZ backdoor
https://b.hatena.ne.jp/entry/s/boehs.org/node/everything-i-know-about-the-xz-backdoor