Size: a a a

F# Flood: ПДД made functional, making illegal state INGIBDDdale

2020 May 15

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Если добавить соответствие имени
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Vasily Shapenko
Если добавить соответствие имени
Ну в общем да. В матане там у дисжоинт сетов просто пара - (тип, тег) вместо просто типа для идентификации сета
источник

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ayrat Hudaygulov
Любое значение string|int является значением типа string|int|любой тип
A | B | C = { (1, A), (2, B), (3, C) }. A | B = { (1, A), (2, B) }. не вижу противоречий. оба множества получены по тому определению что я выше написал, только маркеры выбираются детерменированно.
источник

VK

Vladislav Khapin in F# Flood: ПДД made functional, making illegal state INGIBDDdale
слишком сложно у вас тут для конца недели
источник

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
явно видно что A | B \in A | B | C
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
S B
A | B | C = { (1, A), (2, B), (3, C) }. A | B = { (1, A), (2, B) }. не вижу противоречий. оба множества получены по тому определению что я выше написал, только маркеры выбираются детерменированно.
Тут ты маркеры сам расставил. Представь что там гуиды ацко уникальные
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
И сразу все по пизде идёт
источник

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
S B
A | B | C = { (1, A), (2, B), (3, C) }. A | B = { (1, A), (2, B) }. не вижу противоречий. оба множества получены по тому определению что я выше написал, только маркеры выбираются детерменированно.
Софистика
источник

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Подтасовка фактов
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Vasily Shapenko
Подтасовка фактов
Вот да
источник

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Подгон под теорию
источник

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Короче, товарищ хочет быть прав
источник

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ayrat Hudaygulov
Тут ты маркеры сам расставил. Представь что там гуиды ацко уникальные
это уже деталь реализации! кто мне запретит сказать что существует f: множество_всех_возможных_du -> Nat например?
источник

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Но не хочет признавать проебы
источник

VK

Vladislav Khapin in F# Flood: ПДД made functional, making illegal state INGIBDDdale
S B
это уже деталь реализации! кто мне запретит сказать что существует f: множество_всех_возможных_du -> Nat например?
Я
источник

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Vasily Shapenko
Но не хочет признавать проебы
я понимаю что на практике это может быть сложно, но мне было интересно где в теории проеб. его там нет.
источник

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Чувак, тут практики
источник

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
выше я показал, что вопрос "assum f such that .. is injective`. и все.
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
S B
это уже деталь реализации! кто мне запретит сказать что существует f: множество_всех_возможных_du -> Nat например?
Ну если ты схолпнешь все теги в ноль, ты можешь типа получить из дисжоинт сетов юнионы, но только на бумаге)
источник

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
За теорией тебе в скала чат
источник