1 voteSteven Taylor commented
Is there a way to also dynamically insert into the static type checker?
In the spirit of exploratory programming, there are a range of useful cross .dll / tool chain workflows that this would enable. This would make it a more fluid experience. It would be quite useful for those who are new to whatever modelling domain it is. I've observed that the extra referencing exercise can be jarring to some programmers. Can provide additional use cases if of interest.
181 votesplanned · Adminfsharporg-lang (F# Software Foundation Language Group, F# Software Foundation) responded
Marking as planned, though we need to work out the details
F# Language and Core Library EvolutionSteven Taylor supported this idea ·
1 voteplanned · Adminfsharporg-lang (F# Software Foundation Language Group, F# Software Foundation) responded
Marking this as approved-in-principle, per my comment below
We will open an RFC for this in due course, though the change should not be large
Don Syme, F# Language Evolution