Size: a a a

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

2020 August 01

AD

Aleksandr Drozdov in F# Flood: Диванная теория всего
не могу вспомнить где
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
type T = T with
   static member inline ($) (T, arg: unit) = ()
   static member inline ($) (T, func: 'a -> 'b): 'a -> 'b =
       fun _ -> (T $ Unchecked.defaultof<'b>)

let inline negate<'a>(): 'a =
   let argType = typeof<'a>
   printfn "%A" <| typeof<'a>
   T $ Unchecked.defaultof<'a>


Вот такое должно работать, наверное
источник

Dv

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

н

невидимка in F# Flood: Диванная теория всего
Aleksandr Drozdov
просто этот термин точно у нас в матане где-то фигурировал
у нас тоже было, но вот не в контексте функций
источник

н

невидимка in F# Flood: Диванная теория всего
(и я тоже не помню где)
источник

Dv

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

NM

Nikolay M in F# Flood: Диванная теория всего
Dr. Friedrich von Never
type T = T with
   static member inline ($) (T, arg: unit) = ()
   static member inline ($) (T, func: 'a -> 'b): 'a -> 'b =
       fun _ -> (T $ Unchecked.defaultof<'b>)

let inline negate<'a>(): 'a =
   let argType = typeof<'a>
   printfn "%A" <| typeof<'a>
   T $ Unchecked.defaultof<'a>


Вот такое должно работать, наверное
источник

NM

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

Dv

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

Dv

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

AD

Aleksandr Drozdov in F# Flood: Диванная теория всего
невидимка
(и я тоже не помню где)
в теории множеств еще, может быть
источник

P

Pavel in F# Flood: Диванная теория всего
невидимка
где про это можно прочитать
про что прочитать то? то запись (_,_,) это тупл? любая книга по фп. там более честные определения
источник

AD

Aleksandr Drozdov in F# Flood: Диванная теория всего
и если определять мат. функцию как правило отображения множества A на B, то там будут кортежи
источник

н

невидимка in F# Flood: Диванная теория всего
Pavel
про что прочитать то? то запись (_,_,) это тупл? любая книга по фп. там более честные определения
в любой религиозной книге тоже можно прочитать много интересных вещей, они от этого правдивыми сразу не становятся

в тайпскрипте, например, тупл - []
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
А в F# и a, b, c — тоже тупл, без всяких скобочек.
источник

P

Pavel in F# Flood: Диванная теория всего
Dr. Friedrich von Never
А в F# и a, b, c — тоже тупл, без всяких скобочек.
только в функцию ту его без скобочек не передашь.
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
Pavel
только в функцию ту его без скобочек не передашь.
Ну почему? Можно.
источник

AD

Aleksandr Drozdov in F# Flood: Диванная теория всего
тут поинт, наверное, в том, что в typescript есть пустые кортежи, видимо
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
let x = a, b, c
foon x
источник

Dv

Dr. Friedrich von Ne... in F# Flood: Диванная теория всего
Или через всякие там <| и т.п. приколы
источник