AZ
нет ты не можешь её подменить, она уже реализованна каким-то образом
Size: a a a
2020 June 21
SP
хорошо. апплайнуть ее
t
но ты можешь реализовать перегрузку getCurrentTime 🙂
AZ
хорошо. апплайнуть ее
аплайнуть это "выполнить" ио? Считай, что в хаскелле это запрещено
AZ
только ранатйму можно выполнять
t
есть функция unsafePerformIO - слово unsafe в названии должно намекнуть, что функция не предназначена для вызова обычными людьми
AZ
давай пример попроще
AZ
@enomad
#[derive(Debug, Clone)]
struct IO(String);
fn read_line() -> IO {
IO("SELECT * FROM TABLE".into())
}
fn main() {
let a = read_line();
print!("{:?}", a);
}
Функция read_line - чистая или нет?SP
ну по вашей методичке что угодно чистое
AZ
у чистоты есть определение
AZ
его можно взять и проверить
AZ
это не философская концепция
AZ
а штука на которую можно однозначно ответить
t
для того, чтобы быть чистой, функция должна как минимум обладать ссылочной прозрачностью (referential transparency)
t
read_line ей обладает
p
ну по вашей методичке что угодно чистое
+
p
ну функция чистая, да
p
сама программа - нет
t
если функцию можно заменить на результат ее выполнения, или если результат выполнения можно заменить на вызов функции, то все оки, функция чистая