Size: a a a

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

2020 May 15

оГ

отец Григорий... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
А онанизмирующие рекорды - можно?
источник

оГ

отец Григорий... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Заместо туплей-то?
источник

VS

Vladimir Shchur in F# Flood: ПДД made functional, making illegal state INGIBDDdale
в те годы они еще не анонимировали)
источник

оГ

отец Григорий... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Я попробую ща
источник

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
пачиму нельзя новые анонимные DU делать на лету на основе уже существующих. сумма сумм. type AorB = | A | B, type CorD = | C | D и ВНЕЗАПНО let f (x: AorB | CorD) = match по A | B | C | D. или можно но я не знаю как?
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
S B
пачиму нельзя новые анонимные DU делать на лету на основе уже существующих. сумма сумм. type AorB = | A | B, type CorD = | C | D и ВНЕЗАПНО let f (x: AorB | CorD) = match по A | B | C | D. или можно но я не знаю как?
Потому что нельзя. В скале 3 и тайп скрипте можно
источник

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ayrat Hudaygulov
Потому что нельзя. В скале 3 и тайп скрипте можно
в Тайпскрипте очень часто этим пользуют и ОЧЕНЬ ДОВОЛЕН111!
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
S B
пачиму нельзя новые анонимные DU делать на лету на основе уже существующих. сумма сумм. type AorB = | A | B, type CorD = | C | D и ВНЕЗАПНО let f (x: AorB | CorD) = match по A | B | C | D. или можно но я не знаю как?
Анонимные Ду оксюморон, так как они по дефинишну должны быть размечены
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
То есть два одинаковых по виду объединения могут быть разными
источник

VK

Vladislav Khapin in F# Flood: ПДД made functional, making illegal state INGIBDDdale
S B
пачиму нельзя новые анонимные DU делать на лету на основе уже существующих. сумма сумм. type AorB = | A | B, type CorD = | C | D и ВНЕЗАПНО let f (x: AorB | CorD) = match по A | B | C | D. или можно но я не знаю как?
источник

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ayrat Hudaygulov
Анонимные Ду оксюморон, так как они по дефинишну должны быть размечены
поясни как для дебила что ты имеешь в виду. по какому дефинишину?
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
S B
поясни как для дебила что ты имеешь в виду. по какому дефинишину?
По определению Discriminated
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
То есть int | int != Int | int
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Если мы говорим про ДУ
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Это только юнион типы так работают
источник

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ayrat Hudaygulov
То есть int | int != Int | int
вот это не пониманию из чего следует. видимо тут что-то вроде int != Int ==> int | Int != int | int?
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
(которых у нас нет)
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
S B
вот это не пониманию из чего следует. видимо тут что-то вроде int != Int ==> int | Int != int | int?
Не, у меня везде один и тот же инт) просто телефон подвёл
источник

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
тогда int | int != int | int нарушает рефлексивно, т.к. \forall x: x = x. я тебя наверно нипанимаю. но суть в том, что я хочу как в TS: просто на ходу лепить AorB | CorD и объявлять все это явно.
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Короче, вот смотри

type UserIdOrError =
 | UserId of int
 | Error of code

type Response =
 | Value of int
 | HttpStatusCode of int
источник