G
Но пока не дошло как
Size: a a a
2020 February 11
G
Может почитать скинете что-нибудь, должно быть уже для этого что-то
r
play.rust-lang.org того? Что-то уже 5 минут компилирует.
p
Вообще у меня идея была конечный автомат в типах закодировать
#[derive(FSM)]
struct User {
#[with(handle_user_age)]
age: u32,
}
fn handle_user_age(ctx: Ctx) -> Option<u32> {
//handle
}?
G
red75prime
play.rust-lang.org того? Что-то уже 5 минут компилирует.
У меня скомпилировалось
A
red75prime
play.rust-lang.org того? Что-то уже 5 минут компилирует.
работает всё
G
#[derive(FSM)]
struct User {
#[with(handle_user_age)]
age: u32,
}
fn handle_user_age(ctx: Ctx) -> Option<u32> {
//handle
}?
Ещё нет
p
Ещё нет
Чтр значит "ещё"?
G
Чтр значит "ещё"?
То, что мне самому подумать надо, что я хочу получить
G
По твоему примеру вообще ничего не понятно
p
Ну вроде норм выглядит
Но лучше сейчас документацию пилить, а это оставить на 0.1.1
Но лучше сейчас документацию пилить, а это оставить на 0.1.1
G
Ну вроде норм выглядит
Но лучше сейчас документацию пилить, а это оставить на 0.1.1
Но лучше сейчас документацию пилить, а это оставить на 0.1.1
Да
r
работает всё
Значит ему моя программка не нравится. https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=139622059cf010c027b39a266b870538
G
Я TODO поставил
r
О. Ожил.
Execution operation failed: Compiler execution took longer than 12000 msP
Вообще у меня идея была конечный автомат в типах закодировать
type-level protocols
G
type-level protocols
Спасибо
p
red75prime
Значит ему моя программка не нравится. https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=139622059cf010c027b39a266b870538
Бесконечный цикл не смущает?
A
red75prime
О. Ожил.
Execution operation failed: Compiler execution took longer than 12000 ms
A
у тебя там бесконечный луп