A
так что,...тут Haxe гавно всё равно
Size: a a a
2020 February 13
p
так что,...тут Haxe гавно всё равно
Там нет опций компилятора? О.о
A
Там нет опций компилятора? О.о
в плейграунде нет возможности выбрать ES.
BD
trait Foo {
fn bar() -> Result<(), ()>;
}
impl Foo for Baz {
fn bar() -> Result<(), ()> {
if cond { Ok() } else { Err() }
}
}
impl Foo for Bat {
fn bar() -> Result<(), ()>::Ok {
Ok()
}
}но это уже другой return type, не тот что в трейте
p
но это уже другой return type, не тот что в трейте
Тот же
p
Так как Result::Ok - подмножество Result
EG
trait Foo {
fn bar() -> Result<(), ()>;
}
impl Foo for Baz {
fn bar() -> Result<(), ()> {
if cond { Ok() } else { Err() }
}
}
impl Foo for Bat {
fn bar() -> Result<(), ()>::Ok {
Ok()
}
}https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=dc07e3b4ca7d2691242149eed46968ef
Примерно так это можно выразить сейчас
Примерно так это можно выразить сейчас
EG
Ждём стабилизации never type
r
Есть
Result<(), !>EG
red75prime
Есть
Result<(), !>Увы
r
А, да. не стабилизировали ещё
EG
Но есть
Result<(), Infallible>, что семантически то же самое.BD
Так как Result::Ok - подмножество Result
вот именно, поэтому тип другой, ведь Result - надмножество Ok и у него больше возможных значений
EG
И когда-нибудь будет ещё exhaustive_patterns, которая позволит делать
let result: Result<T, !> = ...;
let Ok(x) = result;
p
вот именно, поэтому тип другой, ведь Result - надмножество Ok и у него больше возможных значений
Мы можем производить с Ok теже операции что и с Result
EG
Ok это ваще не тип. Enum variant это отдельная сущность в Rust.
BD
Мы можем производить с Ok теже операции что и с Result
например получить Ok::Err()?
p
У меня такое ощущение что разница между интерпретируемыми и языками с ВМ только в типизации (динамическая у интерпретируемых, статическая у ВМ)
r
например получить Ok::Err()?
Err можно вытащить только матчем. Так что тут нормально.
p
например получить Ok::Err()?
Ты можешь сделать .map_err() все также