κeenです。型レベル迷路作ったよ!コンパイルが通ったらゴール!! Rustで型レベルステートマシン定義できるじゃないですか 1。 ということは1マス単位で移動できる方向を使い分けられるし迷路くらい作れるんじゃね?というお話。 サクっといきます。 マス型。 use std::marker::PhantomData; pub struct Cell<Maze, X, Y> { m: PhantomData<Maze>, x: PhantomData<X>, y: PhantomData<Y>, } impl<Maze, X, Y> Cell<Maze, X, Y> { const fn new() -> Self { Self { m: PhantomData, x: PhantomData, y: PhantomData, } } } 迷路間で定義を使い回したいので迷路もパラメータに持って