G
как назвать функцию
A<T> -> (T -> T) -> A<T>
?
A<T> -> (T -> T) -> A<T>
?
а что она делает?
Size: a a a
2020 May 03
ᅠᅠ
wrap не юзал хз
ᅠᅠ
это все сгенерирует
#[post("/{thread_id}/posts")]
pub async fn CreatePost(...)
#[post("/{thread_id}/posts")]
pub async fn CreatePost(...)
это все кстати потом еще структуру нулевую сгенерирует
B
конечный сахар будет примерно так выглядить:
#[derive(RestRedirect)]
#[rest(url = "/{thread_id}/posts", redirect = "CreatePost", method = "post", authorization="required")]
struct CreatePost {
#[rest(param = "thread_id")]
pub thread: u32,
pub comment: String
}
#[derive(RestRedirect)]
#[rest(url = "/{thread_id}/posts", redirect = "CreatePost", method = "post", authorization="required")]
struct CreatePost {
#[rest(param = "thread_id")]
pub thread: u32,
pub comment: String
}
я бы непихал пост и гет в одну струткуру
p
а что она делает?
применяет к каждому T из A функцию (T -> T) и возвращает новый A, очевидно
ᅠᅠ
я бы непихал пост и гет в одну струткуру
так метод же один раз указывается, в каком смысле?
p
map это
A<T> -> (T -> U) -> A<U>
A<T> -> (T -> U) -> A<U>
ᅠᅠ
у меня еще появилась гениальная идея, генерировать одновременно и RPC и REST методы
ᅠᅠ
у меня еще появилась гениальная идея, генерировать одновременно и RPC и REST методы
хотя каша получится какая та, там они вообще в отдельных каталогах лежат
/interface/api/rest
/interface/api/rpc
/interface/api/rest
/interface/api/rpc
p
как назвать функцию
A<T> -> (T -> T) -> A<T>
?
A<T> -> (T -> T) -> A<T>
?
@Psilon как такое называется в хрускеле?
AZ
@Psilon как такое называется в хрускеле?
A
@Psilon как такое называется в хрускеле?
fmap?
ᅠᅠ
у меня еще появилась гениальная идея, генерировать одновременно и RPC и REST методы
ну а кстати, это важно!
ᅠᅠ
grpcio так и так модели генерирует, на основе прото
ᅠᅠ
может реально чтонить придумать, чтобы генерировать это все автоматически?
p
fmap?
там A<T> -> (T -> U) -> A<U>
p
ну лан пусть будет map
ᅠᅠ
может реально чтонить придумать, чтобы генерировать это все автоматически?
grpcio юзал ктонить?
A
там A<T> -> (T -> U) -> A<U>
Ну тут просто U = T, то есть fmap более широкая вещь