Rust part10at TECHRust part10 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト578:デフォルトの名無しさん 21/05/11 08:24:36.99 hJ8vQWaq.net >>561 通りすがりですが、保存せずにただ試すだけなら 1.シークレットモードで新規タブ 2.playgroundのサイトを開く（ブックマーク登録からとか） 3.コード入力かコピペ作業 でどうでしょうか? 579:デフォルトの名無しさん 21/05/11 10:55:34.68 nxCZKmfr.net >>567 nll rfcで検索したら出てくるよ 580:デフォルトの名無しさん 21/05/11 12:37:05.27 BXZYJdJz.net >>569 そこには例が書かれてるだけで、数学みたいな意味でのちゃんとした厳密仕様は書いてないと思うんだよ。 Rustのライフタイムは数学規則のように機械的にパターンで処理できるような一般化された規則にはなってないという意味において。 581:デフォルトの名無しさん 21/05/11 12:42:48.49 yczyG8TY.net 厳密な仕様があるのは理想だけど、規格化された言語ですら数学的に厳密な仕様なんて存在しないしな 最終的にはCoqのソースコードで示される、とかはあるかもしれないが 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch