Телеграмм чат группы rust_offtopic страница 7601

Size: a a a

rust_offtopic

2020 January 26

void compose(f: A => B, g: B => C): A => C {
    (a) g(f(a))
}

Возвращаемая лямбда должна иметь пересечение исключений из f и g. Как это сделать?

Почему пересечение, разве не обьединение?

источник

18:28пожаловаться #1

Gymmasssorla in rust_offtopic

Kai Ren

Почему пересечение, разве не обьединение?

Опечатка

источник

18:28пожаловаться #2

Kai Ren in rust_offtopic

catch (LambdaAError | LabmdaBError e)

источник

18:28пожаловаться #3

Kai Ren in rust_offtopic

Я уже не помню кто так умеет. Вроде JS

источник

18:29пожаловаться #4

Gymmasssorla in rust_offtopic

Ты в сигнатуре это обозначь

источник

18:29пожаловаться #5

Kai Ren in rust_offtopic

Ну или ваять свой тип сверху

источник

18:29пожаловаться #6

Gymmasssorla in rust_offtopic

В сигнатуре compose это можно обозначить?

источник

18:29пожаловаться #7

Kai Ren in rust_offtopic

throws LambdaAError, LabmdaBError

источник

18:30пожаловаться #8

Kai Ren in rust_offtopic

разве не достаточно?

источник

18:30пожаловаться #9

Gymmasssorla in rust_offtopic

Но f и g могут возвращать более одного исключения

источник

18:30пожаловаться #10

Kai Ren in rust_offtopic

И что?

источник

18:31пожаловаться #11

Kai Ren in rust_offtopic

Здесь завязка на интерфейс же. Могут кидать всё, что ему удовлетворяет.

источник

18:31пожаловаться #12

Doge Shibu in rust_offtopic

Gymmasssorla

Кстати, помнишь ты говорил, что бросание исключений ссылочно прозрачно? В красной книге Скала наоборот говорят, т.к. Если сделать x = throw Exception и заменить в разных блоках функции, то поведение программы изменится

Потому что джава исключения сидят вне IO

источник

18:33пожаловаться #13

Gymmasssorla in rust_offtopic

Kai Ren

Здесь завязка на интерфейс же. Могут кидать всё, что ему удовлетворяет.

Ну если так можно, то всё равно оверкилл. Это как создавать новый трейт в Rust для перегрузки функций

источник

18:40пожаловаться #14

Kai Ren in rust_offtopic

Gymmasssorla

Ну если так можно, то всё равно оверкилл. Это как создавать новый трейт в Rust для перегрузки функций