Size: a a a

F# Flood: Диванная теория всего

2020 August 01

н

невидимка in F# Flood: Диванная теория всего
Dr. Friedrich von Never
Я уже подумываю о том, чтобы в пронете твоё право голоса ограничить, кстати.
эээээ
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
Слишком много не по делу пишешь.
источник

NM

Nikolay M in F# Flood: Диванная теория всего
Dr. Friedrich von Never
Но тут проблема в том, что ты не можешь его параметризовать типом
блжть
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
Nikolay M
блжть
Ну вот да. Давай думать дальше.
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
В принципе, у нас набор типов в этом месте очень ограничен
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
Там бывают только вот эти все %s %d %A
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
То есть всякие там примитивы, ну и ещё обжекты для %A
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
Однако, мы не можем захардкодить огромный свитч по типам
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
Потому что там бывают вложенные функции (вот типа моего примера выше), и это комбинаторный взрыв получается.
источник

NM

Nikolay M in F# Flood: Диванная теория всего
Ну да, я думал, главный трабл в том, что тип там любой может быть
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
щящя, погоди
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
SRTP нас не спасёт?
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
Давай пробовать на SRTP, ёпта
источник

P

Pavel in F# Flood: Диванная теория всего
Dr. Friedrich von Never
Компилятор решил, что хорошая идея — параметр пак для этой функции обернуть в туполь и положить в кучу.
ну так это проблема конкретной реализации конкретного компилятора, а подхода что у функции всегда 1 агрумент.
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
Там вот как раз можно выпендриться, давайте выпендриваться
источник

NM

Nikolay M in F# Flood: Диванная теория всего
А сртп как поможет?
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
Pavel
ну так это проблема конкретной реализации конкретного компилятора, а подхода что у функции всегда 1 агрумент.
До этого у тебя было более конкретное утверждение: ты сказал, что любой пак из нескольких аргументов можно представить как туплю
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
Я это утверждение опроверг
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
Если у тебя что-то более расплывчатое, то я обсуждать не буду.
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
Nikolay M
А сртп как поможет?
Давай думать
источник