Skip to content

Jm wip foldable type class#55

Open
jost125 wants to merge 28 commits intomasterfrom
jm-wip-foldable-type-class
Open

Jm wip foldable type class#55
jost125 wants to merge 28 commits intomasterfrom
jm-wip-foldable-type-class

Conversation

@jost125
Copy link
Copy Markdown
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