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

Jm wip foldable type class #55

Open
wants to merge 28 commits into
base: master
Choose a base branch
from
Open

Conversation

jost125
Copy link
Collaborator

@jost125 jost125 commented Jan 21, 2022

No description provided.

jost125 added 18 commits January 6, 2022 22:47
It is already checked with phpstan (and better) and it also didn't allow
ommiting var name (which is totally valid)
This introduces some small abstraction over applicatives and mondas to
help us build new typeclasses faster.

Also I have reworked function currying to be able to do typehinting much
better for curried functions
Becuase we are on 7.4 as min version, yay
To fit long php doc types, namely for thouse complex phpstan types
This allows quite good type safety (it check passed callable for number
of arguments and creates well typed callable in return)
They are no longer needed
This can be handy for debugging
@jost125 jost125 force-pushed the jm-wip-foldable-type-class branch from 032bebe to a22100f Compare January 21, 2022 12:35
This way we can easily prototype Iterable structures and ensure same
interface on multiple stuctures without actual interface.

Concreate class using the trait should override methods for optimization
when needed.
@jost125 jost125 force-pushed the jm-wip-foldable-type-class branch from a22100f to 1d725c5 Compare January 21, 2022 14:38
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