Igor Bagdamyan
Igor Bagdamyan
@saul @auduchinok Hey! Can we do something to make this feature green and merged?
@EgorBo This is what we've talked about lately. Posting asm from main branch using disasmo will be more accurate with release jit.
This possibly can enable better interop with "variant-style" unions e.g. ``` fsharp type JsonUnion = { Tag: CaseEnum Prop1: Case1 option (or nullable) Prop2: Case2 option (or nullable) Prop3: Case3...
Well, personally I think that we shouldn't really touch operations at all, e.g. let Trim() return the same thing as aliased type does. But the key difference will be this:...
Well, my problem with DU's usually is that they require having "stuff" around them: serialization, implementing interfaces, e.g. full decoration if you need to mimic the type they wrap. The...
@dsyme Hmm. Just a thought. Could compiler just issue an optional warning when a different aliased type is used at a call site?
@dsyme can this be allowed?
For example (|>) or (>>) operators could benefit from this because there is no guarantee that next value will be function. Could be, could be not. I would also like...
The idea is to leave behavior as it is, but just to allow this attribute on any parameter and if compiler can detect that there is a function type/lambda actually,...
@dsyme I don't know if you've read my last 2 messages but can you reconsider this? Or should I close this suggestion?