roxie 2025-07-28 | 親コメント | トピック: 型システムを活用しよう (dzombak.com)

理解しました、ありがとうございます

 
regentag 2025-07-28 | 親コメント | トピック: 型システムを活用しよう (dzombak.com)

Adaの利点は、おおむね「Cよりはましだ」という方向です。Cでは開発者を信頼して許容されるものが広く、その制約の少なさが大きいですね。暗黙的な型変換のようなものです。でも、ほとんどの開発者は慣れているからか、Cのほうを好むようです...

私が扱っているコードベースの特徴かもしれませんが、ほとんどすべてを別個の型として宣言して使っています。基本型を使うのは配列のインデックスくらいですね。

 
roxie 2025-07-28 | 親コメント | トピック: 型システムを活用しよう (dzombak.com)

興味があってお聞きします。ほかの一般的な型付き言語と比べて、異なる利点もあるのでしょうか?(kotlin, rust, typescript, ...)

 
brain1401 2025-07-28 | 親コメント | トピック: 型システムを活用しよう (dzombak.com)

Rustもこういう形で使っていますし、確かに良いと思います

 

アプリの最大の理由は、マーケティングのためのプッシュ通知にある。

 

すごいですね..パチパチパチ...

 
regentag 2025-07-28 | 親コメント | トピック: 型システムを活用しよう (dzombak.com)

型システムがしっかりしている言語を使っていれば、こういうことも防げたのではないでしょうか..
1999年9月 NASA火星気候オービター消失

  • 力の大きさを表す際に、ポンド単位を使うモジュールとニュートン単位を使うモジュールの間でデータ連携の問題が起き、探査機が誤って制御されて墜落。
 
regentag 2025-07-28 | 親コメント | トピック: 型システムを活用しよう (dzombak.com)

Ada言語は、この点で非常に優れた型システムを持っています。種類の異なる値は簡単に別の型として宣言でき、混在した場合もコンパイラがうまく検出してくれます。

 

ベクターをやりたくて Mapbox みたいなものを使う必要がありましたが、これで自前運用したいならできなくはなさそうですね

 

同意します。Google Docsのような複雑なWebアプリでなければ、Rails陣営が作ったHowiredでも十分ですし、静的ページならAstroでも十分だと思います。

 

このようなやり方で何かを成功させた事例はほとんどないと認識しているので、懸念が先に立つのが正直なところ。
たとえ成功したとしても、税金が投入される以上、公共の利益のために活用するための契約条件も重要だと思う。

 
dogtree 2025-07-27 | 親コメント | トピック: ゲームにおける車両プログラミング (wassimulator.com)

「車両で車両をプログラミングする」と読み間違えて、これはちょっと危険なんじゃないか?と思いましたね

 

200ドルのプランでClaude Squadを使って1回に8セッションずつ作業することがありますが、Opusさえ使わなければ使用量はなんとか持ちこたえられます。

 

不慣れな言語を実際に書くことはできなくても、ざっと読むことならできる場合が多いので、以前より時間が短縮されるのは確かだと思います

 

強く同意します
端的な例として、React自体もフロントエンド版のSpringです
重くて複雑で、業務は便利になったように見えますが、実際には軽い仕事をするためにより複雑な手順を設定し、そのうえでわざわざ複雑になった手順を便利にしているという、妙な便利さです

 

まったくその通り。
アプリの目的は、明らかに企業にとって権限の獲得を優先することだ

 

でも、開発者は結局、applicationとの連携テスト目的でサーバーに入ってDBアクセスを直接しなければならないこともあるのですが..