Interop with F#

[DejanMilicic]

I would like to write FStar functions and then call them from F#.

What would be a recommended setup for this?
I suppose the creation of one FStar project using FStarMSBuildSDK, and one (or more) F# projects where FStar project would be referenced from.

Can you recommend some best practices on this, please? Thanx!

[kant2002]

I suppose the creation of one FStar project using FStarMSBuildSDK, and one (or more) F# projects where FStar project would be referenced from.

That's what I would recommend. But I cannot say that I'm most experienced person on this topic. You can always create fsti and provide fs implementation file, but I did not test this scenarios

[DejanMilicic]

So far I tried following

1. Changed FStar project type to Library
2. Created F# project
3. dotnet build in FStar project
4. Referenced DLL generated from FStar project into F# project

F# does not see function from referenced DLL

Do I need fsti for this scenario?

[DejanMilicic]

Btw, for fsi files I am getting this when running dotnet build

(Error 223) Unrecognized extension 'Mirror.fsi' (pass --MLish to process .fs and .fsi files)

[kant2002]

For now I would start with library fully in f* and then create executable from F#. If you want to call F# from Fstar I do not know yet how to create good tooling for that