𝙰𝙸
если это задачка на собес то мне жаль ваших кандидатов
Что вы, просто головоломка из классической логики.
Size: a a a
2020 February 12
λ
если это задачка на собес то мне жаль ваших кандидатов
Простенькая задачка, если решать не на расте
AZ
Простенькая задачка, если решать не на расте
вспоминаются мои мучения с йонедой
λ
вспоминаются мои мучения с йонедой
Это намного проще
λ
А переведите на человеческий второй квиз
AZ
f : (A -> B) -> A
h : A -> (A -> B)
BТак, где тут apply 🤔
хм, на секунду показалось что это аксиомы
𝙰𝙸
Простенькая задачка, если решать не на расте
Вообще да. В Rust нотация нагружает. Может и можно как-то облегчить..
AZ
a->b->a так точно опхожа
AZ
но там вроде скобки другие
λ
хм, на секунду показалось что это аксиомы
Можешь считать, что сверху аксиомы, а снизу то, что необходимо из них вывести
AZ
Можешь считать, что сверху аксиомы, а снизу то, что необходимо из них вывести
я не про то. Я про то что в аксиомах А и В это пропозициональные переменные
AZ
а тут это конкретные типы
EG
Простенькая задачка, если решать не на расте
То есть она решается на хаскелле? Меня уже задолбали угловые скобки.
G
Насчёт морфизмов в категории из одного объекта Bool. Так выглядит категория:
То есть всего один Bool объект. Всегда есть id:
Ещё определим эндоморфизм not:
Я не понимаю откуда взялось 8 пар
@Psilon
@kremovtort
{True, False}То есть всего один Bool объект. Всегда есть id:
id :: Bool -> Bool
id True = True
id False = False
Ещё определим эндоморфизм not:
not :: Bool -> Bool
not True = False
not False = True
Я не понимаю откуда взялось 8 пар
Bool -> Bool и 4 морфизма. Что не так в моей категории?@Psilon
@kremovtort
AZ
Насчёт морфизмов в категории из одного объекта Bool. Так выглядит категория:
То есть всего один Bool объект. Всегда есть id:
Ещё определим эндоморфизм not:
Я не понимаю откуда взялось 8 пар
@Psilon
@kremovtort
{True, False}То есть всего один Bool объект. Всегда есть id:
id :: Bool -> Bool
id True = True
id False = False
Ещё определим эндоморфизм not:
not :: Bool -> Bool
not True = False
not False = True
Я не понимаю откуда взялось 8 пар
Bool -> Bool и 4 морфизма. Что не так в моей категории?@Psilon
@kremovtort
ты забыл const true и const false
G
ты забыл const true и const false
Ну зачем они здесь нужны?
AZ
это тоже морфизмы bool -> bool
λ
То есть она решается на хаскелле? Меня уже задолбали угловые скобки.
На хаскеле, на коке, на идрисе, на джаве и т д и т п
EG
На хаскеле, на коке, на идрисе, на джаве и т д и т п
Окей, ща попробую перейти на хаскелль
𝙰𝙸
А переведите на человеческий второй квиз
Вроде так: ((A ⋁ (A -> B)) -> B) -> B