次世代言語11[Rust Swift TypeScript Dart]at TECH次世代言語11[Rust Swift TypeScript Dart] - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト620:デフォルトの名無しさん 18/06/19 02:53:39.62 8GZLihdn.net Idris とかはどうなのよ 621:デフォルトの名無しさん 18/06/19 04:24:16.98 thfWBPV2.net >>608 この場合呼び出しのたびに変化するものが、引数のnと「どちらの関数を呼ぶか」という 2つしかないんだから、呼び出しのたびに減る式を作ろうとしたらこれを組み合わせるしかない 後はパズルだろ 622:デフォルトの名無しさん 18/06/19 07:30:15.96 3/FXNCrL.net 全てのｎについて(n, 1)＞(n, 0)と2n+1＞２ｎは同値だから当たり前だろ。 623:デフォルトの名無しさん 18/06/19 08:33:24.05 vJmt1KGh.net わかりにくい記法は自分で自由にわかりやすい記法に変換すればわかる Cのポインタの記法と同じ 自由に考える方が早い 偉い人にいちいち許可を求めたり質問したりすると時間がかかる 624:デフォルトの名無しさん 18/06/19 08:33:59.97 menX4d1R.net >>613 んー…１日置いたらやっと分かったような気がする… 気がしてるだけかもだけどあとは自力でどうにか理解できそう… まあ、新しい概念を覚えるときはどうしても時間が掛かるものだし、 あとは腑に落ちるまでサンプルコードひたすら写経したりするか… 皆ありがとう >>610 ATSの依存型は奇抜なの？ 他の依存型がある言語も似たようなことやるんじゃないの？ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch