printLn $ show 4.2

might lead to 4.2 or 4,2, depending on the current culture on which the dotnet code is executed. While this is .net default behavior of .ToString(), I'm not sure if this should be fixed with CultureInfo.InvariantCulture; maybe some code would already expect the .net default here; while on the other hand from an Idris point of view show should be pure.

• Provide a more convenient CIL.FFI.Array.get accessor function which doesn't require the element type to be passed in
• Support all primitive types
• Provide efficient conversion functions between primitive arrays and Data.Vect
• Provide efficient conversion functions between primitive arrays and Lists
• Unify CIL.FFI.ObjectArray and CIL.FFI.Array.TypedArray
• Support native int arrays
• Support value types
• Provide efficient indexed accessors

System.Numerics.BigInteger is the obvious choice but we should also consider alternative solutions that would work on lesser frameworks such as Unity's.

Automatically introduce exception handling for FFI functions declared with a return type of Either Exception a where a stands for the actual FFI return type.

A dotnet core runtime configuration file must be emitted side-by-side with the executable.

Consider automatic conversion between Maybe a and nullable a.

i saw last commit on master is on 24 Dec 2017

Currently, Double as handled as System.Single (float32) which violates Idris semantics.

Double needs to be handled as System.Double but support for float32 must be preserved.

This can probably be achieved by introducing a CIL type for "System.Single" and implementing all required type classes efficiently via %externs.

Enums can be backed by different integer types. Only int32 is currently supported.

Currently, a function such as:

f : Double -> Double
f d = 3.0 + d * 42

Compiles down to the following boxing-heavy bytecode (nevermind the fact that Double is currently mapped to float32 which is a separate issue - #8):

.method static assembly object 'Main.f'(object 'e0') cil managed {
    .locals init (
            object l0,
            object l1)
    ldc.r4 3.0
    box float32
    stloc.0 
    ldc.r4 42.0
    box float32
    stloc.1 
    ldarg.0 
    unbox.any float32
    ldloc.1 
    unbox.any float32
    mul
    box float32
    stloc.1 
    ldloc.0 
    unbox.any float32
    ldloc.1 
    unbox.any float32
    add
    box float32
    ret
}

The type for both local variables could be inferred thus allowing all unnecessary boxing operations to be removed leaving only the unboxing of the argument and the final boxing of the return value.

To provide more accurate information via dotnet reflection.

Is there anyway to get this to emit something that targets .NET 3.5?, the Unity Editor still doesnt support .NET 4.x