ひまなのでRustのサブセットを作る

**以下、5ちゃんねるからVIPがお送りします** · 2023/08/21(月) 21:18:20.379

通常の名前として使える文字列をidで表す
非負整数はintで表す

predefined_type:
　 i8, i16, …, u64, f32, f64

user_defined_type:
　 id

user_defined_higher_order_type:
　 user_defined_type
　 user_defined_type < type >

type:
　 predefined_type
　 user_defined_higher_order_type
　 tuple_type
　 list_type
　 reference_type
　 # 関数ポインタとかどうしよ

tuple_type_content1:
　 type
　 tuple_type_content , type

tuple_type_content2:
　 type , tuple_type_content1
　 tuple_type_content1 ,

tuple_type:
　 ( tuple_type_content2 )

list_type:
　 [ type ; int ]

reference_type:
　 & type
　 &mut type

**以下、5ちゃんねるからVIPがお送りします** · 2023/08/21(月) 21:19:44.061

以上が型に関する文法…な気がする

**以下、5ちゃんねるからVIPがお送りします** · 2023/08/21(月) 21:20:39.610

ライフタイム無視したらまずいかな

**以下、5ちゃんねるからVIPがお送りします** · 2023/08/21(月) 21:31:21.515

structure_definition:
　 [pub] struct user_defined_type [< user_defined_type >] { structure_fields [,] }

structure_field:
　 id : type

structure_fields:
　 structure_field
　 structure_fields, structure_field

**以下、5ちゃんねるからVIPがお送りします** · 2023/08/21(月) 21:43:55.892

ライフタイム意識すると構文解析がわけわかめになりそう

**以下、5ちゃんねるからVIPがお送りします** · 2023/08/21(月) 21:45:42.620

構文解析はできるとおもうけど意味解析がやばそう

**以下、5ちゃんねるからVIPがお送りします** · 2023/08/21(月) 21:54:20.637

トレイトバウンドとか考えなきゃならんから修正が必要だなあ

**以下、5ちゃんねるからVIPがお送りします** · 2023/08/21(月) 21:57:55.822

つかれたのでニコニコ漫画をよもう

**以下、5ちゃんねるからVIPがお送りします** · 2023/08/21(月) 22:15:42.663

サブセットってどういう事？

**以下、5ちゃんねるからVIPがお送りします** · 2023/08/21(月) 22:18:16.057

>>9
劣化版みたいな意味
劣化版Rustで書いたコードは通常版Rustでも動く
逆は必ずしもそうではない

**以下、5ちゃんねるからVIPがお送りします** · 2023/08/21(月) 22:18:48.393

>>10
おおーー
なるほど