-
Notifications
You must be signed in to change notification settings - Fork 234
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
I made .NET F# package for F*. Shall I merge? #2449
Comments
@WhiteBlackGoose hi! anything related to packaging F* for usage in .net & F# environment is really interesting. I wanted to point at those issues, in case you haven't dug into it: |
@smoothdeveloper yes I've seen them. This package looks packed wrong, that's why I'm suggesting mine. I mean... it doesn't matter if it's mine or not, but the key is, would you like it to be repacked the way I pack it? Just like a regular F# lib |
I don't know how things are shifting with this repository tooling outside of OCaml toolchain, and latest F# versions deprecates stuff that implies there will be changes to occur here, eventually. Despite things look headed like tearing appart overall, for now, I believe it would be worth to have a version of F*, up to date, released as nuget packages, and an ecosystem to build libraries with the bells & whistles F* provides that can be consumed in more general .NET projects. It requires lots of effort around learning msbuild / .net sdk and of course, how this repository / compiler primarily works. @7sharp9 have you played with this repository / compiler a bit? |
Sorry no, I’ve used F* a little bit but not done anything than skim the compiler code.
…Sent from my iPhone
On 12 Feb 2022, at 11:17, Gauthier Segay ***@***.***> wrote:
I don't know how things are shifting with this repository tooling outside of OCaml toolchain, and latest F# versions deprecates stuff that implies there will be changes to occur here, eventually.
Despite things look headed like tearing appart overall, for now, I believe it would be worth to have a version of F*, up to date, released as nuget packages, and an ecosystem to build libraries with the bells & whistles F* provides that can be consumed in more general .NET projects.
It requires lots of effort around learning msbuild / .net sdk and of course, how this repository / compiler primarily works.
@7sharp9 have you played with this repository / compiler a bit?
—
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
You are receiving this because you were mentioned.
|
@mateuszbujalski , any thoughts about this? You have done some similar work |
@nikswamy I think that packaging F* as a nuget for easy consumption is important for the .net part of the community. My work is still an open PR. I believe it was pretty close to getting merged and running on CI. It probably did rot a bit with time though. I stopped pushing for it at some point as the project that was the main force driving my efforts died unfortunately and I've moved on since then. I also didn't have that much time to play around as quite a lot has been going on for me on the private side of things. Nevertheless, if you're willing to get nuget packaging merged, I'm happy to revive my solution, improve it based on @WhiteBlackGoose feedback so his use case is supported (if it isn't already) and maintain it long term. |
Hello. Awesome work!
I wanted to compile it to F#, but it'd need git submodules and not very nice. So I decided to make a nuget package, see repo.
It's very easy to use (just adding the package as
PackageReference
). Here's example of a repo using this lib (seecodegen.ps1
).I know there's some work making such a lib. But it included soucre files and some old targeting dlls. Instead, I suggest targeting netstandard2.0, have a new SDK-style proj file.
So, if you like the idea, I can try to add the package into this repo.
The text was updated successfully, but these errors were encountered: