fslang-design VS resharper-rider-plugin

The C# compiler got a ton of new smarts around reference type nullability and almost all of the BCL (.NET standard library) got annotated for it. I don't know when F# will finally pick up all the new compile-time smarts for Nullable Reference Types, but it has been proposed and prototyped, at least [1].

[1] https://github.com/fsharp/fslang-design/blob/main/RFCs/FS-10...

Note: For some reason I cant submit the Url with the specific section of the Drawbacks section, but it is here https://github.com/fsharp/fslang-design/blob/main/FSharp-7.0...

Does type provider still only support literal strings for definition, right? Supporting records could make it feasible to create something really good as just a side project. I remember suggestions to allow taking record/types but can't find the gh issue or related. Found the rfc. Seems abandoned. It could be a game changer. :(

But, when I try this example from the RFC, I get an "expected option but here has type voption" error.

Add insert/remove/update functions for collections, also Keys/Values for Map

This is https://github.com/fsharp/fslang-design/blob/main/RFCs/FS-1079-union-properties-visible.md

Someone writes an RFC about the approved-in-principle suggestion with more details and opens a pull request to https://github.com/fsharp/fslang-design.

Basically you need to start with https://github.com/JetBrains/resharper-rider-plugin and add your custom logic to the backend part. There's no documentation for the APIs, but you can look at the decompiled Rider assemblies to check how similar actions are implemented. This won't be easy, but should be doable. Ping me on JB discord if you need help. CLion plugins won't help, CLion uses a different C++ code engine.

Postfix templates work a bit differently in ReSharper and Rider (C#) than they do in IDEA. They are designed to be more context-specific to not clutter the completion list, so for instance, you won't get a .foreach suggestion when you're on an expression that can't be iterated. Depending on your specific use-case, source templates could be an alternative. There is also the possibility to write a plugin and implement a custom postfix template. Just let us know what you're after, and we might be able to help :-)