Skip to content

NonEmptySeq with static members #552

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

Draft
wants to merge 17 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 5 times, most recently from eef4e98 to f2e49ba Compare September 18, 2024 07:45
@gusty gusty force-pushed the gus/neseq-with-static-methods branch from 794c0ae to 31ebb06 Compare June 8, 2025 06:57
@gusty gusty force-pushed the gus/neseq-with-static-methods branch from dea910c to 1414922 Compare June 8, 2025 09:03
@gusty gusty force-pushed the gus/neseq-with-static-methods branch from 1414922 to ab5bd07 Compare June 8, 2025 09:13
@gusty gusty force-pushed the gus/neseq-with-static-methods branch from f2e84f5 to 3a22dd8 Compare June 8, 2025 09:59
@gusty gusty force-pushed the gus/neseq-with-static-methods branch from 3a22dd8 to 2c6e5cc Compare June 8, 2025 10:12
@gusty gusty force-pushed the gus/neseq-with-static-methods branch from 7c3b390 to 2f9f3d3 Compare June 8, 2025 16:13
@gusty gusty force-pushed the gus/neseq-with-static-methods branch from d4327ef to 050bee6 Compare June 8, 2025 18:13
@gusty gusty force-pushed the gus/neseq-with-static-methods branch 3 times, most recently from 1de80c8 to 20fe7e1 Compare June 9, 2025 07:38
@gusty gusty force-pushed the gus/neseq-with-static-methods branch from 20fe7e1 to d1d5802 Compare June 9, 2025 08:09
gusty added a commit that referenced this pull request Jun 9, 2025
gusty added a commit that referenced this pull request Jun 9, 2025
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