Skip to content

Instantly share code, notes, and snippets.

cannorin

Block or report user

Report or block cannorin

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@gusty
gusty / curry.fsx
Created Jul 9, 2019
Polyvariadic curry / uncurry
View curry.fsx
#nowarn "0042"
let inline retype (x: 'T) : 'U = (# "" x: 'U #)
open System
type Curry =
static member inline Invoke f =
let inline call_2 (a: ^a, b: ^b) = ((^a or ^b) : (static member Curry: _*_ -> _) b, a)
call_2 (Unchecked.defaultof<Curry>, Unchecked.defaultof<'t>) (f: 't -> 'r) : 'args
You can’t perform that action at this time.