unwrapper | : gift : Unwrap callback functions from JSON responses | REST library

I'm trying to pass a Kotlin Object to a C-Library which will pass that object over to a callback function. This function is written in Kotlin, thus I can use this Object and work with it. Howerver i could not find a way to convert a Kotlin Object to a CPointer. The only thing I found which may be what I need, is fun createKotlinObjectHolder(any: Any?): NativePtr and fun unwrapKotlinObjectHolder(holder: Any?): T. But even if I use the just created NativePtr to pass it over to the unwrapper function, it will fail with the error message unrecognized selector sent to instance 0xXYZ. What am I doing wrong or aren't those the functions I should use?

An example Code with libcURL:

I am trying to write a generic method that accepts a function that returns either a Serialize value or an Arc value. My solution is to create a trait to unwrap the Arc if needed and produce a reference to the underlying value:

In C++ we cannot create containers of references:

I'm working with an API that returns responses that look like:

I'm relatively new to parameter packs, but I want to build a class that receives argument pack, collects values that are contained within and launches them into another function.

I have a class that has variadic template and a function which assigns values. Function is taking arguments from VARIANT structure.

Unwrapper Function:

The following code compiles and runs with the expected results ( 'done' on console after 3 seconds ) when build in codeblocks v17 with 32 bit g++ v5.1 and boost v1.63

I'm trying to do the following:

I'm attempting to bind async_accept's handler to a member function. The overload of async_accept I'm attempting to use is:

I'm trying to define a fixpoint in Coq in which one of the function definitions refers to the other through a parameter, but I'm getting some confusing errors.

I've minimised the definition to this: