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

Clarify that ADT are not only sum types #82

Merged
merged 7 commits into from
Jan 16, 2018
Merged

Clarify that ADT are not only sum types #82

merged 7 commits into from
Jan 16, 2018

Conversation

jbgi
Copy link
Member

@jbgi jbgi commented Jan 16, 2018

No description provided.

@derive4j derive4j deleted a comment from codecov-io Jan 16, 2018
@jbgi jbgi changed the title +Clarify that ADT are not only sum types Clarify that ADT are not only sum types Jan 16, 2018
README.md Outdated
An example being worth a thousand words...
A good deal of what is commonly available in better languages like Haskell: structural pattern matching, laziness, lenses and prisms.

Algebraic data types come in two flavours, product types and sum types. This readme focus on sum types because it is the more interesting case; product types being the well known common case in java. But Derive4J handles product types in exactly the same fashion (ie. through a visitor interface with a single abstract method).
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It's good, though the new paragraph seems out of place under the list of features. Perhaps if it were closer to the previous mention of ADTs, or if ADTs were mentioned in the feature list, eg "[...] structural pattern matching (and/with/on) Algebraic Data Types, [...]"

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

updated intro paragraph. tell me if further remarks.

@derive4j derive4j deleted a comment from codecov-io Jan 16, 2018
@derive4j derive4j deleted a comment from codecov-io Jan 16, 2018
@derive4j derive4j deleted a comment from codecov-io Jan 16, 2018
@codecov-io
Copy link

Codecov Report

Merging #82 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff            @@
##             master     #82   +/-   ##
========================================
  Coverage      5.59%   5.59%           
  Complexity       39      39           
========================================
  Files            55      55           
  Lines          2610    2610           
  Branches        143     143           
========================================
  Hits            146     146           
  Misses         2459    2459           
  Partials          5       5

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 9ba3d88...e078324. Read the comment docs.

@jbgi jbgi merged commit 2136256 into master Jan 16, 2018
@jbgi jbgi deleted the adt-vs-sum-types branch January 16, 2018 14:10
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.

None yet

3 participants