Skip to content
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

NonEmptySeq with static members #552

Draft
wants to merge 6 commits into
base: master
Choose a base branch
from
Draft

Conversation

gusty
Copy link
Member

@gusty gusty commented Sep 16, 2023

As from F# 8 we will be able to add static members to interfaces.

In theory, we no longer need to declare our interfaces upfront and add their static members in each Invokable, which creates an undesired (internal for the moment) dependency and also pollutes the Invokable overloads, which has the negative effect of slowing down overload resolution.

@wallymathieu wallymathieu mentioned this pull request Sep 26, 2023
2 tasks
@gusty gusty force-pushed the master branch 6 times, most recently from 9b34ece to b2f3c8c Compare October 15, 2023 05:01
@gusty gusty force-pushed the gus/neseq-with-static-methods branch 9 times, most recently from 852e94e to 1606b5a Compare November 20, 2023 08:01
@gusty gusty force-pushed the gus/neseq-with-static-methods branch from 1606b5a to bf0ff43 Compare November 20, 2023 08:09
@gusty gusty mentioned this pull request Nov 23, 2023
4 tasks
@gusty gusty force-pushed the gus/neseq-with-static-methods branch 2 times, most recently from 5e661c0 to e5ed940 Compare November 26, 2023 08:03
@gusty gusty force-pushed the gus/neseq-with-static-methods branch from 1c422dc to 709a186 Compare November 26, 2023 09:52
@gusty gusty force-pushed the gus/neseq-with-static-methods branch from 9b61ec9 to 794c0ae Compare December 6, 2023 10:32
@gusty gusty force-pushed the master branch 2 times, most recently from 484cff5 to 142c806 Compare December 18, 2023 08:18
@gusty gusty force-pushed the master branch 6 times, most recently from eef4e98 to f2e49ba Compare September 18, 2024 07:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant