EG
Посоветуйте, штоле, книг на тему.
id True = True
id False = False
not True = False
not False = True
constTrue True = True
constTrue False = True
constFalse True = False
constFalse False = FalseSize: a a a
2020 February 12
G
Вообще не понял)
Задача же изначально стояла определить четыре функции
Задача же изначально стояла определить четыре функции
Bool -> Bool, которые выражают эти четыре пары. Откуда 8 пар, откуда constTrue/constFalse?AZ
Вообще не понял)
Задача же изначально стояла определить четыре функции
Задача же изначально стояла определить четыре функции
Bool -> Bool, которые выражают эти четыре пары. Откуда 8 пар, откуда constTrue/constFalse?пара (false, true), в смысле - вход- выход
AZ
а не пары функций)
G
Да, я понимаю
AZ
(true, true)
(false, false)
(true, false)
(false, true)
(true, true)
(false, true)
(true, false)
(false, false)
(false, false)
(true, false)
(false, true)
(true, true)
(false, true)
(true, false)
(false, false)
AZ
8 пар
EG
О, я решил первую
G
(true, true)
(false, false)
(true, false)
(false, true)
(true, true)
(false, true)
(true, false)
(false, false)
(false, false)
(true, false)
(false, true)
(true, true)
(false, true)
(true, false)
(false, false)
Здесь (True, True) дважды встречается, (False, False) тоже и т.д.
𝙰𝙸
О, я решил первую
👍
EG
На Haskell действительно решается гораздо проще. Но когда я понял принципиальную идею, я перешёл обратно на Rust, потому что у Rust на порядок лучше сообщения об ошибках.
λ
Здесь (True, True) дважды встречается, (False, False) тоже и т.д.
И что? 2 пары образуют одну функцию. Функции идентичны, когда множества пар, из которых они состоят, идентичны.
EG
Решил вторую.
E
подскажите, а можно как-то отключить corelib в rust?
A
подскажите, а можно как-то отключить corelib в rust?
Нет, зачем
A
Без кор Либы нет раста
EG
подскажите, а можно как-то отключить corelib в rust?
Можно.
E
Можно.
какие последствия?
EG
какие последствия?
У тебя не будет core.
E
а как отключить corelib в rust?