Mavnn's blog

Stuff from my brain

We're running Cloud Native .NET in Brighton, 26th-27th April 2018. High quality training for building .NET Core, distributed, production ready systems.

Mostly So I Don't Forget to Look Into It...

In f#, type inference suffers badly when calling methods on an instance of a class initiated outside of the function in question.

I wonder if quotations would allow a general function "xx" to create functions "xxmethodname" such that:

xx -> instance.methodname -> xxmethodname

xxmethodname instance [args] = instance.methodname [args]

and if so how the type inference of the compiler would cope with it.