最近の検索
検索オプション
テストとか読み書きしてて思うのは、心の拠り所になるのは内包的な表記というかいわゆる定義なんだけと、実際に何かを考えるときは外延的に (特に典型例とエッジケースで) 考えてるのよね。
まるで動的型付き言語の JIT で効率化されたコードみたいやなという気持ちになる
まあ問題は、コードを書いてるときも外延的に考えてるのにロジックの記述自体は内包的だったりするところのミスマッチなんだけど……
(これ由来のエンバグが多くあるので)
テストとか読み書きしてて思うのは、心の拠り所になるのは内包的な表記というかいわゆる定義なんだけと、実際に何かを考えるときは外延的に (特に典型例とエッジケースで) 考えてるのよね。
まるで動的型付き言語の JIT で効率化されたコードみたいやなという気持ちになる
まあ問題は、コードを書いてるときも外延的に考えてるのにロジックの記述自体は内包的だったりするところのミスマッチなんだけど……
(これ由来のエンバグが多くあるので)