Dv
Хотя тут хз, сработает ли; наверняка у запятой повыше приоритет?
let x = a, b, c
foon x
Size: a a a
2020 August 01
P
имелось ввиду что не передашь без промежуточного значения
AD
это не промежуточное значение. это то же значение
AD
тождественное ему. alias по сути
P
блин. я про синтаксис. понятно что для выполняемого кода это одно и тоже.
P
что let что скобки собирают тупл из нескольких элементов
н
а, т.е. ты применяешь понятие "тупл" к языкам, в которых их нет, только потому что и там и там круглые скобки
AD
ну это кстати, соответстувет тезису о том, что функции из ML\F# - это таки функции от одного аргумента.
Но мемберы из ООП F# не получается так рассматривать. из-за всяких [<Out>], [<ParamArray>]
Но мемберы из ООП F# не получается так рассматривать. из-за всяких [<Out>], [<ParamArray>]
н
ладно, в сишке есть туплы
н
раз в тайпскрипте туплы это [...]
то в ассемблере mov [eax], ebx - тоже тупл
то в ассемблере mov [eax], ebx - тоже тупл
P
раз в тайпскрипте туплы это [...]
то в ассемблере mov [eax], ebx - тоже тупл
то в ассемблере mov [eax], ebx - тоже тупл
странные у тебя ассоциации. я тебе про общепринятую нотацию, а ты какуюто маргинальщину. ну брейнфак тогда уж вытащи там тоже + чето значит
н
что такое "общепринятая нотация"
н
ты даже сам сказал, "книжка по фп"
н
сишка это фп язык?
P
что такое "общепринятая нотация"
ML и все околорядом.
P
сишка это фп язык?
ты не знал?
AD
ты не знал?
wut?
NM
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
А что за оператор $?
Я же сам его в этом примере и ввёл.